子群同构.DOC

§3.3 子群 同构 G, (, e是一个群，G, (, e的子结构不一定是一个群。如Z, (, 0的子结构N, (, 0就不是群。 3.3.1 定理 G, (, e是群，H ( G，如果((a(H)(a(1(H)，则G, (, e的子结构H, (, e是群。 证 (1) 因为((a, b, c(G)((a(b)(c = a((b(c))，所以 ((a, b, c(H)((a(b)(c = a((b(c))。 (2) 因为((a(G)( e(a = a)，所以((a(G)( e(a = a)。 (3) (a(H，由条件得a(1(H，因为a(1(H且a(1(a = e，所以((b(H)(b(a = e)。 如果G, (, e的子结构H, (, e是群，就称H, (, e是G, (, e的子群，记为H＜G。 加上H, (, e是子结构的条件，得： 3.3.2 定理 G, (, e是群，H ( G，如果 (1) e(H； (2) ((a, b(H)(a(b(H)任给a, b(H，都有a(b(H； (3) ((a(H)(a(1(H) 则G, (, e的子结构H, (, e是群。 3.3.3 例 对于任何群G都有G＜G和{e}＜G，这两个子群称为G的平凡子群，G的其它子群称为G的非平凡子群。 如果H＜G且H(G，则称H是G的真子群。 3.3.4 定理 子群的性质 (1) 如果H