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.

**Authors:**

**Knowl status:**

- Review status: beta
- Last edited by David Roe on 2021-06-21 06:32:15

**Referred to by:**

Not referenced anywhere at the moment.

**History:**(expand/hide all)