現代数学の系譜 工学物理雑談 古典ガロア理論も読む78

>>38
>これは、当然素数5の群だから巡回群C5だが
>アーベルと、非アーベルに分けて
いやいや、C_5は唯一つしか存在しませんよ。当然アーベル群です。
C_5もC_4もアーベル群だが、（直積ではない）半直積を取ると非アーベル群になるんですよ。
ちなみにこれはC_3とC_2半直積がS_3になってることと類似。