自由阿貝爾群

數學中，自由阿貝爾群是有基的阿貝爾群。阿貝爾群是配備了符合結合律、交換律且有逆的運算的集合。若對群中每個元素，可以唯一表示為有限多基元素的整數係數組合，那麼這些基元素就構成了基，也稱作整基，是集合的子集。例如，2維整格形成了一個自由阿貝爾群，其中逐座標加法是其運算，(1,0)、(0,1)兩個點是基。自由阿貝爾群的性質與向量空間相近，可以叫做自由formula_1-模，是整數上的自由模。格理論研究實向量空間的自由阿貝爾子群。代數拓撲中，自由阿貝爾群用於定義鏈；代數幾何中，則用於定義除子。自由阿貝爾群的元素有多種用基formula_2描述的方式，如formula_2上的形式和，是有限級數formula_4的表示，其中formula_5為非零整數，formula_6為互異的基元素。另外，自由阿貝爾群的元素還可以視作由formula_2的元素構成的有符有限多重集，多重集元素的乘法等同於形式和中的係數。另一種表示方法是formula_2到整數的函式，其中有有限個非零值；這種函式表示對應的群運算是函式的逐點加法。每個集合與自己的基formula_2都有自由阿貝爾群，在每兩個基相同的自由阿貝爾群同構的意義上是唯一的。自由阿貝爾群的構造不是透過描述每個元素，而是用基formula_2構造為多個整數加群的直和，每個加群對應一個基元；還可以描述為基元素及其生成元的展示，元素對的交換子為其關係元。自由阿貝爾群的秩就是基的勢；一個群的兩個基秩相同，秩相同的兩個自由阿貝爾群同構。自由阿貝爾群的每個子群也是自由阿貝爾群，這使自由阿貝爾群可以視作是自由阿貝爾群按關係的商，或自由阿貝爾群之間單射同態的餘核。屬於自由阿貝爾群的自由群是平凡群和迴圈群。定義與例子.自由阿貝爾群是有基的阿貝爾群。“阿貝爾群”意味著它可以描述為一個集合formula_11的元素及集合上的一個二元運算，習慣上將加法群記作formula_12，有以下性質：基formula_2是formula_11的子集，對formula_11中的每個元素，都有唯一的表示方法：選擇有限個基元素formula_6與同樣多的非零整數formula_30，formula_30為正則取formula_30份formula_6，formula_30為負則取formula_35份formula_36。特殊地，根據傳統的空和表示，單位元一定可以由零基元素這樣表示，且只有單位元具有這樣的單位性。整數集formula_37在通常的加法下與基formula_38形成了自由阿貝爾群。整數符合結合律和交換律，其中0是加法單位元；每個整數也都有加法逆元，即對應的負數。每個非負的formula_15是formula_15份formula_41的和，每個負整數formula_15是formula_25份formula_44的和，所以也滿足基的性質。群運算不同於普通數加法的例子見正有理數formula_45，它與普通乘法運算形成了自由阿貝爾群，質數是它們的基。乘法符合結合律和交換律，其中formula_41是單位元，formula_47是每個正有理數formula_15的運算逆元。由算術基本定理可知，質數構成這些數乘法的基。由於每個正整數都可以唯一分解為有限多個素因子及其逆。如果formula_49已經是互質的最簡分數，則formula_50就可以表示為素數formula_51、formula_52的有限組合。由單一變數formula_15構成的整係數多項式及多項式加法形成了一個自由阿貝爾群，formula_15的冪是其基。作為一個抽象群，這與正有理數乘法群相同。要構建能展示兩個群之間同構的對映，可以將有理數乘法群中的第formula_55個素數的指數重新詮釋為多項式中formula_56的係數，反之亦然。例如，有理數formula_57可以表示為前三個質數formula_58的積，指數分別為formula_59，可以對應係數相同的多項式formula_60。這樣的對映僅僅重新詮釋了同樣一組數字，所以實際上是定義了群之間的雙射。又由於正有理數乘法對應的群運算在素數的指數上表現得像加法，加法則作用於多項式係數，所以對映儲存了群的結構，它們是同態的。雙射同態也就是同構，其存在說明這兩個群有相同的性質。給定基對每個群元素的表示是唯一的，不過自由阿貝爾群一般不只有一個基，不同的基一般會給出元素的不同表示。例如，如果將基的所有元素都取逆，就得到了另一組基。更具體地說，一個2維整格formula_61形成了自由阿貝爾群，其運算為向量加法，一組基為formula_62。在這組基下，元素formula_63只能寫作，其中定義的“乘法”如。如果把基換成formula_64，那麼這個元素就只能寫成。推廣這個例子，每個格子都形成了自由有限生成阿貝爾群。formula_65維整格formula_66的自然基包含正整數單位向量，也有許多其他的基：若formula_67是formula_65階整數方陣，且行列式的值formula_69，則formula_67的行構成基，相反地，整格的每個基都可表示為這種形式。構造.每個集合都可以說一個自由阿貝爾群的基，在群同構的意義下是唯一的。給定基集的自由阿貝爾群可通過幾種等價手段構造得來：整數份基元素的直和；整值函式族；有符多重集；或是透過群的展示。積與和.群的直積包含積中各組元素形成的陣列，以及逐指數加法。兩個自由阿貝爾群的直積仍是自由阿貝爾群，基是原來兩個基的不交併。更一般地，有限個自由阿貝爾群的直積仍是自由阿貝爾群。例如，formula_65維整格與formula_65份整群formula_1的直積同構。平凡群formula_74也是自由阿貝爾群，基是空集。也可以解釋為空積，即0份formula_1的直積。對於自由阿貝爾群的無限族，直積就不是自由阿貝爾的必要條件了。例如，不可數的Baer–Specker群formula_76形成了可數多份formula_37的直積，1937年Reinhold Baer證明其不是自由阿貝爾群。不過Ernst Specker在1950年證明了，它所有的可數子集都是自由阿貝爾群。要使群的無限族保持自由阿貝爾性，則應改用直和而非直積。直和與直積應用於有限多群時是相同的，但對無限族來說是不同的。直和的元素也是來自每組的元素組成的陣列，但任意有限多元素都是它們的群的單位元。無限自由阿貝爾群的直和仍是自由阿貝爾群，有一個由除一個元素外都是同一元素的陣列組成的基，其餘元素是其群的基的一部分。每個自由阿貝爾群都可以描述為多份formula_37的直和，一份對應基的一個元素。這一構造可以使任何集合formula_2成為某個自由阿貝爾群的基。整函式與形式和.給定集合formula_2，可以定義群formula_81，其元素是從formula_2對映到實數的函式，上標的圓括號表示只包括有有限多非零值的函式。若formula_83和formula_84是符合要求的函式，則formula_85的值是formula_86與formula_87值之和；即。這樣的逐點加法運算賦予formula_81以阿貝爾群的結構。給定集合formula_2中的每個元素formula_15對應formula_81中的一個成員；有函式formula_92。則formula_81中的每個函式formula_86是有限多基元素的唯一線性組合：formula_98則這些元素formula_92形成了formula_81的一個基，formula_81是自由阿貝爾群。這樣，每個集合formula_2都可以構造為某個自由阿貝爾群的基。formula_81的元素也可以寫作形式和，是每項都寫成非零整數與formula_2中元素之積的有限級數。表示式的項如果相同，則無論項的排列如何，都認為是等價的。計算形式和可以先排列、組合有相同基元素的項，再刪去產生零係數的項。也可以解釋為formula_2中有限多元素的有符多重集。展示.群的展示是生成了群的元素組成的集合，加上“關係元”，生成元的積可以給出單位元。這樣定義的群元素是生成元序列及其逆的等價類，所處的等價關係允許增刪任何關係元或生成元-逆對作為連續子序列。基為formula_2的自由阿貝爾群的生成元可以是formula_2的元素，關係元則是formula_2的元素對的交換子，它們構成了自由阿貝爾群的一種展示。這裡formula_15、formula_16兩個元素的交換子是formula_111，令其為單位元，可以推出formula_112，則formula_15、formula_16可交換。更一般地，如果所有生成元對都可交換，則所有生成元積的對也可交換，所以由這種表示生成的群是阿貝爾群，關係元則形成了確保其是阿貝爾群的最小關係子集。生成元集合有限時，自由阿貝爾群的展示也有限，因為展示中只包含有限多個不同交換子。這一事實與自由阿貝爾群的每個子群仍是自由阿貝爾群一同，可以說明任何有限生成阿貝爾群的展示也有限。例如，若formula_115由集合formula_2有限生成，則它是formula_2上的自由阿貝爾群由一個由formula_115的關係元生成的子群構成的商。但子群本身也是自由阿貝爾群，其基形成了formula_115的關係元的有限集。作為模.整數上的模的定義與實數或有理數上的向量空間類似，其包含可以互相加和、且可以與整數進行標量乘法的元素系統。阿貝爾群可以視作是整數上的模，其中標量乘法定義如下：但只有自由阿貝爾群像向量空間那樣有基。自由模可以表示為基環上的直和，因此自由阿貝爾群和自由formula_121-模是等價的概念：每個自由阿貝爾群都是自由formula_121-模，每個自由formula_121-模都來自某個自由阿貝爾群。另一種結合自由阿貝爾群的方法是，formula_1-模的張量積|。兩個自由阿貝爾群的張量積仍是自由阿貝爾群，基是原先兩群之基的笛卡兒積。自由阿貝爾群的許多重要概念都可以泛化到主理想域上的自由模。例如，主理想域上自由模的子模也自由，#重定向 認為，這一事實使得同調機制可以“自動泛化”到這些模。另外，“每個投射formula_1-模都自由”這一定理的泛化，也是同樣的方法。性質.泛性質.基為formula_2的自由阿貝爾群formula_127有以下泛性質：對每個從基到阿貝爾群formula_128的函式formula_86，都有唯一的從formula_127到formula_128的群同態，其擴充套件了formula_86。這裡的群同態是群之間的對映，並與群積定律一致：對映與積操作的先後不會改變結果。根據泛性質的一般屬性，這表明基為formula_2的自由阿貝爾群在群同態意義上是唯一的。因此，泛性質可用作基為formula_2的自由阿貝爾群的定義。據這一性質定義的群的唯一性表明，所有其他定義都等價。因這條性質，自由阿貝爾群才是“自由”的：它們是阿貝爾群範疇的自由物件，這個範疇的物件是阿貝爾群，同態是其態射。基。其他阿貝爾群都不是自由群，因為formula_51、formula_52若是基中的不同元素，則自由群中formula_137，而自由阿貝爾群的積符合交換律。在一般群範疇中，formula_138是一種約束，而在阿貝爾群範疇中則是必要性質。秩.同一自由阿貝爾群的兩個基有相同的勢，所以基的勢形成了群的不變數，稱作秩。兩個自由阿貝爾群同構，當且僅當它們的秩相同。自由阿貝爾群是有限生成的，當且僅當其秩為有限數formula_139，這時群與formula_140同構。這樣表示的秩可以泛化到阿貝爾群。阿貝爾群的秩formula_115定義為自身的自由阿貝爾子群的秩formula_127，且商群formula_143是撓群。等價地，它也是formula_115的極大子集的勢。秩是群不變數：與子群的選擇無關。子群.理查德·戴德金證明了自由阿貝爾群的每個子群也是自由阿貝爾群，這是類似的Nielsen–Schreier定理的前身：自由群的子集仍是自由群，是迴圈群基本定理的證明可見塞爾日·蘭的《代數》。所羅門·萊夫謝茨和Irving Kaplansky認為，用良序原理代替佐恩引理可以得到更易懂的證明。在有限生成自由阿貝爾群的情況下，證明不需用到選擇公理，結果更精確。若formula_115是有限生成自由阿貝爾群formula_127的子群，則formula_115是自由的；formula_127有基formula_149，有正整數formula_150使formula_151構成formula_115的基。另外，序列formula_153只取決於formula_127、formula_115，與基無關。定理存在部分的構造性證明可由任何計算整數矩陣的史密斯標準形的演算法給出。唯一性來自這樣的事實：formula_156，秩為formula_157的矩陣的子式的最大公因數在計算史密斯標準形時不變，且是計算結束時formula_158的積。扭化與可除.所有自由阿貝爾群都是無撓的，也就是說沒有非單位元素formula_15和非零整數formula_139使formula_161。相反地，所有有限生成無撓阿貝爾群都是自由阿貝爾群。有理數的加群formula_162是無撓阿貝爾群，但不是自由阿貝爾群。原因之一是它不可除：formula_163、formula_164，可以將formula_15表示為另一個元素formula_166的標量倍數formula_167。相反地，非平凡自由阿貝爾群不可除，因為自由阿貝爾群中，基元素不能表示為其他元素的標量倍數。對稱性.群的對稱性可以描述為自同構，是群到自身的同態的反函式。非阿貝爾群中，又可以分為 內自同構和外自同構，但阿貝爾群的所有非平凡自同構都是外同構。它們形成了給定群的自同構群，運算為複合。秩為有限數formula_139的自由阿貝爾群的自同構群是一般線性群formula_169，可以具體描述為formula_170可逆整數矩陣集合，運算為矩陣乘法。它們在自由阿貝爾群formula_171上作為對稱性的作用如同矩陣-向量乘法。兩個無限秩自由阿貝爾群的自同構群有相同的一階理論，當且僅當它們的秩從二階邏輯來看有相同的基數。這個結果取決於自由阿貝爾群的對合的結構，即作為自身逆的自同構。給定自由阿貝爾群的基，可以找到將任一組不相交的基元素對對映到彼此的對合，或者否定基元素的任何選定子集，而讓其他基元素固定不變的對合。相反地，對某個自由阿貝爾群的每個對合，都可以找到一個基，基上所有元素都被對合成對地交換、否定或保持不變。與其他群的關係.如果自由阿貝爾群是兩個群的商：formula_172，則formula_128是直和formula_174。給定任意阿貝爾群formula_128，則一定存在自由阿貝爾群formula_127和一個formula_127到formula_128的滿射群同態。一種構建到給定群formula_128的滿射是使formula_180為formula_128上的自由阿貝爾群，表示為形式和。接著要定義滿射，可以把formula_127中的形式和對映到對應的formula_128中成員的和。也就是說，滿射對映formula_184，其中formula_185是給定形式和中基元素formula_92的整係數，第一個和在formula_127中，第二個和在formula_128中。這個滿射是唯一可以擴充套件函式formula_189的群同態，因此其構造可以視作泛性質的一個例子。若formula_127、formula_128的定義如上所述，則formula_127到formula_128的滿射的核formula_115也是自由阿貝爾群，因為它是formula_127的子群。因此，這些群形成了短正合序列formula_196，其中formula_127、formula_115都是自由阿貝爾群，formula_128與商群formula_200同構。這是formula_128的一個自由分解。另外，若假設選擇公理成立的話，自由阿貝爾群精確對應阿貝爾群範疇中的投射物件。應用.代數拓撲.代數拓撲中，formula_202維單純形的形式和被稱為formula_202-鏈，自由阿貝爾群有一系列formula_202-單純形，其基形成鏈群。單純形一般取自某些拓撲空間，例如單純復形中的formula_202-單純形集合，或流形中的奇異formula_202-單純形集合。任何formula_202維單純形都有邊界，可以表示為formula_208維單純形的形式和，自由阿貝爾群的泛性質允許邊界運算元擴充套件為formula_202-鏈到formula_208-鏈的群同態。由邊界運算元這樣聯接的鏈群系統形成了鏈復形，對其的系統研究催生了同調論。代數幾何與複分析.複數上的每個有理函式都可以與一個有符複數formula_211多重集相聯絡，formula_211是函式的極點。多重集中點的重數formula_213是為函式零點時的階，或為軸時階的反。接著，函式本身可以從資料中還原為標量函子，即formula_214如果這些多重集被解釋為複數上自由阿貝爾群的成員，則兩個有理函式的積或商對應兩個群成員的和或差。因此，有理函式乘法群可以函子化為複數乘法群形成了群的子群，其中重數之和為0。這一構造可以泛化到代數幾何中，作為除子的一種表示。一般來說，除子的幾種定義都形成了代數簇的餘維1子簇的抽象，也就是某個多項式方程組的解集。若方程組自由度為1、且包含孤點時，解集是一個餘維為1的子簇，除子是簇中的點構成的一個有符多重集。緊黎曼曲面上的亞純函式有有限多的極點，它們的除子在面上的點上形成了一個自由阿貝爾群的子群，函式的乘除對應群元素的加減。自由阿貝爾群的元素作為除子，重數和必為0，且要符合由曲面決定的特定附加約束。群環.有整數群環formula_215，對任何群formula_115都是環，其加法群是formula_115上的自由阿貝爾群。若formula_115是有限阿貝爾群，則formula_215中可逆元的乘法群的結構與有限群直積的結構、與有限生成的自由阿貝爾群的結構相同。