クルル次元
環 R 上の加群 M に対し、M のクルル次元を、M を忠実加群とするような R の剰余環のクルル次元によって定める。すなわち、等式
dim R  M := dim  R / Ann R  ( M ) {\displaystyle \dim _{R}M:=\dim R/\operatorname {Ann} _{R}(M)}
を満足するようなものとして定義する。ただし、零化イデアル AnnR(M) は R から M 上の R-線型自己準同型の環への自然写像 R → EndR(M) の核である。
スキーム論の言葉で言えば、有限型の加群は連接層あるいは一般化された有限階数ベクトル束として解釈することができる。
以下、環はすべて可換とする。環 R における素イデアル p {\displaystyle {\mathfrak {p}}} の高さ ht  ( p ) {\displaystyle \operatorname {ht} ({\mathfrak {p}})} とは、素イデアルのなす減少列
p = p 0 ⊋ p 1 ⊋ ⋯ ⊋ p n {\displaystyle {\mathfrak {p}}={\mathfrak {p}}_{0}\supsetneq {\mathfrak {p}}_{1}\supsetneq \dotsb \supsetneq {\mathfrak {p}}_{n}}
の長さ n の上限として定義される。このとき環 R における素イデアルの高さの上限をクルル次元(あるいは単に次元)といい、dim(R) で表す。たとえば体 k 上の n 変数多項式環 k[X1, ..., Xn] は n 次元である。
クルル次元は、ネーター環に対してさえ、有限とは限らない。 実際、永田は「ネーター環でありながらもクルル次元が無限になるような環」の例を与えている。 さらに永田は、必ずしも全ての鎖が極大鎖に拡張できるわけではないような環の例も与えている。任意の素イデアル鎖を極大鎖に拡張することができるような環は鎖状環として知られる。