1. 程式人生 > >郵箱:[email protected]

郵箱:[email protected]

BOLG

群的定義

設G為一個元素的集合,稱G內的元素為,*為針對G這個集合的元素的運算,當G滿足以下要求的時候,我們稱G為群

  1. 封閉性:G內的任何兩個元的*運算的結果仍在G內
  2. 交換律:abc=abc
  3. 單位元:任何ae=a
  4. 逆元:aa1=e

比如:G={0,1,2...n1},ab=(a+b)%n

那麼封閉性和交換律顯然符合要求,而單位元為0,a(a!=0)的逆元為n-a,0的逆元為0,那麼我們就稱

G為群

有限群的階 |G|:G的元素的數量

置換定義

有點像遊戲裡面各種屬性的剋制

置換π表示G中每個元素在一次變換後的下一個狀態

置換的運算子號記作·

表示方法一:矩陣

π={x1x2...xny1y2...yn}

表示x1的下一個狀態為y1x2的下一個狀態為y2……

表示方法二:迴圈節

假設有置換 π={123231},那麼就可以用(1,2,3)來表示

而(1,2,3)(3)表示1->2,2->3,3->3

c(π)表示置換π的迴圈節的個數

置換群的定義

置換群不是某種帶有置換屬性的群,而是群的元素為置換

設G為有限集X上的置換的集合,若G滿足群的定義,則(G·)被稱為一個置換群。

置換群下的一些定義

一:等價

如果元素a在某個置換π的作用下變成了b,則a與b等價,記作a~b

二:等價類&軌跡

G的一個元素在置換的作用下會變成下一個元素,下一個元素也有下一個元素,一直變換下去就會形成一條路徑,我們形象的稱之為G的軌跡,軌跡上的元素稱為一個等價類。顯然兩條軌跡不會相交。

a的等價類表示所有a可以變換到(可能不止一步)的元素的集合,記作

Ea

等價類的數量記作L,而大多數題目都需要求這個L。

三:不動置換類(置換的類)

對於某個元素a,所有滿足a->a的置換的集合,稱為a的不動置換類,記作 Za

四:不動點集(元素的類)

對於某個置換π,所有滿足在這個置換下不變的元素的集合,稱為π的不動點集,記作 C(π)

π=(123)(3)(45)(6)(7),X={1,2,3,4,5,6,7},則C(π)=3,6,7共3個元素。