Fitting subgroup
= Fitting subgroup
{c}
{title2=$F(G)$}
The largest <nilpotent normal subgroup> of a <finite group> $G$. If $O_p(G)$ denotes its <p-core>, distinct <p-cores> commute, and $F(G)=\prod_pO_p(G)$. Every normal <nilpotent group> has <Sylow subgroups> which are <characteristic subgroups>, so it is contained in this product.