If $H \subseteq G$ is a subgroup, an over-subgroup is a subgroup $K \subseteq G$ with $H \subseteq K$. A minimal over-subgroup is an over-subgroup $K \ne H$ that is minimal with respect to inclusion.
Knowl status:(expand/hide all)
- Review status: reviewed
- Last edited by David Roe on 2021-06-21 06:32:15
- 2021-06-21 06:32:15 by David Roe (Reviewed)