The button will add this page to my log of things to fix. Use it for broken links, equations not rendering correctly, etc. Submit other issues on GitHub.
Normalizer
Let be a Group and its Subgroup
The normalizer of is given by:
Proposition
Normalizer of in is the biggest subgroup of where is Normal.