循環群

(重定向自循环群

群論中,循環群英文:cyclic group),是指能由單個元素所生成有限循环群同构整数同余加法群 ,无限循环群则同构于整数加法群。每個循環群都是阿贝尔群,亦即其運算是可交換的。在群论中,循环群的性质已经被研究的较为透彻,是更为复杂的代数研究中常用到的基础工具。

群论
Cyclic group.svg

定義编辑

 
6次单位根在乘法下形成循環群。z是本原元而 z2 不是,因為z的奇數次不是z2的冪。

  為一个群,若存在一個元素  ,使得  ,则   形成一个循环群。群   內任意一个元素所生成的群都是循环群,而且是  子群

分类编辑

令循环群  。如果存在两个相異整数   使得  ,那么   满足  ,其中   是單位元。所以对於任意整数   ,其中    除以   得到的余数, 。这说明  有限群。设   是所有这样的正整数中最小的一个,则   可以表示为:

 

可以证明它同构于模   的加法群  。事实上,對每一個正整數  ,都存在唯一一個(在同构的意义上)為此正整數   的循環群。而所有的   阶循環群都和模   的同余类构成的加法群   同构。如果一个循环群的阶是无限的,那么它同构于整數关于加法构成的群  。因此,循環群已被完全分类,是最簡單的一种群。

例如, ,則   為循環群。  同構   的加法群: 。考虑映射

 
 

可以证明其为群同态,而且是双射,因此是群同构

标记编辑

由于循环群必然是阿貝爾群,且与加法群   或整数的加法群   同构,它的运算常以加法表示並記為  。然而數論中一般會避免使用這種標記,因為它和p进整数构成的或群的局部化的標記相衝突,容易混淆。因此,数论中一般直接记作  ,或以乘法表示運算並記為  

性質编辑

每一個循環群要么同構于整数模   的加法群: ,要么同构于整數的加法群  。因此要研究循环群的性质,只需要研究    作为加法群的性质即可。设   是一个   阶的循環群[N 1] ,则:

  •  交換群。這是因為  
  •   為正整数,則  ,因為  。而且   是所有使得   的正整数   中最小的一个。
  •   為無限大,則   有且仅有兩個生成元,分别对应于整数中的   
  •   為正整数,则   的各个生成元分别对应整数模   加法群中与   互质的数的同余类。例如当   时,  的生成元有四个,分别对应着   中的 四个同余类。
  •   的每一個子群都是循環群。每一個    阶有限子群皆為整数模   的加法群。而每一個   的無限子群都可以表示成  ,同構於  
  •  質數,則阶為   的群都同构  阶循環群。
  • 兩個循環群的直積  是循環群若且唯若    互質。故   ,而不是  [N 2]
  • 阿貝爾群的基本定理说明每一個有限生成阿貝爾群都是有限多個循環群的直積。

例子编辑

在二維和三維空间裡, 旋轉對稱對稱群 ,屬   抽象群類型。在三維裡,亦存在其他代數地相同的對稱群,詳見三維點群

需留意的是,的所有旋轉所組成之群S1(圓群)不是循環的,甚至不是可數的。

  •  單位根形成一個关于乘法的   阶循環群。
  • 每一個有限域有限扩张伽羅瓦群是有限且循環的;相反地,給定一有限域F和一有限循環群  ,則存在一個   的有限域擴張,其伽羅瓦群為  

表示编辑

有限循環群的環圖全是有著其元素在各個角上的   邊形。下面環圖中的黑角表示是單位元素,而其他的角則為群的其他元素。一個環包括著連接著單位元之元素的接續之次方。

Z1 Z2 Z3 Z4 Z5 Z6 Z7 Z8

子群编辑

所有循環群的子群商群都是循環的。特別地,  的子群為   的形式,其中   為非负整數。对于不同的    形式的子群是不同的,且除了當然群( )外都同構  子群格同構於以可除性排序之自然數格的對偶。所有   的商群都是有限的,除了一個當然的例外   之外。對每個   的正因數   ,群   恰好有一個   目的子群,它由   的剩餘類所產生。其不存在其他的子群。故其子群格會同構於以可除性排序之   的因數所組成的集合。

其中有一個很特別的:一個循環群是簡單的若且唯若其目(元素數目)為質數。

舉一個實際的問題,給定一個   目之有限子群  ,其生成元為  ,並要求求得以某一整數    所生成的子群之大小  。這裡,  會是能使   能被   整除之最小正整數。因此其為  ,其中    最大公因數。換句話說,由   產生之子群之指標 。其理由在數論中被稱為指標計算演算法

自同態编辑

阿貝爾群  自同態環同構於此阿貝爾群,且使其構成一個。在此同構之下,數字   會對應於將每個元素映射至其   次乘積之值上之   的自同態。此一自同態只有在rn互質時會是個雙射函數,所以  自同構群會同構於群  (見上面)。  的自同構群有時會被稱為  特徵群,且此一群的建構會直接導致對狄利克雷特徵的定義。

相似地,加法群   的自同態環會同構於環   ,且其自同構群會同構於環   的單位群,即 

逼肖循環群编辑

一個群稱為逼肖循環(virtually cyclic)的,如果這個群包含一個有限指數的循環子群。換言之,一個逼肖循環群的任何元素,都可表示為這個循環子群的一個元素乘以群中某個有限子集的一個元素。一個無限群是逼肖循環的,當且僅當這個群是有限生成並且正好有兩個[1]逼肖循環群的一個簡單例子是   直積,因子   有有限指數  。任何格羅莫夫雙曲群阿貝爾子群都是逼肖循環群。[2]

注释编辑

  1. ^ n也可以是無限大,约定“n为无穷大”代表群同构于整数加法群。
  2. ^   的直積并不是一个循环群。

参考来源编辑

  1. ^ Stallings, John, Groups of cohomological dimension one, Applications of Categorical Algebra (Proc. Sympos. Pure Math., Vol. XVIII, New York, 1968), Providence, R.I.: Amer. Math. Soc.: 124–128, 1970, MR 0255689 . 特別見p. 126: "If G has two ends, the explicit structure of G is well known: G is an extension of a finite group by either the infinite cyclic group or the infinite dihedral group."
  2. ^ Alonso, J. M.; Brady, T.; Cooper, D.; Ferlini, V.; Lustig, M.; Mihalik, M.; Shapiro, M.; Short, H., Notes on word hyperbolic groups, Group theory from a geometrical viewpoint (Trieste, 1990) (PDF), River Edge, NJ: World Scientific, Corollary 3.6, 1991 [2014-04-01], MR 1170363, (原始内容 (PDF)存档于2013-04-25) 

相关文献编辑

另見编辑