22/09/28 01:45:10.74 AS6nx51w.net
あ、そうか
難しく考えすぎやん
Pがpシロー群、Hを指数pの群とするなら仮定からPもHも正規部分群なんだからG = H×PでHもPも仮定から巡回群、位数互いに素で終わってるやん
22/09/28 01:45:10.74 AS6nx51w.net
あ、そうか
難しく考えすぎやん
Pがpシロー群、Hを指数pの群とするなら仮定からPもHも正規部分群なんだからG = H×PでHもPも仮定から巡回群、位数互いに素で終わってるやん
22/09/28 01:45:10.74 AS6nx51w.net
あ、そうか
難しく考えすぎやん
Pがpシロー群、Hを指数pの群とするなら仮定からPもHも正規部分群なんだからG = H×PでHもPも仮定から巡回群、位数互いに素で終わってるやん