If $H \subseteq G$ is a subgroup, an under-subgroup is a subgroup $K \subseteq G$ with $K \subseteq H$. A maximal under-subgroup is an under-subgroup $K \ne H$ that is maximal with respect to inclusion.
- Review status: beta
- Last edited by David Roe on 2021-06-21 06:33:54
Referred to by:History: (expand/hide all)
Not referenced anywhere at the moment.