"n" が素数の2乗である場合には、位数 "n" の群は同型を除いてちょうど2種類存在するが、どちらもアーベル群である。