在初步部分，我们介绍了集合上的两种重要构造：直积和不相交并。在本节中，我们将为群构造类似的构造。
定义 1： 设 G {\displaystyle G} H {\displaystyle H} 集合 G {\displaystyle G} H {\displaystyle H} G × H {\displaystyle G\times H} ( g 1 , h 1 ) , ( g 2 , h 2 ) ∈ G × H {\displaystyle (g_{1},h_{1}),(g_{2},h_{2})\in G\times H} ( g 1 , h 1 ) ( g 2 , h 2 ) = ( g 1 g 2 , h 1 h 2 ) {\displaystyle (g_{1},h_{1})(g_{2},h_{2})=(g_{1}g_{2},h_{1}h_{2})} G {\displaystyle G} H {\displaystyle H} 直积 。
备注 2： 乘积群 是 群，单位元为 ( e G , e H ) {\displaystyle (e_{G},e_{H})} ( g , h ) − 1 = ( g − 1 , h − 1 ) {\displaystyle (g,h)^{-1}=(g^{-1},h^{-1})} G × H {\displaystyle G\times H} | G × H | = | G | | H | {\displaystyle |G\times H|=|G||H|}
定理 3： 设 G {\displaystyle G} H {\displaystyle H} π 1 : G × H → G {\displaystyle \pi _{1}\,:\,G\times H\rightarrow G} π 2 : G × H → H {\displaystyle \pi _{2}\,:\,G\times H\rightarrow H} π 1 ( g , h ) = g {\displaystyle \pi _{1}(g,h)=g} π 2 ( g , h ) = h {\displaystyle \pi _{2}(g,h)=h} ( g , h ) ∈ G × H {\displaystyle (g,h)\in G\times H} 投影 。
证明 ：投影显然是同态，因为它们在一个因子上是恒等映射，而在另一个因子上是平凡同态。 ∎
推论 4： 设 G {\displaystyle G} H {\displaystyle H} G × H H ≈ G {\displaystyle {\frac {G\times H}{H}}\approx G} G × H G ≈ H {\displaystyle {\frac {G\times H}{G}}\approx H}
证明 ：这直接由将第一同态定理应用于定理 3 并利用 G × { e H } ≈ G {\displaystyle G\times \{e_{H}\}\approx G} { e G } × H ≈ H {\displaystyle \{e_{G}\}\times H\approx H} ∎
定理 5： 设 G {\displaystyle G} H {\displaystyle H} G × { e H } {\displaystyle G\times \{e_{H}\}} { e G } × H {\displaystyle \{e_{G}\}\times H} G × H {\displaystyle G\times H}
证明 ：我们证明定理适用于 G × { e H } {\displaystyle G\times \{e_{H}\}} { e G } × H {\displaystyle \{e_{G}\}\times H} g , g ′ ∈ G {\displaystyle g,g^{\prime }\in G} h ∈ H {\displaystyle h\in H} ( g , h ) ( g ′ , e H ) ( g , h ) − 1 = ( g g ′ g − 1 , h h − 1 ) = ( g g ′ g − 1 , e H ) ∈ G × { e H } {\displaystyle (g,h)(g^{\prime },e_{H})(g,h)^{-1}=(gg^{\prime }g^{-1},hh^{-1})=(gg^{\prime }g^{-1},e_{H})\in G\times \{e_{H}\}} ∎
显示直接积满足的普遍性质的交换图。 我们指出这是一个类似于集合直接积的构造。 我们的意思是它满足与直接积相同的普遍性质。 事实上，为了被称为“乘积”，一个构造必须满足这个普遍性质。
定理 6： 令 G {\displaystyle G} H {\displaystyle H} K {\displaystyle K} ϕ 1 : K → G {\displaystyle \phi _{1}\,:\,K\rightarrow G} ϕ 2 : K → H {\displaystyle \phi _{2}\,:\,K\rightarrow H} u : K → G × H {\displaystyle u\,:\,K\rightarrow G\times H} ϕ 1 = π 1 ∘ u {\displaystyle \phi _{1}=\pi _{1}\circ u} ϕ 2 = π 2 ∘ u {\displaystyle \phi _{2}=\pi _{2}\circ u}
证明 ：根据直积的定义， u : K → G × H {\displaystyle u\,:\,K\rightarrow G\times H} π 1 ∘ u {\displaystyle \pi _{1}\circ u} π 2 ∘ u {\displaystyle \pi _{2}\circ u} u : K → G × H {\displaystyle u\,:\,K\rightarrow G\times H} u ( ( g , h ) ) = ( ϕ 1 ( g ) , ϕ 2 ( h ) ) {\displaystyle u((g,h))=(\phi _{1}(g),\phi _{2}(h))} ∎
定理 7： 元素 ( a , b ) ∈ Z m × Z n {\displaystyle (a,b)\in \mathbb {Z} _{m}\times \mathbb {Z} _{n}} | ( a , b ) | = l c m ( | a | , | b | ) {\displaystyle |(a,b)|=\mathrm {lcm} (|a|,|b|)}
证明 ：使得 ( a , b ) c = ( a c , b c ) = ( 0 , 0 ) {\displaystyle (a,b)^{c}=(ac,bc)=(0,0)} c {\displaystyle c} a c = r m {\displaystyle ac=rm} b c = s n {\displaystyle bc=sn} r , s {\displaystyle r,s} c {\displaystyle c} | a | {\displaystyle |a|} | b | {\displaystyle |b|} ∎
定理 8： Z m × Z n {\displaystyle \mathbb {Z} _{m}\times \mathbb {Z} _{n}} Z m n {\displaystyle \mathbb {Z} _{mn}} m {\displaystyle m} n {\displaystyle n}
Proof : We begin with the left implication. Assume Z m × Z n ≈ Z m n {\displaystyle \mathbb {Z} _{m}\times \mathbb {Z} _{n}\approx \mathbb {Z} _{mn}} Z m × Z n {\displaystyle \mathbb {Z} _{m}\times \mathbb {Z} _{n}} m n {\displaystyle mn} ( a , b ) ≠ ( 0 , 0 ) {\displaystyle (a,b)\neq (0,0)} Z m × Z n {\displaystyle \mathbb {Z} _{m}\times \mathbb {Z} _{n}} l c m ( | a | , | b | ) = m n {\displaystyle \mathrm {lcm} (|a|,|b|)=mn} l c m ( m , n ) = m n {\displaystyle \mathrm {lcm} (m,n)=mn} gcd ( m , n ) = 1 {\displaystyle \gcd(m,n)=1} m {\displaystyle m} n {\displaystyle n} m {\displaystyle m} n {\displaystyle n} a {\displaystyle a} Z m {\displaystyle \mathbb {Z} _{m}} b {\displaystyle b} Z n {\displaystyle \mathbb {Z} _{n}} gcd ( m , n ) = 1 {\displaystyle \gcd(m,n)=1} l c m ( m , n ) = m n {\displaystyle \mathrm {lcm} (m,n)=mn} | ( a , b ) | = m n {\displaystyle |(a,b)|=mn} ( a , b ) {\displaystyle (a,b)} Z m × Z n {\displaystyle \mathbb {Z} _{m}\times \mathbb {Z} _{n}} m n {\displaystyle mn} Z m n {\displaystyle \mathbb {Z} _{mn}} ∎
定理 9（有限阿贝尔群的刻画）： 设 G {\displaystyle G} p 1 , . . . , p n {\displaystyle p_{1},...,p_{n}} r 1 , . . . , r n {\displaystyle r_{1},...,r_{n}}
G ≈ Z p 1 r 1 × . . . × Z p n r n {\displaystyle G\approx \mathbb {Z} _{p_{1}^{r_{1}}}\times ...\times \mathbb {Z} _{p_{n}^{r_{n}}}} 证明 ：这个定理的证明目前超出了我们的能力范围。但是，我们会在关于模的章节中讨论它。 ∎
定义 10： 两个群 G {\displaystyle G} H {\displaystyle H} 子直积 是 G × H {\displaystyle G\times H} K {\displaystyle K} π 1 ( K ) = G {\displaystyle \pi _{1}(K)=G} π 2 ( K ) = H {\displaystyle \pi _{2}(K)=H}
示例 11： 令 G {\displaystyle G} Δ = { ( g , g ) ∣ g ∈ G } ⊆ G × G {\displaystyle \Delta =\{(g,g)\mid g\in G\}\subseteq G\times G} G {\displaystyle G}
定义 12： 令 G {\displaystyle G} H {\displaystyle H} Q {\displaystyle Q} ϕ : G → Q {\displaystyle \phi \,:\,G\rightarrow Q} ψ : H → Q {\displaystyle \psi \,:\,H\rightarrow Q} G {\displaystyle G} H {\displaystyle H} Q {\displaystyle Q} 纤维积 ，记为 G × Q H {\displaystyle G\times _{Q}H} G × H {\displaystyle G\times H} G × Q H = { ( g , h ) ∈ G × H ∣ ϕ ( g ) = ψ ( h ) } {\displaystyle G\times _{Q}H=\{(g,h)\in G\times H\mid \phi (g)=\psi (h)\}}
在本小节中，我们将证明子直积与纤维积之间的等价性。具体来说，每个子直积都是一个纤维积，反之亦然。为此，我们需要古尔萨定理 。
定理 13（古尔斯定理）： 设 G {\displaystyle G} G ′ {\displaystyle G^{\prime }} H ⊆ G × G ′ {\displaystyle H\subseteq G\times G^{\prime }} G {\displaystyle G} G ′ {\displaystyle G^{\prime }} N = ker π 2 {\displaystyle N=\ker \,\pi _{2}} N ′ = ker π 1 {\displaystyle N^{\prime }=\ker \,\pi _{1}} N {\displaystyle N} G {\displaystyle G} N ′ {\displaystyle N^{\prime }} G ′ {\displaystyle G^{\prime }} H {\displaystyle H} G / N × G ′ / N ′ {\displaystyle G/N\times G^{\prime }/N^{\prime }} G / N ≈ G ′ / N ′ {\displaystyle G/N\approx G^{\prime }/N^{\prime }}
证明 :
关于有限阿贝尔群的自同构群的更多内容。一些结果需要群作用论和环论，这些内容将在后面的章节中介绍。
http://arxiv.org/pdf/math/0605185v1.pdf
为了正确定义自由群，以及后续的自由积，我们需要一些预备定义。
定义 10： 设 A {\displaystyle A} A {\displaystyle A} 词 是 A {\displaystyle A} a 1 a 2 . . . a n {\displaystyle a_{1}a_{2}...a_{n}} n {\displaystyle n} 词长 。
定义 11： 设 x = a 1 . . . a n {\displaystyle x=a_{1}...a_{n}} y = a n + 1 . . . a n + k {\displaystyle y=a_{n+1}...a_{n+k}} A {\displaystyle A} 连接 为词 x y = a 1 . . . a n a n + 1 . . . a n + k {\displaystyle xy=a_{1}...a_{n}a_{n+1}...a_{n+k}}
现在，我们想要创建一个群，由给定集合 A {\displaystyle A} n {\displaystyle n} n {\displaystyle n} 0 {\displaystyle 0} 简化 为 不可简化 的词。这些术语将在下面定义。
定义 12： 设 A {\displaystyle A} W ( A ) {\displaystyle W(A)} A {\displaystyle A} 幂 的词的集合。也就是说，如果 a 1 , . . . , a n ∈ A {\displaystyle a_{1},...,a_{n}\in A} r 1 , . . . , r n ∈ Z {\displaystyle r_{1},...,r_{n}\in \mathbb {Z} } a 1 r 1 . . . a n r n ∈ W ( A ) {\displaystyle a_{1}^{r_{1}}...a_{n}^{r_{n}}\in W(A)}
定义 13： 设 x = a 1 r 1 . . . a n r n ∈ W ( A ) {\displaystyle x=a_{1}^{r_{1}}...a_{n}^{r_{n}}\in W(A)} x {\displaystyle x} j , j + 1 {\displaystyle j,j+1} a j = a j + 1 {\displaystyle a_{j}=a_{j+1}} a j r j + r j + 1 {\displaystyle a_{j}^{r_{j}+r_{j+1}}} a j r j a j + 1 r j + 1 {\displaystyle a_{j}^{r_{j}}a_{j+1}^{r_{j+1}}} x ( 1 ) = a 1 r 1 . . . a j − 1 r j − 1 a j r j + r j + 1 a j + 2 r j + 2 . . . a n r n {\displaystyle x_{(1)}=a_{1}^{r_{1}}...a_{j-1}^{r_{j-1}}a_{j}^{r_{j}+r_{j+1}}a_{j+2}^{r_{j+2}}...a_{n}^{r_{n}}} x = x ( 1 ) {\displaystyle x=x_{(1)}}
如果 x ∈ W ( A ) {\displaystyle x\in W(A)} n {\displaystyle n} x ( n ) {\displaystyle x_{(n)}}
定义 14： 在集合 A {\displaystyle A} 自由群 F ( A ) {\displaystyle F(A)} n {\displaystyle n} x ∈ W ( A ) {\displaystyle x\in W(A)} x ( n ) ∈ F ( A ) {\displaystyle x_{(n)}\in F(A)} F ( A ) ⊆ W ( A ) {\displaystyle F(A)\subseteq W(A)} F ( A ) {\displaystyle F(A)} x , y ∈ F ( A ) {\displaystyle x,y\in F(A)} n {\displaystyle n} m {\displaystyle m} x ∗ y {\displaystyle x*y} ( x y ) ( n + m ) {\displaystyle (xy)_{(n+m)}}
定理 15： F ( A ) {\displaystyle F(A)} 是 一个群。
证明 :
例 16： 我们将考虑 1 和 2 个字母的自由群。令 A 1 = { a } {\displaystyle A_{1}=\{a\}} A 2 = { a , b } {\displaystyle A_{2}=\{a,b\}}
F ( A 1 ) = { a n ∣ n ∈ Z } {\displaystyle F(A_{1})=\{a^{n}\mid n\in \mathbb {Z} \}} a n a m = a n + m {\displaystyle a^{n}a^{m}=a^{n+m}} F ( A 2 ) = { ∏ i = 1 n a i b i ∣ a i ∈ F ( { a } ) , b i ∈ F ( { b } ) } {\displaystyle F(A_{2})=\{\prod _{i=1}^{n}a_{i}b_{i}\mid a_{i}\in F(\{a\}),b_{i}\in F(\{b\})\}} a i ≠ e {\displaystyle a_{i}\neq e} i > 1 {\displaystyle i>1} b i ≠ e {\displaystyle b_{i}\neq e} i < n {\displaystyle i<n} ( a 2 b − 3 a ) ( a − 1 b a ) = a 2 b − 3 a a − 1 b a = a 2 b − 3 b a = a 2 b − 2 a {\displaystyle (a^{2}b^{-3}a)(a^{-1}ba)=a^{2}b^{-3}aa^{-1}ba=a^{2}b^{-3}ba=a^{2}b^{-2}a} 在本节中，我们将简要介绍另一种定义群的方法，即通过指定群表示 。
定义 17： 设 G {\displaystyle G} H {\displaystyle H} H {\displaystyle H} G {\displaystyle G} 正规闭包 定义为包含 H 的 G {\displaystyle G} N {\displaystyle N} H {\displaystyle H}
N = ⋂ H ⊆ K K ⊴ G K {\displaystyle N=\bigcap _{\stackrel {K\trianglelefteq G}{H\subseteq K}}K} 定义 18： 设 S {\displaystyle S} R ⊆ F ( S ) {\displaystyle R\subseteq F(S)} N {\displaystyle N} R {\displaystyle R} F ( S ) {\displaystyle F(S)} ⟨ S ∣ R ⟩ = F ( S ) / N {\displaystyle \langle S\mid R\rangle =F(S)/N} S {\displaystyle S} 生成元 ， R {\displaystyle R} 关系式 。如果 G {\displaystyle G} G ≈ ⟨ S ∣ R ⟩ {\displaystyle G\approx \langle S\mid R\rangle } ⟨ S ∣ R ⟩ {\displaystyle \langle S\mid R\rangle } G {\displaystyle G} 表示 。
使用前面定义的群表示的概念，我们现在可以定义另一种群积。
定义： 设 G {\displaystyle G} G ′ {\displaystyle G^{\prime }} ⟨ S ∣ R ⟩ {\displaystyle \langle S\mid R\rangle } ⟨ S ′ ∣ R ′ ⟩ {\displaystyle \langle S^{\prime }\mid R^{\prime }\rangle } G {\displaystyle G} G ′ {\displaystyle G^{\prime }} 自由积 ，记作 G ∗ G ′ {\displaystyle G*G^{\prime }} ⟨ S ∪ S ′ ∣ R ∪ R ′ ⟩ {\displaystyle \langle S\cup S^{\prime }\mid R\cup R^{\prime }\rangle }
备注： 根据上下文，特别是当我们只处理阿贝尔群时，我们可能需要阿贝尔群的自由积是阿贝尔群。在这种情况下，自由积等于直积。这是阿贝尔群比非阿贝尔群表现更好的另一个例子。
引理： 自由积包含其构成群作为子群。
备注： 自由积不是先前讨论意义上的积。它不满足其他积所满足的泛性质。相反，它满足“相反”或*对偶*性质，通过反转交换图中所有箭头的方向得到。我们通常称满足这种泛性质的构造为*余积*。
问题 1： 令 H {\displaystyle H} K {\displaystyle K} H × K {\displaystyle H\times K} H {\displaystyle H} K {\displaystyle K}
