近世代數(shù)--循環(huán)群--怎么判斷是不是循環(huán)群？

博主是初學(xué)近世代數(shù)（群環(huán)域），本意是想整理一些較難理解的定理、算法，加深記憶也方便日后查找；如果有錯(cuò)，歡迎指正。
我整理成一個(gè)系列：近世代數(shù)，方便檢索。

個(gè)人感覺(jué)循環(huán)群需要原根的基礎(chǔ)知識(shí)，這里是我對(duì)原根的部分記錄。

三個(gè)方法：

• 1.定義

循環(huán)群：設(shè)群$G$中任意元素都可以表示成某一固定元素$a$的冪次，$G=\{a^n|n\in Z\}，$那么稱$G$為循環(huán)群，$a$為群$G$的生成元，寫(xiě)成$G=<a>$。

• 2.循環(huán)群的子群也是循環(huán)群。

證明：假設(shè)循環(huán)群$G=<a>,$因?yàn)?span id="ozvdkddzhkzd" class="katex--inline">$<e>$和$<a>$不需要證明，直接是循環(huán)群，所以我們只需考慮那些非單位元$\{e\}$、非群$G$本身的其他群，假設(shè)子群為$H$，
設(shè)$s>1,$是使得$a^s\in H$的最小數(shù)，我們只需證$H$中的所有元素都可以用$a^s$的冪次來(lái)表示即可。
我們假設(shè)$a^m$是$H$的任意元素，那么$m=q?s+r,?q,r\in Z,0\le r<s$
我們有$a^r=a^m?(a^{?qs})=a^m?((a^s{)}^q{)}^{?1}$
因?yàn)?span id="ozvdkddzhkzd" class="katex--inline">$a^s\in H,$由群的“封閉性”可知，$(a^s{)}^q\in H$;又由群的“單位元+逆元”可知，$((a^s{)}^q{)}^{?1}\in H$，所以$a^m?((a^s{)}^q{)}^{?1}\in H$，即$a^r\in H。$
又因?yàn)?span id="ozvdkddzhkzd" class="katex--inline">$s$是使得$a^s\in H$的最小數(shù)，所以$r=0$，即$m=q?s,a^m=(a^s{)}^q$，即任意$a^m\in H$都可以寫(xiě)成$a^s$的冪次形式。

• 3.素?cái)?shù)階群一定是循環(huán)群，非單位元都是生成元。

假設(shè)素?cái)?shù)階群為$G$，$|G|=p,p$為素?cái)?shù)。
任意元素$a\in G,a=e$，由之前信息安全數(shù)學(xué)基礎(chǔ)–群環(huán)域–拉格朗日定理（關(guān)于群的陪集）證過(guò)的$|G|=|H|?[G:H]$，我們知道任意子群$|H|$與群$|G|$的階都是有整除關(guān)系的，即$|H|\mid |G|$。根據(jù)群的“封閉性”，我們知道$<a>$是$G$的子群，所以有$|<a>|\mid |G|=p$。

此時(shí)，$a^{|G|}=1$。為什么不是$\equiv 1(mod|G|)$，因?yàn)閷?duì)于群$(G，?)$，運(yùn)算$?$本身包含了$?(mod|G|)$的意思，即每次做群運(yùn)算都有$?(mod|G|)$，而不是最后乘法結(jié)果$?(mod|G|)$。

又因?yàn)?span id="ozvdkddzhkzd" class="katex--inline">$a=e,\to |a|=1$，所以$|<a>|=p$，即$G=<a>$。

---

所以，非循環(huán)群最小階數(shù)為4。

• 1階群，只有一個(gè)元素，是循環(huán)群；

• 因?yàn)?、3是素?cái)?shù)，所以2階，3階群是循環(huán)群；

  • 唯一三階群：$\{1,a,b\}$，循環(huán)群

• 存在階數(shù)為4的非循環(huán)群；

  • 某個(gè)四階群（四階群不唯一）：$\{1,a,b,c\}$，非循環(huán)群

總結(jié)

以上是生活随笔為你收集整理的近世代数--循环群--怎么判断是不是循环群？的全部?jī)?nèi)容，希望文章能夠幫你解決所遇到的問(wèn)題。

如果覺(jué)得生活随笔網(wǎng)站內(nèi)容還不錯(cuò)，歡迎將生活随笔推薦給好友。