長さ
各記事を参照
加群の長さ
組成列の長さ