數學中,特別是群論中,群的子群能夠將中的元素劃分為若干個互不相交的子集,這些子集稱為的陪集(英語:Coset)。陪集中又有左陪集和右陪集。的陪集(不分左右)的大小與的相等。同時是自身的左陪集和右陪集。左陪集的數量與右陪集的數量相等。子群陪集的個數稱為在中的指數,記為。
陪集是研究群的基本工具。如在拉格朗日定理中,利用子群的概念證明了有限群中每一個子群的元素個數整除的元素個數。對特定的子群(正規子群),它的陪集可以作為另一個群的元素存在,衍生出商群的概念。
定義
若為一個群,為中元素,則
- 為在中的左陪集,
- 為在中的右陪集。
左陪集與右陪集不必相等,所有的左右陪集相等當且僅當為正規子群。有時會用這個條件作為子群正規性的定義。[1]
陪集指某個中子群的左或右陪集。因為,的右陪集和共軛子群的左陪集相等。因此不明確說明所使用的子群而討論一個陪集是左陪集或右陪集是沒有意義的。
對於交換群或者將群操作記為加號的群,左右陪集可以分別用和表示。
範例
因此有兩個不同的陪集:自身和。注意到的每個元素要麼在中,要麼在中,換言之,,所以在中的兩個不同的左陪集構成的一個劃分。因為是交換群,右陪集和左陪集相同。
另一個陪集的例子來自線性空間。線性空間的向量在向量加法下組成一個阿貝爾群。可以證明原來的線性空間的子空間是這個群的子群。對於給定的線性空間 V,子空間 W 和 V 中的一個固定向量 a,集合
性質
當且僅當是中的元素。
一個子群 H 的兩個左(右)陪集要麼相同,要麼不交。因此左(右)陪集的集合構成了群 G 的一個劃分:群中的每個元素屬於且僅屬於一個左(右)陪集。特別地,單位元素只在一個陪集中,即是 H 自己。因此 H 也是所有左(右)陪集中唯一的子群。這個劃分稱為 G 對 H 的左(右)陪集分解。
在群中定義等價關係使得(x 與 y 等價)當且僅當,那麼 H 在 G 中的左陪集正是所有不同的等價類。類似的結論對右陪集也成立(當等價關係的定義為時)。
一個陪集的代表元是建立在上述等價關係上的概念。陪集中的每個元素都可以作為該陪集的代表元。
的所有左(右)陪集的階都是一樣的。在中的左陪集個數和右陪集個數也是一樣的,稱為在中的指數。記作 。由陪集的性質很容易得到拉格朗日定理。該定理說明在為有限群時:
如果子群不是的正規子群,那麼它的左陪集和右陪集不相等:中存在元素使得不存在符合的元素 。換言之,的左陪集構成的劃分(對的左陪集分解)不同於的右陪集構成的劃分(對的右陪集分解)。
另一方面,子群為正規子群當且僅當對中所有元素都有。此時子群所有的陪集構成一個群,稱為對的商群,記作。其元素間的運算 定義為。這個定義自洽當且僅當為正規子群。
有限指數
無限群G可能有具有有限指數的子群H(例如,整數群中的偶數)。可以證明,這樣的子群總是包含一個具有有限指數的(G的)正規子群N。事實上,如果H具有指數n,則N的指數是n!的因子。這一性質可以通過具體的例子來體現:考慮G通過乘法在H的左陪集上的置換作用(或者,在右陪集上的作用也是同樣的例子)
其中 是所有陪集的集合。對 G 中任意的 g, 都是一個置換。再考慮相應的置換表示: ,這個置換表示的核給出了G的一個正規子群N,而它的象是G的一個商群:一個在n個元素上的對稱群的子群。
n = 2時,上述性質表明指數為2的子群總是一個正規子群,因為 2!=2。
參看
參考來源
Wikiwand in your browser!
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.