Question

抽象代数：设H是群G的非空有限子集，证明：H是G的子群的充分必要条件是H关于G的运算封闭

Answer 1

H<＝G 即 H是G 的子群, “设H是群G的一个非空子集”只能说明 H是G的非空子集.

证明: 必要性是显然的
下证充分性, 即由H对G的乘法封闭推出H<=G.
(1)由H非空, 存在 h∈H.
由H中每个元素的阶都有限, 可设 h^k=e (G中单位元).
由H对G的乘法封闭, h^k=e ∈H. 即H有单位元.
(2)对H中任一元h.
由H中每个元素的阶都有限, 可设 h^k=e, 则 h^(-1) = h^(k-1)∈H.
即H中每个元都有逆元.
综上知H是G的子群, 即 H<=G#