1701048618
1701048619
命题A.8 设H是一群，∀λ∈Λ，有同态fλ∶Gλ→H，则存在唯一同态使得f｜Gλ＝fλ，∀λ∈Λ．
1701048620
1701048621
证明 f在每个Gλ上已有定义．于是可规定
1701048622
1701048623
=f（x1…xn）＝f（x1）…f（xn）．
1701048624
1701048625
不难验证它保持运算． ▎
1701048626
1701048627
有限多个群G1，…，Gs的自由乘积也可记作G1*G2*…*Gs，但其中Gi的顺序是不重要的．
1701048628
1701048629
本书中只涉及到有限自由乘积．
1701048630
1701048631
1701048632
1701048633
1701048634
1701048635
1701048636
记是包含映射．取定λ0∈Λ，作同态fλ∶Gλ→为：若λ≠λ0，则fλ是平凡的，用命题A.8，得到同态使得平凡，∀λ≠λ0．
1701048637
1701048638
定义A.5 群G称为自由群，如果有子集A⊂G，使得∀x∈G可唯一地表示成如下形式
1701048639
1701048640
1701048641
ai∈A，ai≠ai＋1，
1701048642
1701048643
ki（i＝1，2，…，n）是非零整数，
1701048644
1701048645
称A是G的一个自由生成元组．
1701048646
1701048647
当G是自由群时，∀x∈G都不是有限阶的，因此它生成的子群〈x〉是自由循环群．比较自由群与自由乘积的定义，不难看出
1701048648
1701048649
命题A.9 如果G是自由群，A是自由生成元组，则
1701048650
1701048651
1701048652
▎
1701048653
1701048654
6．用母元和关系表示一个群
1701048655
1701048656
拓扑学中，常用母元和关系来表现一个群．在许多场合，这种方法有几何直观性，应用起来方便而自然．
1701048657
1701048658
设X是一个非空集合．∀x∈X，可构造一个自由循环群Z（x）如下：Z（x）＝｛xn｜n∈Z｝，乘法为xn·xm＝xn＋m．
1701048659
1701048660
规定自由群
1701048661
1701048662
1701048663
1701048664
1701048665
则X⊂F（X），并且是F（X）的一个自由生成元组．称F（X）是由X所生成的自由群．
1701048666
1701048667
设R是F（X）的一组元素，［R］是由R生成的F（X）的正规子群（即包含R的最小正规子群），引进记号