北大離散數(shù)學chap.ppt
《北大離散數(shù)學chap.ppt》由會員分享,可在線閱讀,更多相關(guān)《北大離散數(shù)學chap.ppt(78頁珍藏版)》請在裝配圖網(wǎng)上搜索。
第六章幾個典型的代數(shù)系統(tǒng),第一節(jié)半群與群,內(nèi)容:半群,群,子群。,重點:1、半群,可交換半群,獨異點的定義,,2、群,交換群(阿貝爾群)的定義及性質(zhì),,3、群的階的定義,,4、循環(huán)群,生成元的定義及例子,,5、子群的定義及判定。,一、半群。,一、半群。,可交換半群,2、獨異點(含幺半群):,記作,4、子半群。,半群的子代數(shù)叫子半群,,獨異點的子代數(shù)叫子獨異點。,二、群。,1、定義。,①結(jié)合律,,②有幺元,,③任意元有逆元,,沒有幺元,,除0外,其余元素都沒有逆元。,為幺元,,,,0為幺元,,,,3、群的階。,四元群的階為4。,有關(guān)冪的兩個公式:,6、群的性質(zhì)。,6、群的性質(zhì)。,(4)幺元是群中唯一的冪等元。,不同行(列)的排列不同。,故,,,(2)再證結(jié)論成立。,三、子群。,1、定義:,三、子群。,1、定義:,有5個子群:,其余均為真子群。,2、判定。,定理:,3、生成子群,中心。,(1)生成子群:,,,,,。,3、生成子群,中心。,(2)中心:,四、循環(huán)群。,1、定義:,循環(huán)群都是阿貝爾群。,循環(huán)群的子群都是循環(huán)群。,2、循環(huán)群的典型例子。,即,1階子群,2階子群,3階子群,4階子群,6階子群,12階子群,第二節(jié)環(huán)與域,內(nèi)容:環(huán),域。,了解:環(huán)與域的定義及例子。,一、環(huán)。,定義:,是環(huán)。,二、域。,定義:,第三節(jié)格與布爾代數(shù),內(nèi)容:格,格的性質(zhì),布爾代數(shù)。,重點:格與布爾代數(shù)的有關(guān)概念及例子。,一、格的概念。,定義:,的最小公倍數(shù),的最大公約數(shù),如:,,,二、格的性質(zhì)。,2、性質(zhì):,(1)交換律,,,(2)結(jié)合律,,,(3)冪等律,,,(4)吸收律,,,三、分配格,有界格,有補格。,1、分配格——滿足分配律的格。,2、有界格——有全上界,全下界的格。,全上界記為1,全下界記為0,有界格也記為,三、分配格,有界格,有補格。,4、有補分配格——有補格且是分配格。,是有補格,,是有補格,,例4、判斷下圖中所表示的格是否有補格。,不是有補格,是有補格,是有補格,5、有補分配格中任意元素的補元是唯一的。,四、布爾代數(shù)。,2、性質(zhì)。,3、有限布爾代數(shù)的表示定理。,第六章小結(jié)與例題,一、半群與群。,1、基本概念。,2、運用。,(1)判斷一個代數(shù)系統(tǒng)是否為半群,獨異點,群。,一、半群與群。,1、基本概念。,2、運用。,(3)求一個群的所有子群。,二、環(huán)與域。,基本概念:環(huán);域。,三、格與布爾代數(shù)。,1、基本概念。,格;分配格,有界格,有補格;布爾代數(shù)。,判斷一個代數(shù)系統(tǒng)是否為格,布爾代數(shù)。,2、運用。,例2、設(shè),是半群,且,,,求證:,。,例3、舉兩個是獨異點,但不是群的例子。,例3、舉兩個是獨異點,但不是群的例子。,但無幺元,不是獨異點。,幺元是1,是獨異點,,但0無逆元,不是群。,證明:(1)證結(jié)合律成立。,,有,,有,例6、設(shè),是一個群,,,定義,,,,,證明,也是一個群。,證明:,例7、右圖所示的格,,問,解:因為,即,例7、右圖所示的格,,問,不是有補格。,- 1.請仔細閱讀文檔,確保文檔完整性,對于不預覽、不比對內(nèi)容而直接下載帶來的問題本站不予受理。
- 2.下載的文檔,不會出現(xiàn)我們的網(wǎng)址水印。
- 3、該文檔所得收入(下載+內(nèi)容+預覽)歸上傳者、原創(chuàng)作者;如果您是本文檔原作者,請點此認領(lǐng)!既往收益都歸您。
下載文檔到電腦,查找使用更方便
14.9 積分
下載 |
- 配套講稿:
如PPT文件的首頁顯示word圖標,表示該PPT已包含配套word講稿。雙擊word圖標可打開word文檔。
- 特殊限制:
部分文檔作品中含有的國旗、國徽等圖片,僅作為作品整體效果示例展示,禁止商用。設(shè)計者僅對作品中獨創(chuàng)性部分享有著作權(quán)。
- 關(guān) 鍵 詞:
- 北大 離散數(shù)學 chap
鏈接地址:http://www.hcyjhs8.com/p-3789720.html