>>962
正則加群ってregular sequenceを持つの正則?
だったら1がregular sequence終わりじゃないの?