 Core (group theory)

The core of a subgroup $H\le G$ isIt is the largest normal subgroup of $G$ contained in $H$. If $H$ has finite index $k$, the action on $G/H$ gives $[G:{\mathrm{Core}}_G(H)]\le k!$.

In group theory, the term "core" can refer to a specific concept related to the notion of a normal subgroup. The core of a subgroup \( H \) of a group \( G \), often denoted as \( \text{Core}_G(H) \), is defined as the largest normal subgroup of \( G \) that is contained within \( H \).