クルル次元
の長さ の上限として定義される。このとき環 における素イデアルの高さの上限をクルル次元（あるいは単に次元）といい、 で表す。たとえば体 上の 変数多項式環 は 次元である。