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  di mana masing-masing koefisien ai adalah bilangan bulat bukan nol, masing-masing faktor  bi 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  dan , elemen (4,3) dapat ditulis

 di mana 'perkalian' didefinisikan sehingga 

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

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., Exercise 5, p. 75. 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 , sebuah kelompok tak terhitung dibentuk sebagai produk langsung dari terhitung banyak salinan , 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  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.. Lihat secara khusus bukti Lemma H.4, p. 36, which uses this fact.

Setiap grup abelian gratis dapat digambarkan sebagai jumlah langsung dari salinan , dengan satu salinan untuk setiap anggota dasarnya.. Konstruksi ini memungkinkan himpunan  B  menjadi dasar dari grup abelian bebas.. Lihat khususnya Teorema 1.1, hlm. 72–73, dan keterangan yang mengikutinya.

 Fungsi bilangan bulat dan jumlah formal 
Diberikan himpunan  B , seseorang dapat mendefinisikan grup  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 + g)(x) = f(x) + g(x) . Operasi penambahan searah ini menghasilkan  struktur grup abelian..

Setiap elemen  x  dari himpunan  B  yang diberikan sesuai dengan anggota , fungsi  e x   yang untuk ex(x) = 1 dan untuk ex(y) = 0 pada y ≠ x.
Every function f in  adalah kombinasi linear yang unik dari sejumlah elemen basis yang terbatas:

Jadi, elemen  e x   ini membentuk dasar untuk , and  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:.

Sebuah modul bebas adalah modul yang dapat direpresentasikan sebagai jumlah langsung di atas cincin dasarnya, jadi grup abelian bebas dan modul  adalah konsep yang setara: setiap grup abelian bebas (dengan operasi perkalian di atas) adalah bebas , dan modul  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 , 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:  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.Misalnya, submodul modul gratis di atas domain ideal utama adalah gratis, faktanya  menulis memungkinkan untuk "generalisasi otomatis" mesin homologi untuk modul ini. Selain itu, teorema bahwa setiap proyektif modul  adalah generalisasi bebas dengan cara yang sama . . .

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)., Latihan 4, hal. 75.  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., p. 70. 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  dengan basis  memiliki sifat universal berikut ini: untuk setiap fungsi  dari  ke grup abelian , terdapat homomorfisme grup unik dari  menjadi  yang memperluas .  Dengan properti umum properti universal, ini menunjukkan bahwa "" grup abelian basis  unik hingga sebuah isomorfisme. Oleh karena itu, properti universal dapat digunakan sebagai definisi dari grup abelian gratis berbasis . 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., Theorem 1.2, p. 73.
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 .

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., Contoh 7.1, memberikan model teori himpunan, dan grup abelian proyektif non-bebas  dalam model ini yang merupakan subgrup dari grup abelian bebas , di mana  adalah sekumpulan atom dan  adalah bilangan bulat terbatas. Dia menulis bahwa model ini menjadikan penggunaan pilihan penting dalam membuktikan bahwa setiap grup proyektif adalah bebas; dengan alasan yang sama, hal ini juga menunjukkan bahwa pilihan adalah penting untuk membuktikan bahwa subgrup dari kelompok bebas itu bebas. .
Bukti menggunakan lemma Zorn (salah satu dari banyak asumsi yang setara dengan aksioma pilihan) dapat ditemukan pada 'Aljabar' Serge Lang.Appendix 2 §2, page 880 of . 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  adalah subgrup dari grup abelian gratis yang dibuat secara terbatas , maka  adalah gratis dan ada basisnya  dari  dan bilangan bulat positif  (yaitu, masing-masing membagi yang berikutnya) sehingga  adalah dasar dari  Selain itu, urutannya  hanya bergantung pada  dan  dan bukan pada dasar tertentu  yang memecahkan masalah., Theorem 1.6, p. 74.
Sebuah bukti konstruktif dari bagian keberadaan teorema disediakan oleh algoritma apa pun yang menghitung bentuk normal Smith dari matriks bilangan bulat., pp. 71–72. Keunikan mengikuti dari fakta bahwa, untuk , pembagi persekutuan terbesar dari anak di bawah umur pangkat  dari matriks tidak berubah selama penghitungan bentuk normal Smith dan merupakan hasilkali  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)  dan integer bukan nol  semacam itu bahwa .
Sebaliknya, semua grup abelian bebas torsi yang dihasilkan tanpa batas adalah abelian bebas., Exercise 9, p. 75. Hal yang sama berlaku untuk kerataan, karena grup abelian bebas torsi jika dan hanya jika datar.

Kelompok aditif dari bilangan rasional  memberikan contoh grup abelian bebas torsi (tetapi tidak dihasilkan secara hingga) yang bukan abelian gratis., Exercise 10, p. 75. Salah satu alasannya  tidak abelian gratis adalah bahwa itu habis dibagi, artinya, untuk setiap elemen  dan setiap bilangan bulat bukan nol , dimungkinkan untuk mengekspresikan  sebagai beberapa skalar  dari elemen lain . 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., Exercise 4, p. 198.

 Kaitannya dengan grup abelian lainnya 
Diberikan grup abelian arbitrer , selalu ada grup abelian gratis  dan perkiraan homomorfisme grup dari  hingga . Salah satu cara untuk membuat suatu perkiraan ke grup tertentu  adalah karena  jadilah grup abelian gratis di atas , direpresentasikan sebagai jumlah formal. Kemudian perkiraan dapat ditentukan
dengan memetakan jumlah formal di  ke jumlah anggota  yang sesuai. Artinya, peta perkiraan

di mana  adalah koefisien bilangan bulat dari elemen basis  dalam jumlah formal tertentu,
jumlah pertama di , dan jumlah kedua di .., Theorem 1.4, p. 74. Perkiraan ini adalah homomorfisme grup unik yang memperluas fungsi , dan konstruksinya dapat dilihat sebagai contoh dari sifat universal.

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

di mana  dan  keduanya abelian gratis dan  isomorfik ke grup faktor . Ini adalah resolusi bebas dari ..  Furthermore, assuming the axiom of choice,Teorema bahwa kelompok abelian bebas bersifat projektif setara dengan aksioma pilihan; Lihat . grup abelian gratis tepatnya adalah objek proyektif dalam kategori grup abelian..

 Aplikasi 
 Topologi aljabar 

Dalam topologi aljabar, jumlah formal dimensi- kesederhanaan disebut kaidah-, dan grup abelian gratis yang memiliki kumpulan  sebagai dasarnya disebut grup berkaidah. Kesederhanaan umumnya diambil dari beberapa ruang topologi, misalnya sebagai himpunan  dalam kompleks sederhana, atau himpunan singular  dalam sebuah manifold. Simpleks berdimensi  apa pun memiliki batas yang dapat direpresentasikan sebagai jumlah formal dari kesederhanaan dimensi , dan properti universal grup abelian gratis memungkinkan operator batas ini diperluas ke homomorfisme grup dari  ke . 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 

Kategori:Teori grup Abelian
Kategori:Sifat grup
Kategori:Struktur aljabar bebas