群的定義(離散數(shù)學(xué))

《群的定義(離散數(shù)學(xué))》由會(huì)員上傳分享，免費(fèi)在線閱讀，更多相關(guān)內(nèi)容在教育資源-天天文庫(kù)。

1、§6.2群的定義6.2.1半群6.2.2群6.2.3群的性質(zhì)6.2.1半群--半群的定義設(shè)G是一個(gè)非空集合，若·為G上的二元代數(shù)運(yùn)算，且滿足結(jié)合律，則稱該代數(shù)系統(tǒng)（G，·）為半群。6.2.1半群--半群的例例.設(shè)S是一個(gè)非空集合，ρ（S）是S的冪集，∩和∪是ρ（S）上的交運(yùn)算和并運(yùn)算，則（ρ（S），∩），（ρ（S），∪）都為半群。例.設(shè)Z為整數(shù)集，+、-、·是數(shù)的加法、減法和乘法，則（Z，+）、（Z，·）都是半群；（Z，-）不是半群。半群的例例.設(shè)N為自然數(shù)集，規(guī)定N上的運(yùn)算“⊙”如下：a⊙b=a+b+a·b，顯然，⊙為N上的二元代數(shù)運(yùn)算。對(duì)N中任意三

2、個(gè)元素a，b，c，有：（a⊙b）⊙c=（a+b+a·b）⊙c=（a+b+a·b）+c+（a+b+a·b）·c=a+b+c+a·b+b·c+a·c+a·b·c，a⊙（b⊙c）=a⊙（b+c+b·c）=a+（b+c+b·c）+a·（b+c+b·c）=a+b+c+a·b+b·c+a·c+a·b·c，故，（a⊙b）⊙c=a⊙（b⊙c）.因此，（N，⊙）為半群。設(shè)（G，·）為半群，如果滿足下面條件：(1)有壹（單位元）：G中有一個(gè)元素1，適合對(duì)于G中任意元素a，都有1·a=a·1=a;(2)有逆：對(duì)于G中任意a，都可找到G中一個(gè)元素a-1，滿足a·a-1=a-1

3、·a=1，則稱（G，·）為群。如果群G包含的元素個(gè)數(shù)有限，則稱G為有限群，否則稱G為無(wú)限群。6.2.2群--群的定義6.2.2群--群的例設(shè)Z為整數(shù)集，+、·是數(shù)的加法和乘法，則半群（Z，+）是群，稱為整數(shù)加法群。因?yàn)榇嬖谠?，適合對(duì)于Z中任意元素a，都有0+a=a+0=a；且對(duì)于Z中任意a，都可找到Z中一個(gè)元素-a，滿足a+（-a）=（-a）+a=0。半群（Z，·）不是群。因?yàn)殡m然存在單位元素1，適合對(duì)于Z中任意元素a，都有1·a=a·1=a，但除了1和-1外，其它元素均無(wú)逆元素。設(shè)Q為所有有理數(shù)組成的集合，R為所有實(shí)數(shù)組成的集合，C為所有復(fù)數(shù)組成

4、的集合，Q*為所有非零有理數(shù)組成的集合，R*為所有非零實(shí)數(shù)組成的集合，C*為所有非零復(fù)數(shù)組成的集合，+、·是數(shù)的加法和乘法，則（Q，+）、（R，+）、（C，+）都是群；（Q，·）、（R，·）、（C，·）都不是群；（Q*，·）、（R*，·）、（C*，·）都是群。6.2.2群--群的例設(shè)S是一個(gè)非空集合，ρ（S）是S的冪集，∩和∪是ρ（S）上的交運(yùn)算和并運(yùn)算，則半群（ρ（S），∩）不是群，單位元素:S，但除了S，其它元素都不存在逆元素；半群（ρ（S），∪）也不是群，單位元素：?，但除了?，其它元素都不存在逆元素。6.2.2群--群的例設(shè)N為自然數(shù)集，規(guī)定N

5、上的運(yùn)算“⊙”如下：a⊙b=a+b+a·b。已證：（N，⊙）為半群。但（N，⊙）不是群。反證：若不然，（N，⊙）是群，則一定有單位元素，設(shè)為e，則對(duì)N中任意元素a，都有e⊙a(bǔ)=a，即e+a+e·a=a，因此，e=0，但0?N，矛盾。因此，（N，⊙）無(wú)單位元素，故不是群。6.2.2群--群的例例.設(shè)A是實(shí)數(shù)域上所有n階非奇異矩陣的集合，*為矩陣的乘法，則（A，*）是群。例.設(shè)S={0，1，2，……m-1}，規(guī)定S上的運(yùn)算⊕如下：a⊕b=其中a，b是S中任意元素，+、-為數(shù)的加與減。則（S，⊕）是群，稱為模m的整數(shù)加法群。6.2.2群--群的例設(shè)S={a,

6、b}，使用乘法表定義S上的運(yùn)算·如下：·abaabbba問(wèn)（S,·）是否為群。6.2.2群--群的例微信公眾平臺(tái)開發(fā)www.yujianla.com枒痋爿G={1,-1}關(guān)于普通乘法運(yùn)算是否構(gòu)成一個(gè)群？G={1,-1,i,-i}關(guān)于普通乘法運(yùn)算是否構(gòu)成一個(gè)群？其中i=(-1)1/2.理解群的定義例.單位元是群中唯一的等冪元。證明：設(shè)(G,*)是群，其單位元是1，顯然，1是等冪元。設(shè)x是G中的等冪元，即x*x=x，則：x=1*x=（x-1*x）*x=x-1*（x*x）＝x-1*x=1（或由x*x=x，得x-1*x*x=x-1*x，即x=1）理解群的定義例

7、.群中不可能有零元。證明：設(shè)(G,*)是群，其單位元是1，當(dāng)│G│=1，它的唯一元素視為單位元。當(dāng)?G?>1，用反證法。假設(shè)（G，*）有零元?，則對(duì)?x?G，都有x*?=?*x=??1，即不存在x?G，使得x*?=?*x=1，亦即，?無(wú)逆元，這與G是群矛盾。理解群的定義例.群中消去律一定成立。證明：設(shè)(G,*)是群，其單位元是1，對(duì)于G中任意三個(gè)元素a，b，c，（1）若a*b=a*c，則a-1*(a*b)=a-1*(a*c)，即(a-1*a)*b=(a-1*a)*c，亦即1*b=1*c，故b=c。（2）同理可證：若b*a=c*a，則b=c理解群的定義例

8、.①元數(shù)為1的群僅有1個(gè)②???元數(shù)為2的群僅有1個(gè)*eee*eaeeaaae定理6.2.1群