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 S = \{ f_{\lambda} | \lambda \in \Lambda\} adalah himpunan semua polinomial monik tak tereduksi di *K* [ *x* ]. Untuk setiap f_{\lambda} \in S, ditetapkan variabel baru u_{\lambda,1},\ldots,u_{\lambda,d} Di mana d = {\rm degree}(f_{\lambda}). Suatu ring *R* menjadi ring polinomial di atas *K* yang dihasilkan oleh u_{\lambda,i} untuk semua \lambda \in \Lambda dan semuanya i \leq {\rm degree}(f_{\lambda}). Dituliskan sebagai

: f_{\lambda} - \prod_{i=1}^d (x-u_{\lambda,i}) = \sum_{j=0}^{d-1} r_{\lambda,j} \cdot x^j \in R[x]

dengan r_{\lambda,j} \in R . *I* adalah ideal di *R* yang dihasilkan oleh r_{\lambda,j} . 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 f_{\lambda} dengan koefisien dalam *K* split sebagai produk dari x-(u_{\lambda,i} + M), 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 <sup>alg</sup>* dari *K* mengandung suatu ekstensi terpisah unik *K <sup>sep</sup>* dari *K* yang memuat semua ekstensi (aljabar) terpisah dari *K* dalam *K <sup>alg</sup>* . 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 <sup>sep</sup>*, 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*, K(X)(\sqrt[p]{X}) \supset K(X) adalah perluasan bidang aljabar yang tidak dapat dipisahkan.

Secara umum, grup Galois absolut *K* adalah grup Galois *K <sup>sep</sup>* atas *K*.

## Lihat juga

* Ekstensi aljabar

## Referensi