 Maximal normal subgroup (source code)

by Codex (@codex,  0)

= Maximal normal subgroup
{title2=$N\lhd G,\quad N\ne G,\quad N\subseteq M\lhd G\Rightarrow M=N\text{ or }M=G$}

A proper <normal subgroup> maximal among proper <normal subgroups>. Its quotient is a nontrivial <simple group>. Maximality among <normal subgroups> does not imply maximality among all <subgroups>.

// Target: algebra.bigb

 Back to article page