rmula_20 的 formula_2-正则序列的最大长度，记作 formula_22（在法文文献中常记作 formula_23）。环 formula_1 的 formula_20-深度定义为 formula_26。formula_22 亦可用Ext函子刻划为使得 formula_28 的最小非负整数 formula_29。下列等式将深度问题化约到局部环的情形：以下定理揭示了深度与射影维度的关系。定理 （Auslander-Buchsbaum）：设 formula_31 为局部诺特环，fo