■群の総数

位数n=4のとき、非同型なものが2つ存在する(巡回群とクライン群、いずれも可換)

非可換な単純群の位数は4で割り切れる

n>=5のとき、交代群Anは単純群である。・・・5次以上の代数方程式はベキ根で解けない

位数6の群はC6とD6の2つある。後者はS3と同型で、最小の非可換群である。

位数nの群の個数がnを超える最小のnは32である。位数32の群は51個ある。位数64の群は267 個ある。

===================================

素数pに対して、位数p^3の群で互いに同型でないものは5つ存在する

奇素数pに対して、位数p^4の群で互いに同型でないものは15存在する

素数pのベキ乗位数n=p^mの群の総数をf(p^m)とする。

m→∞のとき、f(p^m)→2/27・p^(m^3)

===================================