いや「単純群」ってどこが単純なんだよ

むしろ解せないほど強固な複雑さじゃん

働け

ウンコ

Gが群
Gの部分群Hが正規部分群⇔G/Hが(aH)(bH) := abHを積として群になる

⇒は教科書に書いてあるけど、逆はどう示すのでしょうか？

G/Hが群になる、つまり∀a, a', b, b'∈G, a～a', b～b' ⇒ abH = a'b'Hとする。
h∈H, a∈Gを任意にとる。ha∈aHを示せばよい。
a～a'となるa'をとる。

ha = ha'a'^(-1)a
a'^(-1)a∈H,
ha'H = ea'H = a'Hより

ha∈a'H = aH□

>>5
a～a', b～b'⇒Hab = Ha'b'
も仮定しないと、正規部分群にはならない？

初歩質問教えてくだし
群とか環とか数学者が言ってるのは
数式や関数の論理構造を名称してる？
群とか環とかは論理を言ってる？
という質問で

時間の魔さんに
00.95の
00が出てるから
この推測正解かな

ChatGPTに聞くといいよ

41.09
の
41
が出てるから
正解で正解だな
数板の人達に質問答えて貰わずに解答された

>>9
chat gptに聞くといいのか。こういう質問には使わないな
でも「聞くといいよ」との言い方的に、chat gptも肯定してくれそうだからこの言い方してるではない？

とりあえず
群とか環とか言ってるのの何言ってるかわからなかった謎は解けた
しかもこれが正解なら
自分論理式は全く一辺もわからないから何議論してるかの初歩も無理だと詳らかに
中学には論理式やらないじゃん
高校からでしょ論理式
高校数学レベルはわからないから
論理式の初歩が中学レベルではないから
無理なんだなと