Jump to navigation Jump to search
Let $G$ be a group.
Let $M \le G$ be a non-trivial subgroup of $G$.
Then $M$ is a minimal subgroup of $G$ if and only if:
- For every subgroup $H$ of $G$, $H \subseteq M$ means $H = M$ or $H = \set e$.