抽象代数/群论/子群/子群定义

设 G 为一个群，带有二元运算 $\ast$

子群 H of Group G

1. 是一个群
2. 是 G 的子集
3. 与 G 共享 $\ast$