群作用与Burnside引理.ppt

* * 群作用 例15： 令 可以作用於 如下： 對於 滿足 ， 以及 ， 例17： 令 (給定一集合 ) 可以作用於 如下： 對於 與 ， 。 。 例16： 以及 ， 對於 令 可以作用於 (座標平面)如下： 。 假設有一個群 作用在一集合 上。 對任一 ， 為 (在此作用下的)的軌道。 群作用 定義 我們稱集合 練習十五： 請描述前述三個例子裡群作用的軌道。 你是否發現， 每個例子裡被作用的集合 都是互不相交的軌道的聯集？ (這敘述是不是似曾相識？ 回顧ㄧ下練習十四。) 群作用 練習十六： 令 表示以下關係： 假設有一個群 作用在一集合 上， 對任何 與 ， 存在 使得 。 請說明 是一個等價關係。 (由群作用所引導出的等價關係) 此時等價類跟群作用的軌道有關嗎？ (1) (2) 註： 上述由群作用所導出的等價關係是非常重要的概念， 它們的等價類與商集會出現在數學的很多討論當中。 考慮以下問題： 在一個正方形的四個 頂點塗上黑色或白色。 若允許旋轉， 問共有幾種著色法？ 為了討論群作用的應用， 我們現在先 細思一個很具啟發性的例子。 群作用 群作用 令 為以所有(不考慮旋轉)的塗色法為元素 的集合， 它有以下 個元素： 群作用 為保持輪廓的旋轉全體構成的群。 若以 記逆時針旋轉 度， 則 。 這個問題的設定有個自然的群作用，比方說 令 為以所有(不考慮旋轉)的塗色法為元素 可以轉成彼此的著色法最後要視為一樣， 問題歸結為計算相異軌道的個數。 換句話說， 。 群作用 此例中有六個軌道 (六種相異的塗色法)。 如何不靠列舉就求得軌道數呢？ 且待下面分解！ 記作 。 例18： 給定一個群 及它的一個子群 。 可以作用於 如下： 對於 與 ， 令 。 作為練習十六的重要例子， 的軌道(等價類)為 任一個 ， (注意到有 ， 也就是不寫 也無妨。) Why? 在此例中， 我們詳細探討以下的 左陪集(left cosets)與商集(quotient sets) 定義 稱作 的( )左陪集(left coset)。 對於 、 ， 我們有 。 練習十七： 假裝我們沒做過練習十六， 而是 直接規定群 元素間如下的一種關係 ： 。 請直接證明此 是 上的一個等價關係且 群 是所有 左陪集的聯集， ㄧ元素 的等價類恰為 。 且不相同的 左陪集彼此的交集為空集合。 左陪集與商集 定義 我們將此等價關係的商集記為 ， 稱為「 對 的商集」。 它的元素為所有的 左陪集， 練習十八： 描述 對各個子群的商集。 (1) (2) 左陪集與商集 (這與前面例14中的等價關係有何關聯？) 給定整數 ， 若 為「 」， 則 是 上的一個等價關係。) 描述 對子群 的商集 。 (例14： 給定一有限群 及它的一個子群 ， 定理 也可說成： 必有 。 (1) 整除 ； (2) 證明： 與 也是。 由於 是個有限集合， 被分割成 塊互不相交的 左陪集， 每塊的元素個數又都與 的相同， 故得證。 共有 個相異的 左陪集。 左陪集與商集 任兩個 左陪集都有相同的基數。 練習十九： 任兩個 左陪集都有相同的基數。 給定一有限群 及它的一個子群 ， 定理 也可說成： 必有 。 (1) 整除 ； (2) 共有 個相異的 左陪集。 推論 及任一元素 ， 給定一有限群 必有