2.陪集cosets.pptVIP

2.陪集cosets 定義：設n階群G的一個子群S具有元素e, a1, a2, a3,… am(m≦n)，b是G的一個元素，但b不屬於S，當b遍承S的所有元素時，所得到的m個元素be=b, ba2, ba3, … bam形成的集合稱為子群S的一個左陪集，並記作 bS，即有 同樣可定義S的右陪集為 由於陪集不含有單位元素，所以陪集不是子群。 若陪集含有單位元素baj，則由baj=e可得b= aj-1，於是必有b S，與原假設不屬於S矛盾 Ex11. The distinct (left) cosets of the Z3 in the group of integers Z are: where 定理：在有限群G中，子群S的兩個左陪集所含的元素， 或者全同，或者不同 Proof S aS bS cS kS ??? Lagranges theorem (group theory) 若 s 階群 S 是 g 階群 G 的任一子群，則s都整除g 為子群S全部陪集，子群S為s階，則每個陪集都有s個元素，又G的每個元素必須在子群S或S的 個不相交陪集僅出現一次，故必有 . 稱整數 為G中子群S的指數,還可得到一結論: 一個有限群G的任一元素 的階v都整除G的階g.這是因為G的一個v階元素 ( )可生成G的v階子群： 例. G為4-群 ,任取G子群S為 , 則S左陪集是 可知4-群的子群 只有一個陪集 ,其左分解為 Born January 25, 1736(1736-01-25), Turin, Italy Died April 10, 1813 (aged 77),Paris, France Residence Italy, France, Prussia Nationality Italian, French Field Mathematics, Mathematical physics Institutions école Polytechnique Academic advisor Leonhard Euler Notable students Joseph Fourier,Giovanni Plana, Simeon Poisson Known for Analytical mechanics, Celestial mechanics Mathematical analysis Number theory Religion Roman Catholic Note he did not have a doctoral advisor but academic genealogy authorities link his intellectual heritage to Leonhard Euler, who played the equivalent role. ~ from Wikipedia Joseph Louis, comte de Lagrange Lagrangian mechanics Algebra Number Theory Miscellaneous Astronomy Mécanique analytique Ex12：A set H≠? is a subgroup of a group G iff Proof (1)充分性 H 是群G的子群 (2)必要性 H是群G中的非空集合，若 由上式 再由上式 證得H是群G的子群 (封閉性) (單位元素存在) (逆元素存在) (封閉性) Ex13. 設G是個群，集合 是G的一個子群，此群稱為群G的中心 考慮單位元素e, 故 ，C非空集合 又 若 C為G的子群得證 共軛類和不變子群 定義：設a和b是群G的兩個元素，如果G中有一個元素x使得 則稱b與a共軛，並把這個運算叫做b通過a的相似轉換。 1.共軛a conjugate of a G 相似轉換滿足 自反性： 對稱性： 傳遞性： 又xy G，故a與