1701048594
1701048595
5．群的自由乘积，自由群
1701048596
1701048597
从现在起，我们转向一般群（不必是交换群）．
1701048598
1701048599
1701048600
定义A.4 设｛Gλ｜λ∈Λ｝是一族群，规定它们的自由乘积是一个群，作为集合
1701048601
1701048602
1701048603
xi是某个Gλ中的非单位元，
1701048604
1701048605
xi与xi＋1不在同一Gλ中｝，
1701048606
1701048607
其中n＝0的元素只有一个，记作1；乘法规定如下：设x1x2…xn和y1y2…ym是两个元素，如果i≤l时xn－i＋1与yi属于同一个Gλ，且xn－iyi＝1，而xn－l与yl＋1不再有此性质，则它们的乘积为：
1701048608
1701048609
1701048610
1701048611
1701048612
1701048613
1701048614
1701048615
1701048616
乘法的结合律的验证较繁琐，这里省略了．按照定义，每个Gλ可自然看作的子群．
1701048617
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）是非零整数，