พจนานุกรม

の平坦分解という。自由分解や射影分解は平坦分解である。すべての i > n に対し Fi = 0 であるような平坦分解を長さ n の平坦分解という。そのような n が存在する場合その最小値を M の平坦次元といい、存在しない場合は平坦次元は ∞ という。平坦次元は fd(M) と書かれる。平坦次元は射影次元を超えない。左