離散數學3 代數結構
第九章 代數系統
二元運算及其性質
二元運算
一元運算
二元運算及一元運算的表示
二元運算的性質——算律
二元運算的特異元素(代數常數)——單位元 零元 可逆元及其逆元
唯一性定理
代數系統
子代數與積代數
代數系統的同態與同構
第十章 群與環
群的定義與性質
半群與獨異點
子半群與子獨異點
半群與獨異點的同態
群的定義
群的性質
群的同態
子群與群的陪集分解
子群
右陪集
右陪集的性質
划分
\[<G,*>是有限群,<H,*>是<G,*>的子群,則G可以表示成兩兩不相交的右陪集的並。\\ 即存在一個正整數m,使得G=Ha_1\cup Ha_2 \cup \cdots \cup Ha_n ,其中Ha_i \cap Ha_j = \empty ,i \neq j,i,j=1,2,...,n \]