Learn

子群

子群

如果GG的子集HH满足对于GG的运算构成一个群,则HHGG的子群

子群的判定

a,bH    ab1H\forall a, b \in H \implies \\ ab^{-1} \in H

对于有限子群

a,bH    abH\forall a, b \in H \implies \\ ab \in H

例题

G是一个群,则对于Z(G)Z(G)={aax=xaxG}Z(G)G证明:a,bZ(G)ab1x=xab1恒成立G是一个群,则对于Z(G) \\ Z(G) = \{a \mid ax = xa \quad x\in G\} \\ 则Z(G) \le G \\ 证明: \\ 设\exists a, b \in Z(G) \\ ab^{-1}x = xa^b{-1} 恒成立