バスの予想
以下の同等のステートメントはいずれも、バスの予想と呼ばれる。
有限生成された Z-代数Aに対して、グループK'n(A)は有限生成された(K-A-モジュールのK理論、AのG−理論とも呼ばれる)全てのn ≥ 0に対して生成される。
有限生成されたZ-代数A、すなわち通常の環であるグループ Kn(A)は有限生成される(A-局所的に自由なA-modulesのK-理論)。
スペック(Z)上の有限型の任意のスキームXに対して(Z)、K'n(X)は有限生成される。
Z上の有限型の正規スキームXの場合、 Kn(X) は有限で生成される。
これらのステートメントの等価性は、通常の環の K理論とK'理論のローカリゼーションシーケンスの合意に従う。