以及
。 如果
且
,我們有
,因此具有此合成法則和單位元的唯一集合
是集合
。
a) 
b)
,但一般來說
。 例如,考慮排列
,因此
,但
。
a)
是
的子群。
b)
是
的子群。
c) 正整數不是
的子群,因為它們不包含逆元,甚至 0 的逆元也沒有。
d) 正實數是
的子群。
e) 集合
不是
的子群,因為它們不包含單位矩陣。
設
是
的子群。如果
有一個單位元(可能與
的單位元不同),那麼我們有
,兩邊同時乘以
表明單位元是相同的。類似地,如果
在
中有逆元,我們必然有
,這意味著逆元是相同的。
使用標準歐幾里得演算法,我們得到
和
.
令
是正整數,使得
是一個素數。 那麼,如果
,我們有
,因此
。 因為我們想要
是素數,唯一可能性是
.
令
且
使得
。 那麼
,因此
.
假設一個群
沒有真子群。 然後
必須是有限的。如果
是無限的,取任何
使得
不能生成
,並考慮集合
。由於
不能生成
,
是
的真子群,這很容易證明。
必須是迴圈的。實際上,假設
不是迴圈的,因此沒有單個元素可以生成
。那麼,對於任何元素
,
是
的子群,因為
是有限的。
的階必須是素數。為了產生矛盾,假設
的階是
。那麼,由於
是一個有限迴圈群,由元素
生成,我們有
是一個真子群。
- 最後,如果
的階是素數,則
中的任何元素都不會生成
的真子群。這是因為任何元素都具有
的形式,其中
是某個元素,
是整數。根據命題 2.4.3,我們知道
的階是
,其中
是群的階,
。在這種情況下,
是素數,所以
的階是
或 1(當
時)。
令
為迴圈群。取任何子群
。我們假設
是有限的(因為本書主要關注有限情況,事實上,第 46 頁的定義隱含地假設了這一點),所以
也是有限的。令
。然後,由於
是一個子群,對於每個
都有
。因此,對於指數
,其中
,都有
。定理 2.3.3 告訴我們,我們可以寫成
,其中
是一個整數。這表明
中的任何元素都具有形式
,所以
。
第一類初等矩陣是指矩陣
,其中元素
,
對於唯一的一對索引
成立,其他元素為 0。從行列式公式可以很容易地看出,這類矩陣的行列式始終為 1。根據行列式的乘積規則,這類矩陣的所有乘積的行列式都為 1。
另一方面,我們先考慮 2×2 的情況,設
其中
。透過將一個行乘以一個因子加到另一個行,並利用元素之間的關係,我們可以將矩陣進行如下操作:
.
由於我們只能使用對應於與第一類矩陣相乘的操作來將矩陣轉換為單位矩陣,並且條件
成立,因此我們可以透過逆轉操作從單位矩陣生成原始矩陣
。因此,我們可以只使用第一類初等矩陣生成
。一般情況可以透過歸納法證明:對於任何
矩陣,如果它的行列式為 1,假設我們可以將
轉換成如下形式:
,
其中
且
。可以很容易地看到,我們可以進一步操作
如下
.
注意,在第二步中,元素
被操作為 1,因為我們消除了向量
的行條目,否則操作後的矩陣的行列式將不等於 1。
階數為 2 的元素必然交換一對元素,或者兩對元素。這樣的排列有
,共 9 個階數為 2 的排列。
a) 交換元素
的任何對換都有一個置換矩陣
,該矩陣是一個單位矩陣,其中行
已被交換。這些是第二型別的初等矩陣。任何對應於
中排列的置換矩陣
是一個單位矩陣,其行已根據排列進行了置換。從
的排列解釋,我們知道
是可逆的,所以根據定理 1.2.6,它是初等矩陣的乘積。很容易看出,在這種乘積中,只有第二型別的初等矩陣是必要的,因為不需要縮放或將行加在一起。因此,
可以分解成第二型別的初等矩陣的乘積,這意味著該排列是對換的乘積。
b) 首先我們證明以下結論
結論:任何兩個對換的乘積都可以寫成三個迴圈的乘積。
證明:令
是兩個對換的乘積,其中
是某些整數(可能有些相等)。然後我們可以寫
.
由於
中的任何排列都是由對換生成的,而對換矩陣的行列式為
,所以
中的任何排列都是偶數個對換的乘積。令
為一個排列,其對換分解為
。然後我們可以將乘積分組為
,其中兩個對換的每個乘積也可以表示為如斷言所示的三迴圈的乘積。
令
使得
。 那麼
所以
是一個群同態。 我們有
和
.
任何同態
滿足
,所以
必須是一個具有整數係數的線性函式。換句話說,
其中
。為了使
是單射的,只要
就足夠了。為了使
是滿射的,我們需要
,因為很明顯
。滿射函式
也是雙射的,因此它們是同構。
兩個元素
是共軛的,如果對於某個
,
。不難看出,對於給定的矩陣,任何形式為
,其中
的矩陣都可以滿足要求。這個矩陣也是可逆的,因為它的行列式是
。由於行列式為負數,這些矩陣在
中不共軛。
設
,
是由
當且僅當存在
使得
給出的關係。
自反性:
,因此
。
對稱性:如果
,那麼
,因此
。因此
,反之亦然。
傳遞性:如果
且
,那麼
且
,因此
。因此
。
- 集合
定義了
上的等價關係,它與實數上的通常“=”關係相同。
- 由空集定義的關係滿足對稱性和傳遞性,但不滿足自反性。
- 軌跡
滿足對稱性和傳遞性,但不滿足自反性(例如
不成立)。
- 軌跡
是自反的(
因為
),對稱的(因為
)和傳遞的(如果
和
是該方程的解,那麼根據對稱性,
和
也是。因此,
也是解,因此
是一個解。)
集合中等價關係的數量等於集合中劃分的數量。如果集合有 5 個元素,我們有以下劃分
- 劃分為 1 個集合:1
- 劃分為大小為 1、4 的 2 個集合:5
- 將 5 個元素分成 2 個集合,大小分別為 2 和 3:

- 將 5 個元素分成 3 個集合,大小分別為 1、1 和 3:

- 將 5 個元素分成 3 個集合,大小分別為 1、2 和 2:

- 將 5 個元素分成 4 個集合,大小分別為 1、1、1 和 2:

- 將 5 個元素分成 5 個集合,每個集合大小為 1: 1
因此,總共有 52 種不同的劃分方式。
令
為一個群,使得
對於某個素數
。對於任何
,
是
的子群,根據引理 2.8.7 的階為
,其中
。如果
,我們就完成了,因為我們找到了一個階為
的元素。否則,考慮
並注意到
,所以
的階為
。
對於一個具有 35 個元素的群
,我們有幾種情況。
- 如果該群是迴圈的,即
,我們有
的階為 7,而
的階為 5。
- If the group is not cyclic, then for every
there is some integer
such that
is a subgroup of
order
. The order of
divides the order of
, so if
is not the identity, the order of
is either 5 or 7. Assume
is of order 5 and there is another element
of order 5 that is not a power of
. Then the subgroup of
generated by
and
has order 25. Indeed, all elements
for
are distinct (if not, we have for
that
, which implies that
is a power of
), and there is 25 ways to choose the exponents. But 25 does not divide 35, so there cannot be another subgroup of order 5, and thus any element
that is not a power of
must generate a cyclic group of order 7.
如果一個群
包含一個階為 6 的元素
和一個階為 10 的元素
,則
和
是
的子群,因此 6 和 10 都能整除
的階。因此,我們可以說
.
令
為一個子群,使得
。那麼,由於左(和右)陪集將群劃分,我們有
對於某個
。因為
,我們必須有
,因此根據命題 2.8.17
是正規的。
例如,對於
且
,考慮
和
。由於
,我們確實有
。那麼,
和
,所以
不是正規的。
斷言 1:對於所有
,我們有
。
證明:假設
。那麼
,因為
。但由於
,我們有
,這與
的陪集劃分
的假設相矛盾。
斷言 2:對於所有
,我們有
。
證明:假設存在
,其中
。然後我們有
,其中
。這意味著
,根據斷言1,我們有
,所以
。但是,然後
,所以除非
,否則就會出現矛盾。
斷言1和斷言2共同證明了
是
的子群。
所涉及的數字非常小,因此可以透過暴力求解來解決。為了解決
,我們注意到
,所以
,所以
.
為了研究同餘式
,我們透過計算所有可能性注意到,不存在模 6 下的元素
。因此,該同餘式沒有解。
給定方程
我們可以解出
,並將其代入另一個同餘方程,得到
。當且僅當存在
模
時,該方程才存在解,換句話說,存在一個整數
使得
。這意味著方程
必須有一個整數解
。但這隻有在
時才有可能。
從題目中不清楚答案應該是什麼樣子。因此,以下可能的答案可能不是預期的。
我們證明每個形式為
的迴圈的符號為
。這很容易看出來,因為我們可以將
進行分解。每個對換對應於一個第二類初等矩陣,它的行列式為
。迴圈的乘積形式包含
個對換,因此符號如所述。所以,如果一個排列具有一個迴圈分解為
個迴圈,每個迴圈具有
個項,則排列的符號為
。
令
且
。我們有
,且
具有子群
,而
具有子群
。因此,由
給出的對應關係如下
在 中的子群 |
子群在  |
|
|
|
|
|
|
|
|
注意子群
和
不包含
.
令
並假設
由元素
生成。 那麼,對於
的每個元素
,我們將有
對於某個
。 但是,由於
是無限的,不存在
使得
且
,因為第一個條件要求
,而第二個條件要求
。 假設
是無限的意味著
且
.
a)
同構於
透過函式
給出,函式定義如下
,該函式的逆函式為
。我們可以直接從實數的乘法規則和絕對值的性質得出
是一個同態。
b) 令
為可逆上三角矩陣的集合,
為可逆對角矩陣的集合,以及
為對角線上為 1 的上三角矩陣的集合。為了獲得同態
,我們必須有
,
對於適當的實數
和
。使用這個符號,我們有
. (1)
另一方面,
. (2)
為了使
為同態,我們需要這兩個式子的值相等。但是,(1) 中的第二個座標依賴於
和
,而 (2) 中沒有。因此,(1) 和 (2) 一般情況下不相等。
c) 令
,
(以加法作為群運算的圓周角)以及
。 那麼
同構於
,透過同態
,由
給出。
是一個雙射同態,這很容易從複數的極座標表示得出。
令
是
的一個子群。 很明顯
不是正規的,因為
。 那麼
以及
。 很容易驗證
。 這組有 4 個元素,但所有陪集的大小都必須是 2,因此它不是一個陪集。
設
為上三角矩陣組
,其中
。
a) 設
為
的子集,由
定義,即可逆對角矩陣的集合。很容易看出
是一個群,因為每個這樣的矩陣的逆也是一個對角矩陣,兩個對角矩陣的乘積也是一個對角矩陣,單位矩陣是一個對角矩陣。然而,
不是一個正規子群,因為對於任何
,其逆為
,我們可以計算
,
不在
中,當
。
b) 令
為
的子集,由
定義。同樣,很容易看出
是
的一個子群。如上所述,我們可以計算
,
所以
是一個正規子群。陪集是包含矩陣的集合
,
這些矩陣由引數
區分,因為變數
可以任意選擇(只要
)。因此,商群同構於
。其核為
的同態由
給出。
c) 令
為
的子集,定義為
。那麼
明顯是
的一個子群。我們有
,
所以
是一個正規子群。為了研究這個群的陪集,我們計算
.
這裡我們可以隨意選擇
,所以右上角元素不會對陪集造成任何限制。然後,對於那些滿足
的
中的元素,它們會生成一個
的唯一陪集。這樣我們也獲得了
的所有陪集,因為對於每個
的選擇,我們都可以選擇
,並且我們可以看到這個元素在由
生成的陪集裡。
商群再次同構於
,其同態的核
由
給出。
a) 我們觀察到以下情況
- 自反性:點
透過路徑
與自身相連。如果
,則該路徑包含在
中。
- 對稱性:令
,使得存在從
到
的路徑
包含在
中。則路徑
是從
到
的路徑,包含在
中。
- 傳遞性。如果
使得
是從
到
的路徑,包含在
中,並且
是從
到
的路徑,包含在
中,那麼
是從
到
的路徑,包含在
中。
b) 如 a) 部分所示,路徑連線是一個等價關係。因此,路徑連線的子集將集合
分割。特別是,傳遞性確保如果兩個點可以透過路徑連線,那麼與這兩個點連線的任何點都可以與這兩個點連線。
a) 令
使得
由
給出,並且
由
給出。 那麼
連線
到
。 由於路徑
和
都在
中,並且
是一個群,因此這條路徑也在
中。
b) 我們證明對於任何矩陣
,對於任何
,矩陣
也成立。 如果
是連線
和
的路徑,只需考慮路徑
,因為
。 因此,所有透過路徑與單位元相連的矩陣構成一個正規子群。
a) Elementary matrices of the first type are matrices
with the entries
,
for exactly one pair of indices
and 0 otherwise. For each such
, there is a path to
just by setting
as the same matrix as
, with the exception that the element
. Clearly this is a continuous path from
to
, and since
is an elementary matrix of the first type, it also has determinant 1, and thus the path stays in
. Now, if we have the elementary matrices of the first type
, we have by M.7 a) that
is connected to
, as
are connected to
. We have now shown that any product of elementary matrices of type 1 are path connected to
, which implies that
is path connected, as the elementary matrices of type 1 generate
.
b) 令
使得
。我們可以透過
將
連線到一個行列式為 1 的矩陣,使得
。這條路徑是由連續函式的複合而成,因為
且
始終具有正行列式,所以它在
中是一條連續路徑。因此,行列式為
的矩陣構成
的一個連通分支。用同樣的推理,如果我們假設
,我們可以得出結論:行列式為
的矩陣構成
的一個連通分支。
剩下的要證明的是這些成分不連線。設
是一個行列式為正的矩陣,而
是連線
到一個行列式為負的矩陣
的路徑。那麼,
的元素
是連續函式。從行列式公式(1.6.4)可以看出,行列式也是元素的連續函式,因為它是由連續函式的乘積的和。然後,由於
和
,我們必須有
對於某個
。因此,
是一條不在
中的路徑,因此
是兩個連通分量的非交併。
雙陪集將群進行劃分。事實上,對於每一個
,雙陪集
包含
,因為
。另一方面,如果
,則存在元素
使得
。這意味著
,並且由於
是子群,
,因此
。這反過來意味著
.
用矩陣
及其逆矩陣從左邊乘,對應於行加減運算。從右邊乘對應於列加減運算。現在,考慮任何
.
斷言 1: 我們可以透過加減行將矩陣轉化為
形式,其中
或
。
證明。 如果
,由於矩陣的行列式為 1,我們有
,因此我們可以將第二列加到第一列,得到另一個行列式為 1 的矩陣,其第一列第二行的元素不為零。 因此,從現在開始,我們假設
。 使用行操作,我們可以對第一列執行本質上是歐幾里得演算法的操作,方法是將較小的第一列元素從較大的第一列元素中減去。 由於
,我們有
,這意味著
,因此一旦在第一列的某一行產生 1,行操作歐幾里得演算法就會終止。
現在,使用斷言 1 中產生的矩陣,我們只需透過應用行和列的加減法,就可以將矩陣簡化為單位矩陣形式。 因此,我們有
,其中
是某些矩陣
及其逆矩陣。 可以透過求解來證明
。