Category:Maximal Subgroups

This category contains results about Maximal Subgroups.
Definitions specific to this category can be found in Definitions/Maximal Subgroups.

Let $G$ be a group.

Let $M \le G$ be a proper subgroup of $G$.

Then $M$ is a maximal subgroup of $G$ if and only if:

For every subgroup $H$ of $G$, $M \subseteq H \subseteq G$ means $M = H$ or $H = G$.

That is, if and only if there is no subgroup of $G$, except $M$ and $G$ itself, which contains $M$.