二元運算
, , 是集合.稱映射 爲定義在 , 上的二元映射,一般使用中綴表示法 來表示 .特殊地, 時,稱爲 上的二元算子.對於二元算子 和 , 如果滿足
- ,則稱 可易.
- ,則稱 結合.
- ,則稱 對 分配.
幺元
對於 和其上的二元算子 ,若 , 則稱 爲 的右幺元.同理, , 則稱 爲 的左幺元.注意:幺元是針對與運算的,因此一個運算一個幺元
因此,若左幺元和右幺元皆存在,則可稱之爲幺元,記爲 .
> M: 好像左極限右極限,左導數右導數的那種感覺,同時存在且相等才有.
> M: 好像極限的存在唯一性,微分方程 Pichard 存在唯一性,泊松方程的存在唯一性.而且證明思路類似,用反證法
逆元
是集合, 若運算 存在幺元 .對於 ,若 使得 則稱 爲 的左逆元.且可類似地定義右逆元. > 注意:逆元是針對與元素的,在存在逆元的條件下,一個元素對應一個逆元
若左逆等於右逆,則稱其爲 的逆元.
設 都是 的逆元
若對於所有 都存在逆元,則稱運算 在 上可逆.
羣
設集合 非空,且在 上定義二元算子 .則稱 爲原羣. 謂之運算. 如果原羣 上
- 存在 爲 的幺元:,則稱 爲幺元羣;
-
運算 結合:,則稱 爲半羣;
- 存在幺元 ,且運算 結合,則稱 爲幺半羣;
- 若(幺)半羣上運算交易:,則謂之交易(幺)半羣.
進一步,若在幺半羣 上 可逆,即如果 ,則稱 爲羣. 並且定義映射
爲 逆映射,如果羣 是加法羣,則記 逆映射爲
由命题 4 可知,羣中每個元素都存在唯一的逆.
如果羣上的運算交易,則稱之爲交易羣.
設 是爲有兩個不同元素的集合.用乘法表定義其上的二元運算
可以看出, 是一個交易羣.其幺元爲 ,且每個元素都是其自身的逆元.從對稱性可以看出,乘法是可易的.
置換
設集合 非空,令
稱 中的元素爲 上的置換.
- 任何双射的复合仍然是双射,因此 在 下封闭.
同構與同態
設 和 是兩個原羣.映射 ,如果對於所有 有
稱 爲從 到 的同態映射.簡稱同態.如果同態 是雙射,則稱 爲同構映射,簡曰同構.若存在同構 ,則稱兩個原羣同構.