热门问题
时间线
聊天
视角

子群

来自维基百科,自由的百科全书

子群
Remove ads

假设 是一个 (group),若 的一个非空子集(subset)且同时 与相同的二元运算 亦构成一个群,则 称为 的一个 子群(subgroup)。参阅群论

事实速览 群论, 基本概念 ...

更精确地来说,若运算 限制也是个在 上的群运算,则称 子群

一个群 纯子群 是指一个子群 ,其为 纯子集(即 )。任一个群总会有两个子群 当然群(为只包含单位元的子群,{e})以及 群本身。若 的子群,则 有时会被称为 的“母群”。

相同的定义可以应用在更广义的范围内,当 G 为一任意的半群,但此一条目中只处理群的子群而已。群G 有时会被标记成有序对(G,*),通常用以强调其运算 G 带有多重的代数或其他结构。

在下面的文章中,会使用省略掉 的约定,并将乘积a*b写成 ab

Remove ads

子群的检验

给定一个群的子集,则有的子群当且仅当

的子群可表示为,则以上表述可表示为:

证明:

因为,对于任意,另有,由于为一个群,所以

假设,令,可得,即存在单位元。

对于,令,可得,即对于任意,存在

对于,令,可得,即对于任意

因此成立。

Remove ads

子群的基本性质

  • 且存在一个映射,且对每个
  • ,其中 的单位元。
  • ,则为会使得 中的元素,有
  • .但则不一定,例如2和3是在的并集中,但其总和5则不是。
  • SG的子集,则存在一个包括S的最小子群,其可以由取得所有包括S的子群之交集来找出;此一最小子群被标记为<S>且称为S产生的子群G内的一个元素在<S>内当且仅当其为S内之元素的有限乘积且其逆元。
  • G内的每一个元素a都会产生一个循环子群<a>。若<a>同构于某一正整数nZ/nZ,则n会是最小个会使得an = e的正整数,且n被称为是a的“阶”。若<a>同构于Z,则a会被称有“无限阶”。
  • 任一给定的群之子群都会形成一个在内含下的完全格,称之为子群格。(其最大下界为一般的集合论交集,而其一群子群的最小上界所此些子群之集合论并集“所产生”的子群。)若eG的单位元,则其当然群{e}会是群G最小子群,而其最大子群则会是群G本身。
Remove ads

例子

1. 有限群

以8为模的加法为二元运算的群(此群亦同时是阿贝尔群)。 其凯莱表

更多信息 + ...

此凯莱表是故意不用常规的排列法来表明此群有着一对非当然子群,其中 亦是 的子群。 的凯莱表是 的凯莱表之左上半部。 群是循环的,而其子群亦为。一般而言,循环群的子群亦为循环的。

Remove ads

2. 二面体群

如果,则 是一个子群

Remove ads

3.群的中心,中心化子,正规化子

我们设一个群G的子集,包含了所有与群G中其他元素可交换的元素,也就是说

,此集合为群G的子群。我们称此子群为群的中心,记作

设A为G的任意子集,则A在G中的中心化子为集合,此集合的定义为:

,此集合也是群G的子群。

至于A在G中的正规化子则为集合,此集合定义为:

,此集合也是群G的子群。

Remove ads

陪集和拉格朗日定理

给定一子群HG内的某一元素a,则可定义出一个陪集 aH={ah;hH}。因为a为可逆的,由φ(h) = ah给出之映射φ : HaH为一个双射。更甚地,每一个G内的元素都包含在恰好一个H的左陪集中;其左陪集为对应于一等价关系的等价类,其等价关系a1 ~ a2当且仅当a1−1a2会在H内。H的左陪集之数目称之为HG内的“指数”,并标记为[G:H]。

拉格朗日定理叙述著对一个有限群G和一个子群H而言,

其中o(G)和o(H)分别为GH。特别地是,每一个G的子群的阶(和每一个G内元素的阶)都必须为o(G)的约数右陪集为相类比之定义:Ha = {ha : hH}。其亦有对应于一适当之等价关系的等价类,且其个数亦会相等于[G:H]。

若对于每个在G内的aaH=Ha,则H称之为正规子群。每一个指数2的子群皆为正规的:左陪集和右陪集都简单地为此一子群和其补集。

Remove ads

另见

Loading related searches...

Wikiwand - on

Seamless Wikipedia browsing. On steroids.

Remove ads