やっぱり。。。

ふりだしに戻りましたね。

この場合のように具体的な群が与えられたときの、同型かを判定する項目って、群の位数と元の位数だけでは不十分ですよね？