基本介紹
![整數加法群](/img/a/215/wZwpmLxIDM1UjN1IjN0YzM1UTM1QDN5MjM5ADMwAjMwUzLyYzLzAzLt92YucmbvRWdo5Cd0FmL0E2LvoDc0RHa.jpg)
![整數加法群](/img/6/e15/wZwpmLyczM1MTM3gTN0YzM1UTM1QDN5MjM5ADMwAjMwUzL4UzLxYzLt92YucmbvRWdo5Cd0FmLxE2LvoDc0RHa.jpg)
整數及整數上的加法運算構成了群(有的書籍寫做),稱之為 整數加法群。其中0是群的單位元,每一個元素的逆元是它的相反數。
![整數加法群](/img/a/d82/wZwpmL3MjN5IzN1gjN0YzM1UTM1QDN5MjM5ADMwAjMwUzL4YzLyUzLt92YucmbvRWdo5Cd0FmLwE2LvoDc0RHa.jpg)
![整數加法群](/img/a/178/wZwpmL3QTOxYjMyIjN0YzM1UTM1QDN5MjM5ADMwAjMwUzLyYzL4czLt92YucmbvRWdo5Cd0FmLyE2LvoDc0RHa.jpg)
![整數加法群](/img/e/d54/wZwpmLwEDNzkDM4gTN0YzM1UTM1QDN5MjM5ADMwAjMwUzL4UzL4AzLt92YucmbvRWdo5Cd0FmLxE2LvoDc0RHa.jpg)
![整數加法群](/img/2/e11/wZwpmL2czNwATM4ADMwADN0UTMyITNykTO0EDMwAjMwUzLwAzLyMzLt92YucmbvRWdo5Cd0FmLyE2LvoDc0RHa.jpg)
整數與整數上的乘法運算不能構成群,因為除了元素1和-1外,所有元素都不存在逆元。類似地,都是群,而都不是群,因為元素0沒有逆元。都是群,兩個群的單位元均為1,元素的逆元是該元素的倒數 。
![整數加法群](/img/a/215/wZwpmLxIDM1UjN1IjN0YzM1UTM1QDN5MjM5ADMwAjMwUzLyYzLzAzLt92YucmbvRWdo5Cd0FmL0E2LvoDc0RHa.jpg)
整數加法群,是由整數Z和整數加法運算+組成。其單位元0;
![整數加法群](/img/c/2ba/wZwpmL3YjM4kTN5IjN0YzM1UTM1QDN5MjM5ADMwAjMwUzLyYzL2EzLt92YucmbvRWdo5Cd0FmLzE2LvoDc0RHa.jpg)
封閉性 :;
![整數加法群](/img/f/447/wZwpmLzIjNyQzN0QzN0YzM1UTM1QDN5MjM5ADMwAjMwUzL0czL2UzLt92YucmbvRWdo5Cd0FmLwE2LvoDc0RHa.jpg)
結合律:;
![整數加法群](/img/c/1d6/wZwpmL0ITOyEzM0UzN0YzM1UTM1QDN5MjM5ADMwAjMwUzL1czLxgzLt92YucmbvRWdo5Cd0FmLzE2LvoDc0RHa.jpg)
逆元:。
相關性質
![整數加法群](/img/5/7d3/wZwpmL0YDM1ADM4gTN0YzM1UTM1QDN5MjM5ADMwAjMwUzL4UzLwgzLt92YucmbvRWdo5Cd0FmLyE2LvoDc0RHa.jpg)
![整數加法群](/img/e/601/wZwpmLxITN4YDO4IzN0YzM1UTM1QDN5MjM5ADMwAjMwUzLyczL4YzLt92YucmbvRWdo5Cd0FmLyE2LvoDc0RHa.jpg)
![整數加法群](/img/a/882/wZwpmLwIzN4cjM5ETN0YzM1UTM1QDN5MjM5ADMwAjMwUzLxUzL4AzLt92YucmbvRWdo5Cd0FmLzE2LvoDc0RHa.jpg)
① 子群設G是群,,若H具封閉性、單位元、逆元,稱H是G的一個子群,記號。換句話說,若,則H是G的一個 子群。作為群公理之一的結合律,因為H繼承了G的運算,所以自然成立,因此,子群也是群。
![整數加法群](/img/6/e15/wZwpmLyczM1MTM3gTN0YzM1UTM1QDN5MjM5ADMwAjMwUzL4UzLxYzLt92YucmbvRWdo5Cd0FmLxE2LvoDc0RHa.jpg)
![整數加法群](/img/d/a01/wZwpmL3ADMyQTNzMTN0YzM1UTM1QDN5MjM5ADMwAjMwUzLzUzL0czLt92YucmbvRWdo5Cd0FmLzE2LvoDc0RHa.jpg)
![整數加法群](/img/e/abe/wZwpmLwEjM4cjM4gTN0YzM1UTM1QDN5MjM5ADMwAjMwUzL4UzL2gzLt92YucmbvRWdo5Cd0FmLwE2LvoDc0RHa.jpg)
![整數加法群](/img/6/e15/wZwpmLyczM1MTM3gTN0YzM1UTM1QDN5MjM5ADMwAjMwUzL4UzLxYzLt92YucmbvRWdo5Cd0FmLxE2LvoDc0RHa.jpg)
考慮整數加法群,自然可以想到,在偶整數上做加法可以成群,如0+2=2,2+4=6…定義為整數上的所有偶數,則是的子群。
![整數加法群](/img/0/6ff/wZwpmL3cTN1gDOyYjN0YzM1UTM1QDN5MjM5ADMwAjMwUzL2YzL3QzLt92YucmbvRWdo5Cd0FmLzE2LvoDc0RHa.jpg)
![整數加法群](/img/6/6c7/wZwpmLyQTMyMTOyADO0YzM1UTM1QDN5MjM5ADMwAjMwUzLwgzL0AzLt92YucmbvRWdo5Cd0FmLzE2LvoDc0RHa.jpg)
![整數加法群](/img/6/e15/wZwpmLyczM1MTM3gTN0YzM1UTM1QDN5MjM5ADMwAjMwUzL4UzLxYzLt92YucmbvRWdo5Cd0FmLxE2LvoDc0RHa.jpg)
事實上,對任意整數b,定義,則是的子群。
![整數加法群](/img/a/215/wZwpmLxIDM1UjN1IjN0YzM1UTM1QDN5MjM5ADMwAjMwUzLyYzLzAzLt92YucmbvRWdo5Cd0FmL0E2LvoDc0RHa.jpg)
![整數加法群](/img/8/d5d/wZwpmLyYzM2AjM4QTN0YzM1UTM1QDN5MjM5ADMwAjMwUzL0UzLyYzLt92YucmbvRWdo5Cd0FmLyE2LvoDc0RHa.jpg)
整數加法群是的子群 。
![整數加法群](/img/2/e11/wZwpmL2czNwATM4ADMwADN0UTMyITNykTO0EDMwAjMwUzLwAzLyMzLt92YucmbvRWdo5Cd0FmLyE2LvoDc0RHa.jpg)
![整數加法群](/img/3/61b/wZwpmLwczM2AjN1IDO0YzM1UTM1QDN5MjM5ADMwAjMwUzLygzLzEzLt92YucmbvRWdo5Cd0FmLxE2LvoDc0RHa.jpg)
![整數加法群](/img/9/006/wZwpmLygTO4ETN2AzN0YzM1UTM1QDN5MjM5ADMwAjMwUzLwczLwAzLt92YucmbvRWdo5Cd0FmL0E2LvoDc0RHa.jpg)
② 循環群 設g是群G中一個取定的元素,若群G的任意一個元素可以寫成的形式,則稱G循環群,稱g為群G的一個生成元,可寫成。
循環群(cyclic group)是一種重要的群,即由一個元素生成的群。循環群分為兩類:一類是有限循環群,n個元的有限循環群與模n的剩餘類加群同構;另一類是無限循環群,它與整數加法群同構,循環群是特殊的阿貝爾群,循環群的子群和商群仍是循環群。
![整數加法群](/img/a/215/wZwpmLxIDM1UjN1IjN0YzM1UTM1QDN5MjM5ADMwAjMwUzLyYzLzAzLt92YucmbvRWdo5Cd0FmL0E2LvoDc0RHa.jpg)
![整數加法群](/img/a/215/wZwpmLxIDM1UjN1IjN0YzM1UTM1QDN5MjM5ADMwAjMwUzLyYzLzAzLt92YucmbvRWdo5Cd0FmL0E2LvoDc0RHa.jpg)
整數加法群中,任意元素a都可以表示成1或-1的冪,因此是循環群。
![整數加法群](/img/4/95b/wZwpmLyEDN2IzN5AjN0YzM1UTM1QDN5MjM5ADMwAjMwUzLwYzL2YzLt92YucmbvRWdo5Cd0FmLyE2LvoDc0RHa.jpg)
![整數加法群](/img/c/6bc/wZwpmLwEzN1YDO4gzN0YzM1UTM1QDN5MjM5ADMwAjMwUzL4czL0IzLt92YucmbvRWdo5Cd0FmLxE2LvoDc0RHa.jpg)
![整數加法群](/img/0/b70/wZwpmLyUDNwEDNyADO0YzM1UTM1QDN5MjM5ADMwAjMwUzLwgzL3UzLt92YucmbvRWdo5Cd0FmL0E2LvoDc0RHa.jpg)
![整數加法群](/img/6/4b0/wZwpmL2AjN4UDM1IjN0YzM1UTM1QDN5MjM5ADMwAjMwUzLyYzLygzLt92YucmbvRWdo5Cd0FmLwE2LvoDc0RHa.jpg)
![整數加法群](/img/5/4e4/wZwpmL1QTN5czN5UjN0YzM1UTM1QDN5MjM5ADMwAjMwUzL1YzL1gzLt92YucmbvRWdo5Cd0FmLxE2LvoDc0RHa.jpg)
![整數加法群](/img/c/f46/wZwpmLzQzN4QzNwIjN0YzM1UTM1QDN5MjM5ADMwAjMwUzLyYzLxczLt92YucmbvRWdo5Cd0FmLzE2LvoDc0RHa.jpg)
![整數加法群](/img/a/564/wZwpmLxQzNzEDOygjN0YzM1UTM1QDN5MjM5ADMwAjMwUzL4YzL3UzLt92YucmbvRWdo5Cd0FmL0E2LvoDc0RHa.jpg)
在整數加法群上做一些小修改可以做出另一個有意思的循環群,其中,同餘加法定義為。在這裡,也就是說(n個1相加模n餘0)。所以,是n階循環群。
![整數加法群](/img/1/2d3/wZwpmLzQDMxYDMxYjN0YzM1UTM1QDN5MjM5ADMwAjMwUzL2YzLwMzLt92YucmbvRWdo5Cd0FmLxE2LvoDc0RHa.jpg)
③ 交換群 具有交換性的群稱為 交換群。交換性:。
![整數加法群](/img/6/e15/wZwpmLyczM1MTM3gTN0YzM1UTM1QDN5MjM5ADMwAjMwUzL4UzLxYzLt92YucmbvRWdo5Cd0FmLxE2LvoDc0RHa.jpg)
![整數加法群](/img/8/4b0/wZwpmL4EDM1EzM4MTN0YzM1UTM1QDN5MjM5ADMwAjMwUzLzUzL4MzLt92YucmbvRWdo5Cd0FmLxE2LvoDc0RHa.jpg)
![整數加法群](/img/2/d94/wZwpmL2czM0QzMyUjNxIDN0UTMyITNykTO0EDMwAjMwUzL1YzLyYzLt92YucmbvRWdo5Cd0FmLxE2LvoDc0RHa.jpg)
整數加法群是交換群,因為整數加法滿足交換律。一般線性群由所有的可逆矩陣和矩陣乘法組成,它不是交換群,因為矩陣乘法不滿足交換律 。
![整數加法群](/img/6/e15/wZwpmLyczM1MTM3gTN0YzM1UTM1QDN5MjM5ADMwAjMwUzL4UzLxYzLt92YucmbvRWdo5Cd0FmLxE2LvoDc0RHa.jpg)
④在整數加法群中,0的周期是1,除0以外的其他元素的周期都是無限的。
群公理
在數學中,群是一種代數結構,由一個集合S與一個二元運算 ·組成,要成為群,還需要滿足一些條件,這些條件被稱為“ 群公理”,即 封閉性、 結合律、 單位元和 逆元。
![整數加法群](/img/6/08a/wZwpmL1QDO4YDOwMzN0YzM1UTM1QDN5MjM5ADMwAjMwUzLzczL3IzLt92YucmbvRWdo5Cd0FmLyE2LvoDc0RHa.jpg)
1.封閉性,即。
![整數加法群](/img/5/71c/wZwpmL1cTMzATMyMTN0YzM1UTM1QDN5MjM5ADMwAjMwUzLzUzLxgzLt92YucmbvRWdo5Cd0FmLxE2LvoDc0RHa.jpg)
2.結合律,即。
![整數加法群](/img/6/97d/wZwpmL0gjMxEDN1MDO0YzM1UTM1QDN5MjM5ADMwAjMwUzLzgzL3QzLt92YucmbvRWdo5Cd0FmLzE2LvoDc0RHa.jpg)
![整數加法群](/img/e/23a/wZwpmL3QDOyczM5QzN0YzM1UTM1QDN5MjM5ADMwAjMwUzL0czL2YzLt92YucmbvRWdo5Cd0FmLwE2LvoDc0RHa.jpg)
3.單位元,即有一個元素(在群G中常用或1表示單位元)。
![整數加法群](/img/c/281/wZwpmL2gDMxkDNxkTN0YzM1UTM1QDN5MjM5ADMwAjMwUzL5UzLwUzLt92YucmbvRWdo5Cd0FmLzE2LvoDc0RHa.jpg)
![整數加法群](/img/d/060/wZwpmLyMjMzIzNwIjN0YzM1UTM1QDN5MjM5ADMwAjMwUzLyYzLzEzLt92YucmbvRWdo5Cd0FmL0E2LvoDc0RHa.jpg)
4.逆元,即,記。
![整數加法群](/img/9/5da/wZwpmL0AzM2QDN0cjN0YzM1UTM1QDN5MjM5ADMwAjMwUzL3YzLwIzLt92YucmbvRWdo5Cd0FmLwE2LvoDc0RHa.jpg)
可以定義元素a的冪為:。
值得注意的是,二元運算 ·僅表示抽象的運算符號,在不同的群中解釋不同。在不引起歧義的情況下經常將符號 ·省略 。