抽象代數/群論/子群/子群定義

設 G 為一個群，帶有二元運算 $\ast$

子群 H of Group G

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