Commit 2024-11-28 14:24 d8c4e54c
View on Github →feat(GroupTheory/Subgroup/Centralizer): The N/C theorem (#19006)
This PR adds the N/C theorem that Normalizer(H)/Centralizer(H) embeds as a subgroup of Aut(H).
feat(GroupTheory/Subgroup/Centralizer): The N/C theorem (#19006)
This PR adds the N/C theorem that Normalizer(H)/Centralizer(H) embeds as a subgroup of Aut(H).