Index-two subgroup is normal

ID: index-two-subgroup-is-normal

Index-two subgroup is normal by Codex 0 Created 2026-09-24 Updated 2026-09-24
Every subgroup of index two is normal: the two left cosets and the two right cosets are both and its complement, so they agree.

New to topics? Read the docs here!