Klosur aljabar

Dalam matematika, khususnya dalam aljabar abstrak, klosur aljabar (ketertutupan aljabar) dari suatu lapangan K merupakan ekstensi aljabar dari lapangan K yang bersifat tertutup. Klosur aljabar adalah salah satu dari banyak sifat ketertutupan dalam matematika.

Dengan menggunakan lemma Zorn atau lemma ultrafilter yang lebih lemah, dapat didemonstrasikan bahwa setiap lapangan memiliki penutup aljabar, dan bahwa ketertutupan aljabar dari medan K bersifat unik hingga mencapai suatu isomorfisme yang menjadi titik tetap setiap dari anggota K. Karena keunikan esensial ini, istilah yang lebih sering digunakan adalah penutupan aljabar K, daripada suatu penutup aljabar K.

Ketertutupan aljabar dari suatu lapangan K dapat dianggap sebagai ekstensi aljabar terbesar dari K. Untuk melihat ini, perhatikan bahwa jika L adalah ekstensi aljabar apa pun dari K, maka ketertutupan aljabar dari L juga merupakan ketertutupan aljabar dari K, dan dengan demikian L juga terkandung dalam ketertutupan aljabar dari K. Ketertutupan aljabar dari K juga merupakan lapangan aljabar tertutup terkecil yang memuat K, karena jika M adalah lapangan aljabar tertutup apa pun yang memuat K, maka elemen-elemen M yang memberikan ekstensi aljabar atas K, juga membentuk ketertutupan aljabar dari K.

Ketertutupan aljabar suatu lapangan K mempunyai kardinalitas yang sama dengan K jika K tak terhingga, dan terhitung tak terhingga jika K berhingga.

 Contoh 

 Teorema dasar aljabar menyatakan bahwa ketertutupan aljabar dari lapangan bilangan riil adalah lapangan bilangan kompleks .
 Ketertutupan aljabar dari lapangan bilangan rasional adalah lapangan bilangan aljabar.
 Ada banyak lapangan aljabar tertutup yang dapat dihitung dalam bilangan kompleks, dan secara ketat memuat bidang bilangan aljabar; ini adalah ketertutupan aljabar dari ekstensi transendental bilangan rasional, misalnya ketertutupan aljabar Q (π).
 Untuk medan berhingga dengan orde pangkat prima q, ketertutupan aljabarnya adalah medan tak terhingga terhitung yang memuat salinan medan dengan orde q n untuk setiap bilangan bulat positif n (dan sebenarnya merupakan gabungan dari salinan-salinan ini)..

 Eksistensi penutupan aljabar dan pemisahan lapangan 
Suatu himpunan  adalah himpunan semua polinomial monik tak tereduksi di K [ x ]. Untuk setiap , ditetapkan variabel baru  Di mana . Suatu ring R menjadi ring polinomial di atas K yang dihasilkan oleh  untuk semua  dan semuanya . Dituliskan sebagai



dengan  . I adalah ideal di R yang dihasilkan oleh  . Karena I secara ketat lebih kecil dari R, lemma Zorn menyiratkan bahwa ada ideal maksimal M di R yang memuat I. Medan K 1 = R / M mempunyai sifat bahwa setiap polinomial  dengan koefisien dalam K split sebagai produk dari  dan karenanya memiliki semua akar di K 1 . Dengan cara yang sama, perluasan K 2 dari K 1 dapat dibangun, dan seterusnya. Gabungan dari semua perluasan ini adalah ketertutupan aljabar dari K, karena setiap polinomial dengan koefisien di medan baru ini mempunyai koefisiennya di beberapa K n dengan n yang cukup besar, dan kemudian akar-akarnya ada di K n +1, dan dengan demikian di dalam gabungan itu sendiri.

Hal ini dapat ditunjukkan dengan cara yang sama bahwa untuk setiap subset S dari K [ x ], terdapat medan pemisah dari S atas K .

 Ketertutupan yang dapat dipisahkan 
Ketertutupan aljabar K alg dari K mengandung suatu ekstensi terpisah unik K sep dari K yang memuat semua ekstensi (aljabar) terpisah dari K dalam K alg . Subekstensi ini disebut penutupan yang dapat dipisahkan dari K. Karena suatu perluasan yang dapat dipisahkan dari suatu perluasan yang dapat dipisahkan juga dapat dipisahkan, maka tidak ada perluasan yang dapat dipisahkan yang terbatas dari K sep, dengan derajat > 1. Dengan kata lain, K terkandung dalam medan ekstensi aljabar tertutup terpisah . Ini unik ( hingga mencapai isomorfisme).

Ketertutupan yang dapat dipisahkan adalah ketertutupan aljabar penuh jika dan hanya jika K adalah medan sempurna . Misalnya, jika K adalah medan karakteristik p dan jika X transendental terhadap K,  adalah perluasan bidang aljabar yang tidak dapat dipisahkan.

Secara umum, grup Galois absolut K adalah grup Galois K sep atas K.

 Lihat juga 

 Ekstensi aljabar

 Referensi 

Kategori:Matematika
Kategori:Aljabar
Kategori:Teori bidang