３３０です。

ちょっと気になったんですが、決定不能問題ということは、巡回群に帰着できなければ、「同型である」と結論することは難しいんですか？群表を比べるとか、力仕事になっても構わないとすればいかがでしょう？

というのも穿った見方をすれば、同型か？と聞かれて巡回群に同型でなさそうとなった場合、同型じゃなさそうだという見込みをつけて、元の位数などのの不一致を見つければ、同型でないとできますよね？