ちは。

真偽判定なんですけど。
「有限群GとG'が同型⇔対応する各元の位数が等しい」は勿論,真ですよね?