跳转到内容

陪集

本页使用了标题或全文手工转换
维基百科,自由的百科全书

数学中,特別是群論中,子群能夠將中的元素劃分為若干個互不相交的子集,這些子集稱為陪集(英語:Coset)。陪集中又有左陪集和右陪集。的陪集(不分左右)的大小的相等。同時是自身的左陪集和右陪集。左陪集的數量與右陪集的數量相等。子群陪集的個數稱為中的指數,記為

陪集是研究群的基本工具。如在拉格朗日定理中,利用子群的概念證明了有限群中每一個子群的元素個數整除的元素個數。對特定的子群(正規子群),它的陪集可以作為另一個群的元素存在,衍生出商群的概念。

定義

[编辑]

為一個群,中元素,则

中的左陪集
中的右陪集

左陪集與右陪集不必相等,所有的左右陪集相等當且僅當正规子群。有時會用這個條件作為子群正规性的定义。[1]

陪集指某个中子群的左或右陪集。因为的右陪集共轭子群的左陪集相等。因此不明確說明所使用的子群而讨论一个陪集是左陪集或右陪集是没有意义的。

对于交换群或者將群操作記為加號的群,左右陪集可以分别用表示。

范例

[编辑]

同构)為加法循环群 的一個子群。中的左陪集为

因此有两個不同的陪集:自身和。注意到的每個元素要麼在中,要麼在中,換言之,,所以中的兩個不同的左陪集构成的一个划分。因为是交换群,右陪集和左陪集相同。

另一个陪集的例子来自线性空间。线性空间的向量向量加法下组成一个阿贝尔群。可以证明原来的线性空间的子空间是这个群的子群。对于给定的线性空间 V,子空间 WV 中的一个固定向量 a,集合

被称为“仿射子空间”。它们都是的陪集。对于欧几里得空间,仿射子空间代表与给定的过原点的直线平面平行的直线或平面。

性质

[编辑]

当且仅当中的元素。

一个子群 H 的两个左(右)陪集要么相同,要么不交。因此左(右)陪集的集合构成了群 G 的一个划分:群中的每个元素属于且仅属于一个左(右)陪集。特别地,单位元只在一个陪集中,即是 H 自己。因此 H 也是所有左(右)陪集中唯一的子群。这个划分称为 GH陪集分解

在群中定義等价关系使得xy 等價)当且仅当,那么 HG 中的左陪集正是所有不同的等价类。类似的结论对右陪集也成立(當等價關係的定義為時)。

一个陪集的代表元是建立在上述等价关系上的概念。陪集中的每个元素都可以作为该陪集的代表元。

的所有左(右)陪集的都是一样的。中的左陪集个数和右陪集个数也是一样的,称为中的指数。记作 。由陪集的性质很容易得到拉格朗日定理。該定理说明在为有限群时:

陪集与正规子群

[编辑]

如果子群不是正规子群,那么它的左陪集和右陪集不相等:中存在元素使得不存在符合的元素 。換言之,的左陪集构成的划分(的左陪集分解)不同于的右陪集构成的划分(的右陪集分解)。

另一方面,子群为正规子群当且仅当对中所有元素都有。此時子群所有的陪集构成一个群,称为商群,记作。其元素间的运算 定义为。这个定义自洽当且仅当为正规子群。

有限指数

[编辑]

无限群G可能有具有有限指数的子群H(例如,整数群中的偶数)。可以证明,这样的子群总是包含一个具有有限指数的(G的)正规子群N。事实上,如果H具有指数n,则N的指数是n!的因子。这一性质可以通过具体的例子来体现:考虑G通过乘法在H的左陪集上的置换作用(或者,在右陪集上的作用也是同样的例子)

其中 是所有陪集的集合。对 G 中任意的 g 都是一个置换。再考虑相应的置换表示 ,这个置换表示的核给出了G的一个正规子群N,而它的象是G的一个商群:一个在n个元素上的对称群的子群。

n = 2时,上述性质表明指数为2的子群总是一个正规子群,因为 2!=2。

参看

[编辑]

参考来源

[编辑]
  • 胡冠章,《应用近世代数》,第2章,清华大学出版社。
  1. ^ Dummit, David S.; Foote, Richard M. Abstract Algebra. John Wiley and Sons. 2004. ISBN 0-471-43334-9. 
pFad - Phonifier reborn

Pfad - The Proxy pFad of © 2024 Garber Painting. All rights reserved.

Note: This service is not intended for secure transactions such as banking, social media, email, or purchasing. Use at your own risk. We assume no liability whatsoever for broken pages.


Alternative Proxies:

Alternative Proxy

pFad Proxy

pFad v3 Proxy

pFad v4 Proxy