近世代数--循环群--怎么判断是不是循环群?
近世代數--循環群--怎么判斷是不是循環群?
博主是初學近世代數(群環域),本意是想整理一些較難理解的定理、算法,加深記憶也方便日后查找;如果有錯,歡迎指正。
我整理成一個系列:近世代數,方便檢索。
個人感覺循環群需要原根的基礎知識,這里是我對原根的部分記錄。
三個方法:
- 1.定義
循環群:設群GGG中任意元素都可以表示成某一固定元素aaa的冪次,G={an∣n∈Z},G=\{a^n|n\in Z\},G={an∣n∈Z},那么稱GGG為循環群,aaa為群GGG的生成元,寫成G=<a>G=<a>G=<a>。
- 2.循環群的子群也是循環群。
證明:假設循環群G=<a>,G=<a>,G=<a>,因為<e><e><e>和<a><a><a>不需要證明,直接是循環群,所以我們只需考慮那些非單位元{e}\{e\}{e}、非群GGG本身的其他群,假設子群為HHH,
設s>1,s>1,s>1,是使得as∈Ha^s\in Has∈H的最小數,我們只需證HHH中的所有元素都可以用asa^sas的冪次來表示即可。
我們假設ama^mam是HHH的任意元素,那么m=q?s+r,?q,r∈Z,0≤r<sm=q·s+r,{\exists}q,r\in Z,0\le r<sm=q?s+r,?q,r∈Z,0≤r<s
我們有ar=am?(a?qs)=am?((as)q)?1a^r=a^m·(a^{-qs})=a^m·((a^s)^q)^{-1}ar=am?(a?qs)=am?((as)q)?1
因為as∈H,a^s\in H,as∈H,由群的“封閉性”可知,(as)q∈H(a^s)^q\in H(as)q∈H;又由群的“單位元+逆元”可知,((as)q)?1∈H((a^s)^q)^{-1}\in H((as)q)?1∈H,所以am?((as)q)?1∈Ha^m·((a^s)^q)^{-1}\in Ham?((as)q)?1∈H,即ar∈H。a^r\in H。ar∈H。
又因為sss是使得as∈Ha^s\in Has∈H的最小數,所以r=0r=0r=0,即m=q?s,am=(as)qm=q·s,a^m=(a^s)^qm=q?s,am=(as)q,即任意am∈Ha^m\in Ham∈H都可以寫成asa^sas的冪次形式。
- 3.素數階群一定是循環群,非單位元都是生成元。
假設素數階群為GGG,∣G∣=p,p|G|=p,p∣G∣=p,p為素數。
任意元素a∈G,a≠ea\in G,a\neq ea∈G,a?=e,由之前信息安全數學基礎–群環域–拉格朗日定理(關于群的陪集)證過的∣G∣=∣H∣?[G:H]|G|=|H|·[G:H]∣G∣=∣H∣?[G:H],我們知道任意子群∣H∣|H|∣H∣與群∣G∣|G|∣G∣的階都是有整除關系的,即∣H∣∣∣G∣|H|\mid |G|∣H∣∣∣G∣。根據群的“封閉性”,我們知道<a><a><a>是GGG的子群,所以有∣<a>∣∣∣G∣=p|<a>|\mid |G|=p∣<a>∣∣∣G∣=p。
此時,a∣G∣=1a^{|G|}=1a∣G∣=1。為什么不是≡1(mod∣G∣)\equiv 1(mod |G|)≡1(mod∣G∣),因為對于群(G,?)(G,·)(G,?),運算?·?本身包含了?(mod∣G∣)·(mod |G|)?(mod∣G∣)的意思,即每次做群運算都有?(mod∣G∣)·(mod |G|)?(mod∣G∣),而不是最后乘法結果?(mod∣G∣)·(mod |G|)?(mod∣G∣)。
又因為a≠e,→∣a∣≠1a\neq e,\rightarrow |a|\neq 1a?=e,→∣a∣?=1,所以∣<a>∣=p|<a>|=p∣<a>∣=p,即G=<a>G=<a>G=<a>。
所以,非循環群最小階數為4。
-
1階群,只有一個元素,是循環群;
-
因為2、3是素數,所以2階,3階群是循環群;
- 唯一三階群:{1,a,b}\{1,a,b\}{1,a,b},循環群
-
存在階數為4的非循環群;
- 某個四階群(四階群不唯一):{1,a,b,c}\{1,a,b,c\}{1,a,b,c},非循環群
總結
以上是生活随笔為你收集整理的近世代数--循环群--怎么判断是不是循环群?的全部內容,希望文章能夠幫你解決所遇到的問題。
- 上一篇: 初等数论--原根--阶的计算
- 下一篇: 初等数论--原根--怎么判断a是不是模m