Zulip Chat Archive
Stream: Is there code for X?
Topic: normal extension = normal subgroup
Kevin Buzzard (Dec 19 2021 at 23:32):
Do we have the part of FTG which says that for L/K a finite Galois extension, a subextension N/K is normal iff the corresponding subgroup is normal?
Thomas Browning (Dec 20 2021 at 00:11):
We didn't prove it, so I don't think so.
Last updated: Dec 20 2023 at 11:08 UTC