设 G G G是阿贝尔群，m是任意整数，记 G G Gm = { g g gm: g ∈ G g∈ G g∈G }。请证明 G G Gm是 G G G的一个子群.
引用命题6.8：群 G G G的非空子集 H H H是 G G G的子群，当且仅当 H = ∅ H = ∅ H=∅，且对任意 a , b ∈ H a, b ∈ H a,b∈H， a b ab ab-1 ∈ H ∈H ∈H。
显然 G G Gm非空且是群 G G G的非空子集。取任意 g 1 g1 g1m, g 2 g2 g2m ∈ G ∈G ∈Gm，由于 g 2 ∈ g2∈ g2∈群 G G G，则存在 g 2 g2 g2的逆元 g 2 g2 g2-1 ∈ G ∈G ∈G，则( g 2 g2 g2-1)m ∈ G ∈G ∈Gm，所以 g 1 g1 g1m( g 2 g2 g2-1)m = g 1 g1 g1m g 2 g2 g2-m，因为 G G G是阿贝尔群，所以 g 1 g1 g1m( g 2 g2 g2-1)m = ( g 1 g 2 g1g2 g1g2-1)m ∈ G ∈G ∈Gm，即 g 1 g1 g1m g 2 g2 g2-m = = = g 1 g1 g1m( g 2 g2 g2m)-1 ∈ G ∈G ∈Gm。根据命题6.8可得 G G Gm是 G G G的子群。
扫一扫
650
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
