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