，一个概形的维数被定义为各局部环的克鲁尔维数的上确界；对于仿射概形 formula_27，则回归到 formula_28。设 formula_21 为域，formula_1 是有限型 formula_21-整代数，这是代数几何中的主要案例。根据诺特正规化引理，存在非负整数 formula_32 及 formula_1 中彼此代数独立的元素 formula_34 ，使得 formula_1 是有限生成之 formula_36-模，因此 formula_37。从几何观点看，formula_38 此时是 fo