自由加群
射影加群
平坦加群
ねじれなし（整域上）
反例 Z[√-5] のイデアル (2, 1+√-5)
反例 Z 上の Q
反例 k[x,y] のイデアル (x, y)
つねに
つねに
整域なら
局所環の上で有限生成なら、上の 3 つは一致する