大域次元

A = k[x₁, ..., x_n] を体 k 上の n 変数多項式環とする。このとき A の大域次元は n と等しい^[3]。このステートメントはダフィット・ヒルベルトによる多項式環のホモロジー的性質の基礎的な研究にさかのぼる。ヒルベルトのsyzygy定理（英語版）を参照。より一般的に、R が有限の大域次元 d のネーター環で A = R[x] が R 上一変数の多項式環であれば、A の大域次元は d + 1 に等しい。

自然数 n が平方因子を持たないときには環 Z/nZ の大域次元は無限大である^[4]。

体 k の標数が有限群 G の位数を割り切るとき群環 kG の左大域次元は無限大である^[4]。

1次のワイル代数 A₁ は大域次元 1 の非可換ネーター整域である。

環 A の右大域次元は次の数と等しい^[5]。

• すべての巡回右 A-加群の射影次元の集合の上限
• すべての右 A-加群の射影次元の集合の上限
• すべての右 A-加群の移入次元の集合の上限
• sup{ d≥0 : Ext^d(M, N) ≠ 0 for some M, N ∈ Mod A }

A の左大域次元は上記リストの「右」を「左」にとりかえることによって得られる同様の特徴づけをもつ。

環の左または右大域次元が 0 であることと半単純であることは同値である^[6]。

環 A の左（右）大域次元が1以下であることと A が左（右）遺伝環であることは同値である^[7]。とくに、体でない可換単項イデアル整域は大域次元 1 をもつ。

ジャン＝ピエール・セールは次のことを証明した。可換ネーター局所環 A が正則であるのは大域次元が有限のとき、かつそのときに限る^[8]。さらにこのとき、大域次元は A のクルル次元と一致する。この定理によってホモロジー的手法を可換代数に応用する扉が開かれた。