单位元和逆元的唯一性 ! o+ _9 H1 Y3 M群公理的两个重要推论是单位元的唯一性和逆元的唯一性。在群中只能有一个单位元,在群中的每个元素都只能有唯一 - Z! p6 @! J( f# ~的一个逆元素。[24]0 C" K9 @0 I H3 v2 i5 f: L
要证明 a 的逆元素的唯一性,假设 a 有两个逆元指示为 l 和 r。则 , H' {" L. Q) @( ]3 \8 L) xl = l • e 由于 e 是单位元 6 l: H/ T. B& }3 K2 v' C = l • (a • r) 因为 r 是 a 的逆元,所以 e = a • r 8 g8 H& v9 r) \ |
= (l • a) • r 通过结合律,它允许重新安排括号 9 u; C( \2 y4 f6 h
= e • r 由于 l 是 a 的逆元,就是说 l • a = e 2 z4 K3 A2 O) P0 B# V7 t = r 由于 e 是单位元 # \+ b. {7 W2 c& {因此 l 和 r 被等式链连接了起来,所以它们是一致的。换句话说 a 只有一个逆元。 " x- g9 h) x1 g7 `5 M6 q5 `! x _/ M: T; }/ M$ ^( S* e* i5 ?除法 3 d6 F" H" _3 v在群中,有可能进行除法: 给定群 G 的元素 a 和 b, G 中存在对方程 x • a = b 的唯一的一个解 x。[25] 事实上/ N7 j+ u3 L* x0 e
,方程右乘以 a−1 给出解 x = x • a • a−1 = b • a−1。类似的,G 中存在对方程 a • y = b 的唯一的一个解 y,+ ~4 ~9 E% a; Z7 G
也就是 y = a−1 • b。一般的说,x 和 y 不必须一致。 / S ^( x( H; f2 {4 O, u0 x8 O" u( c( E) E
/ R9 b0 s/ f- r% o/ O! ~
下列章节使用了数学符号如 X = { x, y, z } 来指示集合 X 包含元素 x, y 和 z,也可选择 x∈X 来重申 x 是 X / V' j6 r. E0 h3 n! U的一个元素。符号 f : X →Y 意味着 f 是向 X 的所有元素指派 Y 的一个元素的函数。 3 c+ {6 }9 F/ D# O* O$ n) e) ?* o: o8 R
要超越上述纯粹符号操作水平去理解群,必须采用更加结构性的概念。c[›] 有一个概念性原理位于所有下列概念的底层 6 c F: m# I( j( }+ @, k4 E% [: 要利用群提供的结构(而无结构的集合就没有)的好处,与群有关的构造必须兼容于群运算。下列概念中以各种方式表 ) O7 T4 x; D2 \明了这种兼容性。例如,群可以通过叫做群同态的函数相互关联。依据上述这个原理,要求它们以精确的感知照顾到群; }+ P: ~" d, M9 Z
结构。群的结构还可以通过把它们分解为叫做子群和商群的部件来理解。“保持结构”原理是在数学思想中反复出现的 * k* @8 ]1 c& Y h1 f. ?0 W一个主题,它是靠范畴来工作的一个实例,在这里的情况下靠群范畴。[26]7 t' l& W3 g0 l
4 N* M6 u; O% v; Z群同态 - D# x2 B8 u; o1 g b/ d* i: z群同态/ k7 ^1 K, H$ c/ N, e& {
群同态 g[›]是保持群结构的函数。在两个群之间的函数 a: G → H 是同态,如果等式 ! H; o4 J( d. ~ xa(g • k) = a(g) • a(k) & W9 A+ r( f$ x4 I
对于所有 G 中的元素 g, k 都成立,就是说在应用映射 a 之后还是之前进行群运算所得到的结果是一样的。这个要求 7 q& `/ y& ~+ R0 r确保了对于所有 G 中的 g,有 a(1G) = 1H 还有 a(g)−1 = a(g−1)。因此群同态照顾到了群公理提供的 G 的所有结6 k/ l6 g2 a6 k9 s
构。[27] ( W4 |) c/ A- J+ c; O, k两个群 G 和 H 被称为同构的,如果存在群同态 a: G → H 和 b: H → G,使得先后(以两种可能的次序中每个次序) + L+ |. T* E9 S* T0 z; O应用两个函数分别等于 G 和 H 的恒等函数。就是说,对于任何 G 中的 g 和 H 中 h,有 a(b(h)) = h 和 b(a(g)) $ N0 |" ]" ^( o) T" V5 o= g。从抽象的观点来看,同构的群承载相同的信息。例如,假定对于 G 的某个元素 g 有 g • g = 1 等价于假定了 3 [8 H# v G& z+ Ha(g) • a(g) = 1,因为应用 a 于第一个等式产生第二个,而应用 b 于第二个产生第一个。 / A7 s a' A- E- M4 z! b7 D( X- U+ ?2 L% h
子群 * m% S/ E' D. F v非正式的说,子群是被包含在更大的群 G 内的一个群 H。[28] 具体的说,G 的单位元包含在 H 中,并且只要 h1 和 , _) s; D+ N' \6 [h2 在 H 中,则 h1 • h2 和 h1−1 也在其中,所以 H 的元素,装备上了限制于 H 的 G 上的群运算,形成了真正的群 6 s8 z1 \7 D' H0 p。8 e6 x: M" Q' {' L; ]
在上面例子中,单位元和旋转构成一个子群 R = {id, r1, r2, r3},在上面的群表中突出为红色: 任何两个复合的旋7 Q: T/ Q" L# g
转仍是一个旋转,并且旋转可以被在相反方向上的旋转(它的逆元)所取消。子群测试是群 G 的子集 H 是子群的充分必 7 ~* a) `% h+ I/ i1 A- c8 n2 S要条件: 对于所有元素 g, h ∈ H,检查 g−1h ∈ H 就足够了。知道子群族对于作为一个整体来理解群是重要的。d 4 k) X( H5 q6 G0 a; f[›] 7 U# z0 V G: @, t给定群 G 的任何子群 S,S 所生成的子群都由 S 的元素和它们的逆元的乘积构成。它是包含 S 的 G 的最小子群。 , B' o. j4 u# s: j) s8 H[29] 在上面介绍例子中,r2 和 fv 所生成的子群由这两个元素、单位元 id 和 fh = fv • r2 构成。这还是个子群9 T7 ~6 {9 X3 G! C, A" l
,因为组合这四个元素或它们的逆元(在这个特殊情况下是相同的元素)中任何两个仍生成这个子群中的元素。: a) ?3 [/ X! g3 @* c
' _1 \$ P+ h: v3 E: x
陪集和正规子群' O3 [# n4 f3 f
在很多情况下,需要认为两个群元素是等同的,如果它们差异了一个给定子群中的元素。例如,在上述 D4 中,一旦进* N' Y, M; F8 E
行了翻转,只应用旋转运算(不做进一步的翻转)正方形就永远不能回到 r2 格局,就是说旋转运算对于一个翻转是否已: k- G: _0 j3 g; Y- T. S o
经进行了的问题是无关紧要的。陪集被用来形式化这种洞察: 子群 H 定义了左和右陪集,它们可以被认为是用任意群元, f) O$ }+ D! i: X+ c% |& Z+ ]3 f
素 g 对 H 的平移。用符号表示,包含 g 的 H 的左和右陪集分别是, Y) `( p; Z- _! t
gH = {gh, h ∈ H} 和 Hg = {hg, h ∈ H}。[30] 3 b5 c/ p+ n2 M. d/ W0 @( Z% O任何子群 H 的陪集形成对 G 的划分;就是说两个陪集要么是相等的要么有空交集。[31] 第一种情况 g1H = g2H 出现 : x$ J) G7 w6 ~当且仅当 g1−1g2 ∈ H,就是说如果这两个元素差异了 H 的一个元素。类似的考虑适用于 H 的右陪集。H 的左和右陪# e; h T6 X6 q* R' J! S. G5 W
集可以是也可以不是相等的。如果它们相等,就是说对于所有 G 中的 g 有 gH = Hg,则 H 被称为正规子群。你接着 5 r: F/ i+ p/ Z: u: D! I4 g3 u可以简单的提及 N 作为陪集的集合。 * I2 K* D2 x* h6 F* u) B4 y在介绍性的对称群 D4 中,由旋转构成的子群 R 的左陪集 gR,要么等于 R,如果 g 是 R 自身的一个元素,要么等于 ' p( w# G! ^; q3 \$ w( N7 r9 YU = fvR = {fv, fd, fh, fc} (用绿色突出)。子群 R 还是正规子群,因为 fvR = U = Rfv 并且对于任何不是 fv / m: D) t2 |% [! R, Z7 T K的其他元素也是类似的。# ?4 X" P; D9 b1 x) o
! X L/ z( B/ U" p# O a' k
商群 ! F& J. v0 L x: X% v7 Q除了通过考虑其陪集来忽略子群的内部结构之外,需要对这个更粗的实体赋予叫做商群或因子群的群定律。为了使之可0 O: s# u/ h# U/ x: [8 g
能,这个子群必须是正规的。给定任何正规子群 N,商群定义为4 ^+ F4 n s; h1 G
G / N = {gN, g ∈ G},“G 模以 N”[32] : K0 W; m3 }9 Y M: K- w5 V这个集合从最初的群 G 继承了一个群运算(有时叫做陪集乘法或陪集加法): 对于所有 G 中的 g 和 h,(gN) • (hN) & A% p' \! }6 U0 z2 Z- _
= (gh)N。激发这个定义的是关联任何元素 g 到它的陪集 gN 的映射 G → G / N 是群同态的想法(自身是上面提出的 9 B1 A- f9 x( ~ x6 f: i一般结构性考虑的一个实例),或者是叫做泛性质的一般抽象考虑。陪集 eN = N 充当了这个群的单位元,在商群中 Ng 5 A: Z9 L, V- h J7 R
的逆元是 (gN)−1 = (g−1)N。e[›]- ]9 G7 T8 @$ \/ `- `
• R U 5 M! q/ l+ j5 Y( S
R R U ( }. T. u: H2 }1 VU U R 4 ^! r# ~$ W% B7 ?/ U) e! `. N
商群的群表D4 / R。 2 I) t/ z* T# j2 g# j2 K; T! j
商群 D4 / R 的元素是担任单位元的 R 自身和 U = fvR。在商群上的群运算展示于右侧。例如,U • U = fvR • fvR ) E/ W4 L* F, J6 L: H6 M= (fv • fv)R = R。子群 R = {id, r1, r2, r3} 和对应的商群都是阿贝尔群,而 D4 不是阿贝尔群。通过更小的群 ' I0 E6 O8 Q' n% [建造更到的群,比如从子群 R 和商群 D4 / R 建造 D4,被抽象为叫做半直积的概念。 6 h" N" `. \+ e* j. t5 }0 s! Z商群和子群一起形成了用它的展示描述所有群的一种方法: 任何群都是在这个群的生成元上的自由群模以“关系”子群7 }3 {, J" F4 B, {
得到的商群。例如,二面体群 D4 可以由两个元素 r 和 f 生成(比如 r = r1 右旋,和 f = fv 垂直(或任何其他)翻 ! }) B. ]% j! b转),这意味着所有正方形的对称都是这两个对称或它们的逆元的有限复合。加上关系! Z) }: u+ {, m! ~6 `3 D
r 4 = f 2 = (rf)2 = 1,[33] }* a' V; P' _3 ]4 _
这个群就完全描述出来了。群的展示还可以被用来构造凯莱图,它是用来在图形上捕获离散群的设施。8 a" S4 [* K1 |* D1 d% i# B! r! G
子群和商群以下列方式相互关联: G 的子集 H 可以被看作单射 H → G,就是说任何阶标元素都有最多一个映射到它的 5 u$ Y2 w5 [5 `6 b4 h元素。单射的对当者是满射(所有阶标的元素都被映射到了),比如规范映射 G → G / N。y[›] 依据这些同态解释子群 ; V& H1 ^/ V( @( Y和商群强调了这些定义中内在的在介绍中暗示了结构性概念。一般的说,同态既不是单射也不是满射。群同态的核与像 2 ~7 _: Y" l' t ^和第一同构定理致力于这个现象。