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.

**Authors:**

**Knowl status:**

- Review status: beta
- Last edited by David Roe on 2021-06-21 06:33:54

**Referred to by:**

Not referenced anywhere at the moment.

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