17/04/25 23:00:58.58 j7BBOpSZ.net
>>218 補足
>ただ、既約剰余類の位数を求めることは簡単ですが（石井でも言及されている）、
>それが巡回群をなすことを述べるのは、そう簡単ではないはず
この部分について、手元のアルティン本（下記）を見ると
第2章 体論 10.アーベル群とその応用
が相当するのかな
寺田が注釈を付けているが、著者アルティンの工夫がみられるという
「定理26 体の乗法群の任意の有限部分群Ｓは巡回群である」だな
勿論、体は可換だが
有限生成のアーベル群に対する”基底定理”もある。これ、>>13