>>973
>”ガウスのようにはじめよ”

ガウスの19歳の ”正17角形の作図”
実は、”それは大きな理論の単なる一場面(系題)”
要するに、当時知られていなかった ”正17角形の作図”を示しただけでも大したものだが
その背後には ”円周等分理論”の構築があった

”ガウスのようにはじめるとすぐに、自分はガウスではないとわかるだろう”
だが、目指すべきは ”円周等分理論”→ ”正17角形の作図”

これを 「Gを群とし、A,BをGの巡回部分群とする。 G=ABを満たし、A,Bが共にGの正規部分群とならない例」
にあてはめると
GのA,B二つの巡回部分群で G=ABを満たし A,Bが共にGの正規部分群とならない群
の理論構築があって その一つの系として 3次対称群の直積(S3✕S3)がある