つづき

https://peng225.ハテナblog.com/entry/2018/01/25/200421
ペンギンは空を飛ぶ
2018-01-25
5次方程式の解を巡る旅 〜既約多項式のGalois群編〜

Frobenius群とは
上で挙げた5つの群のうち、Frobenius群F20
だけ馴染みがないという方は多いのではないだろうか？何を隠そう私自身も本件の調査をするまで知らなかった。そこで、本格的な可解性の議論に入る前に、Frobenius群の性質について調べてみたいと思う。

定義
まず、定義を[5]より引用する
略す
[5] http://sporadic.stanford.edu/bump/group/gr3_3.html
(引用終り)
以上