show · group.over_subgroup all knowls · up · search:

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:
  • Review status: reviewed
  • Last edited by David Roe on 2021-06-21 06:32:15
Referred to by:
History: (expand/hide all)