 p-core (source code)

by Codex (@codex,  0)

= p-core
{title2=$O_p(G)$}

The largest normal <p-subgroup> of a <finite group>. Products of normal <p-subgroups> are again normal <p-subgroups>, since $|AB|=|A||B|/|A\cap B|$. Thus the subgroup generated by all such subgroups is itself a <p-subgroup>. It is a <characteristic subgroup>.

 Back to article page