Grup abelian bebas

Dalam matematika, **grup abelian bebas** atau **modul Z bebas** adalah grup abelian dengan basis, atau, ekuivalen, modul bebas di atas bilangan bulat.
Menjadi grup abelian berarti bahwa ini adalah himpunan dengan operasi penjumlahan yaitu asosiatif, komutatif, dan dapat dibalik. Basis adalah himpunan bagian sehingga setiap elemen grup dapat diekspresikan secara unik sebagai kombinasi linear elemen basis dengan koefisien bilangan bulat. Misalnya, bilangan bulat dengan penjumlahan membentuk grup abelian gratis dengan basis {1}. Grup abelian bebas memiliki properti yang membuatnya mirip dengan ruang vektor. Mereka memiliki aplikasi di topologi aljabar, di mana mereka digunakan untuk mendefinisikan grup kaidah, dan di geometri aljabar, di mana mereka digunakan untuk mendefinisikan pembagi. Kisi bilangan bulat juga merupakan contoh dari kelompok abelian bebas, dan teori kisi mempelajari subkelompok ruang vektor nyata abelian bebas.

Unsur-unsur dari kelompok abelian bebas dengan basis * B * dapat dijelaskan dengan beberapa cara yang setara. Hal ini termasuk **jumlah formal** di atas * B *, yang merupakan ekspresi dari formulir \sum a_i b_i  di mana masing-masing koefisien *a<sub>i</sub>* adalah bilangan bulat bukan nol, masing-masing faktor  *b<sub>i</sub>* adalah elemen dasar yang berbeda, dan jumlahnya memiliki banyak suku yang tak terhingga. Atau, unsur-unsur dari kelompok abelian bebas dapat dianggap sebagai bertanda multi himpunan yang mengandung banyak unsur * B *, dengan banyaknya elemen dalam multiset sama dengan koefisiennya dalam jumlah formal. 
Cara lain untuk merepresentasikan elemen dari grup abelian bebas adalah sebagai fungsi dari * B * ke bilangan bulat dengan banyak nilai bukan nol; untuk representasi fungsional ini, operasi grup adalah penambahan fungsi searah.

Setiap set * B * memiliki grup abelian bebad dengan * B * sebagai dasarnya. Grup ini unik dalam arti bahwa setiap dua grup abelian bebas dengan basis yang sama adalah isomorfik. Alih-alih membangunnya dengan mendeskripsikan elemen individualnya, grup bebas dengan basis * B * dapat dibuat sebagai jumlah langsung salinan grup aditif dari bilangan bulat, dengan satu salinan per anggota * B *. Sebagai alternatif, grup abelian gratis dengan basis * B * dapat dijelaskan dengan presentasi dengan elemen * B * sebagai generatornya dan dengan komutator pasangan anggota sebagai relatornya. * Pangkat * dari grup abelian bebas adalah kardinalitas suatu basis; setiap dua basis untuk grup yang sama memberikan peringkat yang sama, dan setiap dua grup abelian gratis dengan peringkat yang sama adalah isomorfik. Setiap subkelompok dari grup abelian gratis adalah abelian gratis itu sendiri; fakta ini memungkinkan grup abelian umum dipahami sebagai hasil bagi dari grup abelian bebas dengan "relasi", atau sebagai kokernel dari homomorphism antara kelompok abelian bebas. Satu-satunya grup abelian gratis yang merupakan grup bebas adalah grup trivial dan grup siklik tak hingga.

## Contoh dan konstruksi

### Bilangan bulat dan kisi

Integer, di bawah operasi penjumlahan, membentuk grup abelian bebas dengan basis {1}. Setiap bilangan bulat * n * adalah kombinasi linear elemen basis dengan koefisien bilangan bulat: yaitu, * n * = * n * × 1, dengan koefisien * n *.

Kisi bilangan bulat dua dimensi, terdiri dari titik-titik pada bidang dengan bilangan bulat koordinat kartesius, membentuk grup abelian gratis di bawah penambahan vektor dengan basis {(0,1), (1,0)}. Maka vektor basis ini dilambangkan \ e_1 = (1,0) dan \ e_2 = (0,1), elemen (4,3) dapat ditulis

:\ (4,3) = 4 e_1 + 3 e_2  di mana 'perkalian' didefinisikan sehingga \ 4 e_1 := e_1 + e_1 + e_1 + e_1. 

Dengan dasar ini, tidak ada cara lain untuk menulis (4,3). Namun dengan basis yang berbeda seperti {(1,0), (1,1)}, di mana \ f_1 = (1,0) dan \ f_2 = (1,1), maka hal itu bisa ditulis sebagai

:\ (4,3) = f_1 + 3 f_2.

Secara lebih umum, setiap kisi membentuk grup abelian gratis dihasilkan dengan baik. Kisi-kisi bilangan bulat berdimensi * d * memiliki basis alami yang terdiri dari bilangan bulat positif vektor satuan, tetapi memiliki banyak basis lain juga: jika * M * adalah matriks integer * d * × * d * dengan determinan ± 1, maka baris * M * membentuk basis, dan sebaliknya setiap basis dari integer kisi memiliki bentuk ini. Untuk lebih lanjut tentang kasus dua dimensi, lihat pasangan periode fundamental.

### Jumlah langsung, produk langsung, dan grup trivial
produk langsung dari dua grup abelian bebas itu sendiri adalah abelian gratis, dengan basis persatuan disjoint dari basis kedua grup. Secara umum, produk langsung dari beberapa grup abelian gratis yang jumlahnya terbatas adalah abelian gratis. Kisi bilangan bulat berdimensi * d *, misalnya, isomorfik terhadap produk langsung dari salinan * d * dari grup bilangan bulat **Z**.

Grup sepele {0} juga dianggap abelian gratis, dengan basis himpunan kosong. Ini dapat diartikan sebagai produk langsung dari nol salinan **Z**.

Untuk rumpun tak terbatas dari grup abelian gratis, produk langsung (rumpun tupel elemen dari masing-masing grup, dengan penambahan pointwise) belum tentu abelian bebas.
Misalnya grup Baer–Specker \mathbb{Z}^\mathbb{N}, sebuah kelompok tak terhitung dibentuk sebagai produk langsung dari terhitung banyak salinan \mathbb{Z}, ditunjukkan pada tahun 1937 oleh Reinhold Baer untuk tidak menjadi abelian bebas; Ernst Specker membuktikan pada tahun 1950 bahwa setiap subkelompok yang dapat dihitung dari \mathbb{Z}^\mathbb{N} adalah abelian bebas.
jumlah langsung dari banyak grup hingga sama dengan produk langsung, tetapi berbeda dari produk langsung pada jumlah penjumlahan tak terbatas; unsur-unsurnya terdiri dari tupel unsur-unsur dari setiap kelompok dengan semua tetapi banyak dari mereka terbatas sama dengan unsur identitas. Seperti dalam kasus jumlah penjumlahan yang terbatas, jumlah langsung dari banyak kelompok abelian bebas yang tak terhingga tetap menjadi abelian bebas, dengan dasar yang dibentuk oleh (gambar dari) persatuan terputus dari dasar-dasar sumand.

produk tensor dari dua grup abelian bebas selalu merupakan abelian gratis, dengan basis produk Kartesius dari basis untuk dua grup dalam produk.

Setiap grup abelian gratis dapat digambarkan sebagai jumlah langsung dari salinan \mathbb{Z}, dengan satu salinan untuk setiap anggota dasarnya. Konstruksi ini memungkinkan himpunan * B * menjadi dasar dari grup abelian bebas.

### Fungsi bilangan bulat dan jumlah formal
Diberikan himpunan * B *, seseorang dapat mendefinisikan grup \mathbb{Z}^{(B)} yang elemennya adalah fungsi dari * B * ke bilangan bulat, di mana tanda kurung di superskrip menunjukkan bahwa hanya fungsi dengan banyak nilai bukan nol yang disertakan.
Jika *f*(*x*) dan *g*(*x*) adalah dua fungsi seperti itu, maka * f * + * g * adalah fungsi yang nilainya merupakan penjumlahan dari nilai dalam * f * dan * g *: yaitu, (*f*&nbsp;+&nbsp;*g*)(*x*)&nbsp;=&nbsp;*f*(*x*)&nbsp;+&nbsp;*g*(*x*) . Operasi penambahan searah ini menghasilkan \mathbb{Z}^{(B)} struktur grup abelian.

Setiap elemen * x * dari himpunan * B * yang diberikan sesuai dengan anggota \mathbb{Z}^{(B)}, fungsi * e<sub> x </sub> * yang untuk *e<sub>x</sub>*(*x*)&nbsp;=&nbsp;1 dan untuk *e<sub>x</sub>*(*y*)&nbsp;=&nbsp;0 pada *y*&nbsp;≠&nbsp;*x*.
Every function *f* in \mathbb{Z}^{(B)} adalah kombinasi linear yang unik dari sejumlah elemen basis yang terbatas:
:f=\sum_{\{x\mid f(x)\ne 0\}} f(x) e_x
Jadi, elemen * e<sub> x </sub> * ini membentuk dasar untuk \mathbb{Z}^{(B)}, and \mathbb{Z}^{(B)} adalah grup abelian gratis.
Dengan cara ini, setiap himpunan * B * dapat dijadikan basis grup abelian bebas.

## Istilah
Setiap kelompok abelian dapat dianggap sebagai modul di atas bilangan bulat dengan mempertimbangkan perkalian skalar dari anggota kelompok dengan bilangan bulat yang didefinisikan sebagai berikut:
:\begin{align}
0\,x&=0\\
1\,x&=x\\
n\,x&= x+ (n-1)\,x \qquad \text{if} \quad n>1\\
n\,x&= -((-n)\,x) \qquad \text{if} \quad n
Sebuah modul bebas adalah modul yang dapat direpresentasikan sebagai jumlah langsung di atas cincin dasarnya, jadi grup abelian bebas dan modul \mathbb Z adalah konsep yang setara: setiap grup abelian bebas (dengan operasi perkalian di atas) adalah bebas \mathbb Z, dan modul \mathbb Z berasal dari grup abelian bebas dengan cara ini.

Tidak seperti ruang vektor, tidak semua grup abelian memiliki basis, oleh karena itu nama khusus untuk grup yang memilikinya. Misalnya, torsi modul  \mathbb Z, dan dengan demikian setiap grup abelian terbatas, bukanlah grup abelian bebas, karena 0 dapat diuraikan dalam beberapa cara pada kumpulan elemen apa pun yang dapat menjadi kandidat untuk basis: 0 = 0\,b = n\,b untuk beberapa bilangan bulat positif * n *. Di sisi lain, banyak properti penting dari grup abelian gratis dapat digeneralisasikan ke modul gratis melalui domain ideal utama.

Perhatikan bahwa grup * abelian bebad * adalah * bukan * sebuah grup bebas kecuali dalam dua kasus: grup abelian bebad memiliki basis kosong (peringkat 0, memberikan grup sepele) atau hanya memiliki 1 elemen dalam basis (peringkat 1, memberikan grup siklik tak hingga).  Other kelompok abelian bukanlah kelompok bebas karena dalam kelompok bebas * ab * harus berbeda dengan * ba * jika * a * dan * b * adalah elemen dasar yang berbeda, sedangkan dalam kelompok abelian bebas mereka harus identik.  Grup bebas adalah objek bebas dalam kategori grup, yaitu grup "paling umum" atau "paling tidak dibatasi" dengan jumlah generator tertentu, sedangkan grup abelian gratis adalah objek gratis di kategori grup abelian. Dalam kategori umum grup, ini merupakan kendala tambahan untuk menuntut * ab = ba *, sedangkan ini adalah properti yang diperlukan dalam kategori grup abelian.

## Sifat

### Sifat universal
Grup abelian gratis  F  dengan basis  B  memiliki sifat universal berikut ini: untuk setiap fungsi  f  dari  B  ke grup abelian  A , terdapat homomorfisme grup unik dari  F  menjadi  A  yang memperluas  f .  Dengan properti umum properti universal, ini menunjukkan bahwa "" grup abelian basis  B  unik hingga sebuah isomorfisme. Oleh karena itu, properti universal dapat digunakan sebagai definisi dari grup abelian gratis berbasis  B . Keunikan grup yang ditentukan oleh properti ini menunjukkan bahwa semua definisi lainnya setara.

### Peringkat
Setiap dua basis dari grup abelian bebas yang sama memiliki kardinalitas yang sama, sehingga kardinalitas basis membentuk invarian grup yang dikenal sebagai pangkatnya.
Secara khusus, grup abelian gratis adalah dihasilkan secara hingga jika dan hanya jika ranknya adalah bilangan terbatas * n *, dalam hal ini grup tersebut isomorfik pada \mathbb{Z}^n.

Pengertian pangkat ini bisa digeneralisasikan, dari kelompok abelian bebas sampai kelompok abelian yang belum tentu bebas. Peringkat grup abelian * G * didefinisikan sebagai peringkat subgrup abelian bebas * F * dari * G * yang grup hasil bagi * G */* F * adalah grup torsi. Sama halnya, itu adalah kardinalitas dari subset maksimal dari * G * yang menghasilkan subgrup bebas. Sekali lagi, ini adalah grup yang tidak berubah; itu tidak tergantung pada pilihan subgrup.

### Subgrup
Setiap subgrup dari grup abelian gratis itu sendiri merupakan grup abelian gratis. Hasil dari Richard Dedekind adalah pendahulu dari analogi teorema Nielsen–Schreier bahwa setiap subkelompok dari grup bebas adalah bebas, dan merupakan generalisasi dari fakta bahwa setiap subgrup nontrivial dari grup siklik tak hingga adalah siklik tak hingga.
Buktinya membutuhkan aksioma pilihan.
Bukti menggunakan lemma Zorn (salah satu dari banyak asumsi yang setara dengan aksioma pilihan) dapat ditemukan pada 'Aljabar' Serge Lang. Solomon Lefschetz dan Irving Kaplansky telah mengklaim bahwa menggunakan prinsip tertata dengan baik sebagai pengganti lemma Zorn mengarah pada bukti yang lebih intuitif.

Dalam kasus grup abelian bebas yang dihasilkan secara terbatas, pembuktiannya lebih mudah, tidak memerlukan aksioma pilihan, dan mengarah ke hasil yang lebih tepat. Jika  G  adalah subgrup dari grup abelian gratis yang dibuat secara terbatas  F , maka  G  adalah gratis dan ada basisnya (e_1, \ldots, e_n) dari  F  dan bilangan bulat positif d_1|d_2|\ldots|d_k (yaitu, masing-masing membagi yang berikutnya) sehingga (d_1e_1,\ldots, d_ke_k) adalah dasar dari  G.  Selain itu, urutannya d_1,d_2,\ldots,d_k hanya bergantung pada  F  dan  G  dan bukan pada dasar tertentu (e_1, \ldots, e_n) yang memecahkan masalah.
Sebuah bukti konstruktif dari bagian keberadaan teorema disediakan oleh algoritma apa pun yang menghitung bentuk normal Smith dari matriks bilangan bulat. Keunikan mengikuti dari fakta bahwa, untuk r\le k, pembagi persekutuan terbesar dari anak di bawah umur pangkat  r  dari matriks tidak berubah selama penghitungan bentuk normal Smith dan merupakan hasilkali d_1\cdots d_r 0ada akhir penghitungan.

Karena setiap grup abelian yang dihasilkan secara hingga adalah hasil bagi dari grup abelian gratis yang dihasilkan secara terbatas oleh sebuah submodul, teorema fundamental grup abelian yang dihasilkan secara hingga adalah akibat wajar dari hasil di atas.

### Torsi dan pembagian
Semua grup abelian gratis adalah bebas torsi, artinya tidak ada elemen grup (non-identitas)  x  dan integer bukan nol  n  semacam itu bahwa nx=0.
Sebaliknya, semua grup abelian bebas torsi yang dihasilkan tanpa batas adalah abelian bebas. Hal yang sama berlaku untuk kerataan, karena grup abelian bebas torsi jika dan hanya jika datar.

Kelompok aditif dari bilangan rasional \mathbb{Q} memberikan contoh grup abelian bebas torsi (tetapi tidak dihasilkan secara hingga) yang bukan abelian gratis. Salah satu alasannya \mathbb{Q} tidak abelian gratis adalah bahwa itu habis dibagi, artinya, untuk setiap elemen x\in\mathbb{Q} dan setiap bilangan bulat bukan nol  n , dimungkinkan untuk mengekspresikan  x  sebagai beberapa skalar  ny  dari elemen lain y=x/n. Sebaliknya, kelompok abelian bebas bukan nol tidak pernah dapat dibagi, karena tidak mungkin salah satu elemen dasarnya menjadi kelipatan bilangan bulat nontrivial dari elemen lain.

## Kaitannya dengan grup abelian lainnya
Diberikan grup abelian arbitrer  A , selalu ada grup abelian gratis  F  dan perkiraan homomorfisme grup dari  F  hingga  A . Salah satu cara untuk membuat suatu perkiraan ke grup tertentu A adalah karena F=\mathbb{Z}^{(A)} jadilah grup abelian gratis di atas  A , direpresentasikan sebagai jumlah formal. Kemudian perkiraan dapat ditentukan
dengan memetakan jumlah formal di  F  ke jumlah anggota  A  yang sesuai. Artinya, peta perkiraan
:\sum_{\{x\mid a_x\ne 0\}} a_x e_x \mapsto \sum_{\{x\mid a_x\ne 0\}} a_x x,
di mana a_x adalah koefisien bilangan bulat dari elemen basis  e_x  dalam jumlah formal tertentu,
jumlah pertama di  F , dan jumlah kedua di  A . Perkiraan ini adalah homomorfisme grup unik yang memperluas fungsi e_x\mapsto x, dan konstruksinya dapat dilihat sebagai contoh dari sifat universal.

Jika  F  dan  A  seperti di atas, kernel  G  dari perkiraan dari  F  to  A  juga bebas abelian, karena ini adalah subgrup  F  (subgrup elemen yang dipetakan ke identitas).
Oleh karena itu, grup ini membentuk urutan persis pendek

:0\to G\to F\to A\to 0

di mana  F  dan  G  keduanya abelian gratis dan  A  isomorfik ke grup faktor  F/G . Ini adalah resolusi bebas dari A.  Furthermore, assuming the axiom of choice, grup abelian gratis tepatnya adalah objek proyektif dalam kategori grup abelian.

## Aplikasi
### Topologi aljabar

Dalam topologi aljabar, jumlah formal dimensi- k  kesederhanaan disebut kaidah- k , dan grup abelian gratis yang memiliki kumpulan  k  sebagai dasarnya disebut grup berkaidah. Kesederhanaan umumnya diambil dari beberapa ruang topologi, misalnya sebagai himpunan  k  dalam kompleks sederhana, atau himpunan singular  k  dalam sebuah manifold. Simpleks berdimensi  k  apa pun memiliki batas yang dapat direpresentasikan sebagai jumlah formal dari kesederhanaan dimensi  (k-1) , dan properti universal grup abelian gratis memungkinkan operator batas ini diperluas ke homomorfisme grup dari  k  ke  (k-1) . Sistem grup rantai yang dihubungkan oleh operator batas dengan cara ini membentuk kompleks rantai, dan studi kompleks rantai membentuk dasar dari teori homologi.

## Lihat pula
* Grup gelanggang, gelanggang ditentukan dengan menggabungkan grup perkalian dan gelanggang lain; ketika gelanggang penentu adalah bilangan bulat, grup aditif dari gelanggang grup adalah grup abelian bebas di atas grup penentu.

## Referensi