$G:$ 群, $H \subset G:$ 部分集合.
$H$ が $G$ の演算で群になるとっき, $H$ を $G$ の部分群という.

---

• 部分群の判定法