めんどくさいやつだな
そうあせるな(^^

円分体って、単純そうで、結構深いよね(゜ロ゜;

位数4の群は、確か二つしかない
位数4の巡回群とクライン群と

下記(後述)の「位数 30 以下の群の分類」
P3 より、C4, C2 x C2(クライン群) の二つ

 >>873に関係しているのは、C4の方ですね(^^

https://ja.wikipedia.org/wiki/%E3%82%AF%E3%83%A9%E3%82%A4%E3%83%B3%E3%81%AE%E5%9B%9B%E5%85%83%E7%BE%A4
クラインの四元群
(抜粋)
クラインの四元群とは、巡回群でない位数が最小の群である。また、位数2の巡回群の直積と同型である。
クラインの四群元の単位元以外の元の位数は、2である。
交代群 A4 の正規部分群
V = < identity, (1,2)(3,4), (1,3)(2,4), (1,4)(2,3) >
と同型。
https://en.wikipedia.org/wiki/Klein_four-group
Klein four-group
(抜粋)
Contents
1 Presentations
2 Geometry
3 Permutation representation
4 Algebra
5 Graph theory
6 Music
7 See also

つづく