族谱网 头条 人物百科

陪集

2020-10-16
出处:族谱网
作者:阿族小谱
浏览:4875
转发:0
评论:0
范例加法循环群Z4={0,1,2,3}=G有子群H={0,2}(同构于Z2)。H在G中的左陪集为因此存在两种不同的陪集H本身和1+H=3+H。注意每个G中元素或者在H中,或者在1+H中,也即,H∪(1+H)=G,所以H在G中不同的陪集构成G的一个划分。因为Z4是交换群,右陪集和左陪集相同。另一个陪集的例子来自线性空间中。线性空间的向量在向量加法下组成一个阿贝尔群。可以证明原来的线性空间的子空间是这个群的子群。对于给定的线性空间V,子空间W和V中的一个固定向量a,集合被称为“仿射子空间”。它们都是W的陪集。对于欧几里得空间,仿射子空间代表与给定的过原点的直线或平面平行的直线或平面。性质gH=H当且仅当g是H中的元素。一个子群H的两个左(右)陪集要么相同,要么不交——即左(右)陪集的集合构成了群G的一个划分:群中的每个元素属于且仅属于一个左(右)陪集。特别地,单位元只在一个陪集中,即是H自己。...

范例

加法循环群 Z 4 = {0, 1, 2, 3} = G 有子群 H = {0, 2}(同构于 Z 2 )。 H 在 G 中的左陪集为

因此存在两种不同的陪集 H 本身和1 + H = 3 + H 。注意每个 G 中元素或者在 H 中,或者在1 + H 中,也即, H ∪ (1 + H ) = G ,所以 H 在 G 中不同的陪集构成 G 的一个划分。因为 Z 4 是交换群,右陪集和左陪集相同。

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

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

性质

gH = H 当且仅当 g 是 H 中的元素。

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

如果定义 G 中的等价关系为: x ~ H y ( x 等价于 y )当且仅当 x y ∈ H ,那么 H 在 G 中的左陪集正是所有不同的等价类。类似的结论对右陪集也成立(当 x y − − --> 1 ∈ ∈ --> H {\displaystyle xy^{-1}\in H} )。

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

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

陪集与正规子群

如果 H 不是 G 的正规子群,那么它的左陪集和右陪集不相等:存在 G 中元素 a 使得不存在符合 aH = Hb 的元素 b ,或者说 H 的左陪集构成的划分( G 对 H 的左陪集分解)不同于 H 的右陪集构成的划分( G 对 H 的右陪集分解)。

另一方面,子群 N 为正规子群当且仅当对 G 中所有元素 g , gN = Ng 。这时子群 N 所有的陪集构成一个群,称为 G 对 H 的商群,记作 G / H 。其元素间的运算 ∗ 定义为( aH )∗( bH ) = abH 。这个定义自洽当且仅当 N 为正规子群。

有限指数

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

其中 S H {\displaystyle S_{H}} 是所有陪集的集合。对 G 中任意的 g , π π --> g : a H ↦ ↦ --> g a H {\displaystyle \pi _{g}\ :aH\mapsto gaH} 都是一个置换。再考虑相应的置换表示: Π Π --> : g ↦ ↦ --> π π --> g {\displaystyle \Pi \ :g\mapsto \pi _{g}} ,这个置换表示的核给出了 G 的一个正规子群 N ,而它的象是 G 的一个商群:一个在 n 个元素上的对称群的子群。

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

参看

双陪集

拉格朗日定理

正规子群

商群

参考来源

胡冠章,《应用近世代数》,第2章,清华大学出版社。


免责声明:以上内容版权归原作者所有,如有侵犯您的原创版权请告知,我们将尽快删除相关内容。感谢每一位辛勤著写的作者,感谢每一位的分享。

——— 没有了 ———
编辑:阿族小谱
发表评论
写好了,提交
{{item.label}}
{{commentTotal}}条评论
{{item.userName}}
发布时间:{{item.time}}
{{item.content}}
回复
举报
点击加载更多
打赏作者
“感谢您的打赏,我会更努力的创作”
— 请选择您要打赏的金额 —
{{item.label}}
{{item.label}}
打赏成功!
“感谢您的打赏,我会更努力的创作”
返回

更多文章

更多精彩文章
打赏
私信

推荐阅读

· 陪胪
名称其名称意为暴恶,可畏。神话陪胪的传说起源自梵天与毗湿奴之间的争议。传说梵天曾与毗湿奴争论,谁才是宇宙中最伟大的神明。梵天认为自己是世界的创造者,应受到最高的尊崇。愤怒的湿婆,变身成陪胪,突然出现,砍下梵天的第五个头,因此被称为嘎拉陪胪(KalaBhairava)。此后梵天只剩下四个头,而陪胪被称为杀梵者。形象一身九面,裸形黑色,现三十四臂、十六足之忿怒身。密宗金刚界密宗将他列在金刚界曼荼罗降三世会外部院的东南角落,为自在天的化身。藏传密宗则认为他是大自在天的忿怒相。有些时候陪卢一辞只是形容本尊外貌的用语例如在法贤翻译的《佛说妙吉祥瑜伽大教金刚陪啰嚩轮观想成就仪轨经》中,文殊化现出牛面怖畏(陪啰嚩)金刚,但怖畏金刚和陪庐是不同的神祇。而在胜乐续中,胜乐金刚形象里正是一脚踩踏黑陪卢(怖畏王)另脚踩踏红时母(mahakali)乐曲唐代破阵乐中,有倍胪、陪胪破阵乐。尼泊尔尼瓦尔人认为他是一位重...
· 陪审制
概要构成陪审团分为两种:在刑事案件中决定是否对嫌疑人提起控诉的大陪审团(grandjury,又称“起诉陪审团”);在刑事诉讼或民事诉讼的审理中参与其过程的为小陪审团(petitjury,又称“审理陪审团”)。大陪审团和小陪审团的名称来自两者陪审员人数的多寡(传统上,大陪审团由23人组成,而小陪审团有12人)。一般所说的“陪审团”往往是指小陪审团(以下、除了历史部分外,仅就小陪审团为描述对象)。陪审员(如上所述,通常为12人,但具体详见各国制度部分),是从普通公民中随机抽选的,其在参加刑事案件或民事诉讼的审理后,在仅有陪审员在场的情况下对案件做出评议并下达评判(→参见一般性陪审审理程序及各国制度部分)。所有成年公民都可能被选为陪审员,却不是所有成人皆有资格出任陪审员,例如警察、军人,教授,市(省)长,法学系的学生可能不符合或可获豁免出任陪审员。陪审员的选任需要遵从一定的选任程序。陪审团人数由...
· 青楼集
参考资料〈青楼集提要〉,《青楼集》(鼎文书局,1976年),页3-8。滕先森〈《青楼集》与元代女演员》〉,《文史杂志》,2004:2,页46-47。
· 并集
基本定义若A和B是集合,则A和B并集是有所有A的元素和所有B的元素,而没有其他元素的集合。A和B的并集通常写作"A∪B"。形式上:举例:集合{1,2,3}和{2,3,4}的并集是{1,2,3,4}。数9不属于素数集合{2,3,5,7,11,…}和偶数集合{2,4,6,8,10,…}的并集,因为9既不是素数,也不是偶数。更通常的,多个集合的并集可以这样定义:例如,A,B和C的并集含有所有A的元素,所有B的元素和所有C的元素,而没有其他元素。形式上:代数性质二元并集(两个集合的并集)是一种结合运算,即A∪(B∪C)=(A∪B)∪C。事实上,A∪B∪C也等于这两个集合,因此圆括号在仅进行并集运算的时候可以省略。相似的,并集运算满换律,即集合的顺序任意。空集是并集运算的单位元。即{}∪A=A,对任意集合A。可以将空集当作零个集合的并集。结合交集和补集运算,并集运算使任意幂集成为...
· 闭集
闭集等价的定义在拓扑空间内,一个集合是闭集当且仅当它与它的闭包相同。等价地,一个集合是闭集当且仅当所有的极限点都是这个集合中的点。不要混淆于闭流形。性质闭集包含其自身的边界。换句话说,这个概念基于“外部”的概念,如果你在一个闭集的外部,你稍微“抖动”一下仍在这个集合的外部。注意,这个概念在边界为空的时候还是真的,比如在有理数的度量空间中,对于平方小于2的数的集合。任意多个闭集的交集是闭集;有限多个闭集的并集是闭集。特别的,空集和全空间是闭集。交集的性质也被用来定义空间X{\displaystyleX}上的集合A{\displaystyleA}的闭包,即X{\displaystyleX}的闭合子集中最小的A{\displaystyleA}的父集。特别的,A{\displaystyleA}的闭包可以通过所有的其闭合父集的交集来构造。例子区间[a,b]在实数上是闭集。(方括号、圆括号的集合符号,...

关于我们

关注族谱网 微信公众号,每日及时查看相关推荐,订阅互动等。

APP下载

下载族谱APP 微信公众号,每日及时查看
扫一扫添加客服微信