命題
A を次数環とする。M を A-次数加群とする。
N を M の A-部分加群とする。
N が M の同次部分加群となるためには、N が同次元で生成される
ことが必要十分である。

証明
読者にまかす。