資源描述：
《近世代數(shù)之群的概念》由會員上傳分享，免費在線閱讀，更多相關內容在教育資源-天天文庫。
1、§1.2群的概念群的定義群的性質群的判別一．群的定義定義1.2.1設是一個非空集合,若對中任意兩個元素通過某個法則“”，有中惟一確定的則稱法則“”為集合上的一個代數(shù)運元素與之對應,算（algebraicoperation）．元素是通過運算“”作用的結果,我們將此結果記為例１有理數(shù)的加法、減法和乘法都是有理數(shù)集Q上的代數(shù)運算,除法不是Q上的代數(shù)運算．如果只考慮所有非零有理數(shù)的集合Q*,則除法是Q*上的代數(shù)運算.剩余類集．對，規(guī)定例２設為大于1的正整數(shù)，為的模證我們只要證明,上面規(guī)定的運算與剩余類的代表元的選取無關即可．設則于是從而
2、則“＋”與“”都是上的代數(shù)運算．所以+與都是上的代數(shù)運算.一個代數(shù)運算，即對所有的有如果的運算還滿足(G1)結合律，即對所有的有；(G2)中有元素，使對每個，有定義1.2.2設是一個非空集合，“”是上的(G3)對中每個元素，存在元素，使．在不致引起混淆的情況下,也稱為群．（unitelement）或恒等元（identity）；注1．(G2)中的元素稱為群的單位元(G3)中的元素稱為的逆元（inverse）．則稱關于運算“”構成一個群（group），記作我們將證明：群的單位元和每個元素的逆元都是惟一的．中元素的惟一的逆元通常記作．
3、（commutativegroup）或阿貝爾群（abeliangroup)．，有，則稱是一個交換群3．群中元素的個數(shù)稱為群的階（order），記為．如果是有限數(shù),則稱為有限群2．如果群的運算還滿足交換律，即對任意的（finitegroup），否則稱為無限群（infinitegroup).例３整數(shù)集關于數(shù)的加法構成群．這個群稱為整數(shù)加群．證對任意的，有，所以“＋”是上的一個代數(shù)運算．同時，對任意的,有所以結合律成立.另一方面，且有又對每個有從而關于“＋”構成群，顯然這是一個交換群．所以0為的單位元.所以是的逆元.注1．當群的運算用
4、加號“＋”表示時，通常將的單位元記作0，并稱0為的零元；將的逆元記作,并稱為的負元．2．習慣上，只有當群為交換群時，才用“＋”來表示群的運算，并稱這個運算為加法，把運算的結果叫做和，同時稱這樣的群為加群．相應地,將不是加群的群稱為乘群，并把乘群的運算叫做乘法，運算的結果叫做積．在運算過程中，乘群的運算符號通常省略不寫．今后，如不作特別聲明，我們總假定群的運算是乘法．當然,所有關于乘群的結論對加群也成立（必要時,作一些相關的記號和術語上改變）．例４全體非零有理數(shù)的集合Q*關于數(shù)的乘法構成交換群,這個群的單位元是數(shù)1，非零有理數(shù)的逆
5、元是的倒數(shù)．同理，全體非零實數(shù)的集R*、全體非零復數(shù)的集合關于數(shù)的乘法也．構成交換群．例５實數(shù)域R上全體階方陣的集合，關于矩陣的加法構成一個交換群．全體階可逆方陣的集合關于矩陣的乘法構成群，群中的單位元是單位矩陣，可逆方陣的逆元是的逆矩陣當時，是一個非交換群．例６集合關于數(shù)的乘法構成交換群關于數(shù)的乘法構成一個階交換群．證(1)對任意的，因為,所以例７全體次單位根組成的集合因此．于是“”是的代數(shù)運算．(3)由于，且對任意的，所以1為的單位元．(4)對任意的，有，且所以有逆元．的乘法也滿足交換律和結合律．(2)因為數(shù)的乘法滿足交換律
6、和結合律，所以因此關于數(shù)的乘法構成一個群．通常稱這個群為次單位根群，顯然是一個具有個元素的交換群．例８設是大于1的正整數(shù)，則關于剩余類的加法構成加群.這個群稱為的模剩余類加群．證(1)由例２知，剩余類的加法“＋”是的代數(shù)運算．(2)對任意的，所以結合律成立．(3)對任意的,所以交換律成立．(4)對任意的，且所以0為的零元．(5)對任意的,且所以為的負元．從而知，關于剩余類的加法構成加群． □例９設是大于1的正整數(shù)，記則關于剩余類的乘法構成群．證(1)對任意的，有于是，從而．(2)對任意的所以剩余類的乘法“”是的代數(shù)運算．所以結
7、合律成立.(3)因為，從而，且對任意的且所以1是的單位元．(4)對任意的，有，由整數(shù)的性質可知，存在，使所以，且顯然所以為的逆元．從而知，的每個元素在中都可逆．這就證明了關于剩余類的乘法構成群． □注(1)群稱為的模單位群，顯然這是一個交換群．當為素數(shù)時，常記作.易知，(2)由初等數(shù)論可知（參見[1]），的階等于,這里是歐拉函數(shù)．如果其中為的不同素因子，那么例10具體寫出中任意兩個個元素的乘積以及每一個元素的逆元素．易知直接計算，可得表1.2.1由表中很容易看出注觀察表1.2.1，我們發(fā)現(xiàn)可以把表1.2.1表示為更加簡單的形式（
8、見表1.2.2）．表1.2.2123411234224133314244321形如表1.2.2的表通常稱為群的乘法表（multiplicationtable），也稱群表（grouptable）或凱萊表（Cayleytable）．人們常用群表來表述有限群的運算．如
