Ekstensi bidang

Dalam matematika, khususnya dalam aljabar, ekstensi bidang adalah sepasang bidang  sedemikian rupa sehingga operasi  E  adalah operasi  F  dibatasi hingga  E . Pada kasus ini, F adalah  'bidang ekstensi'  dari  E  dan  E  adalah subbidang dari  F . Misalnya, di bawah pengertian umum penambahan dan perkalian, bilangan kompleks adalah bidang ekstensi dari bilangan riil; bilangan real adalah subbidang dari bilangan kompleks.

Perluasan bidang sangat penting dalam teori bilangan aljabar, dan dalam studi akar polinomial hingga teori Galois, dan banyak digunakan dalam geometri aljabar.

Peringatan 
Notasi  L  /  K  murni formal dan tidak menyiratkan pembentukan cincin hasil bagi atau grup hasil bagi atau jenis pembagian lainnya. Sebaliknya garis miring mengungkapkan kata "berakhir". Dalam beberapa literatur digunakan notasi  L :  K .

Sering kali diinginkan untuk membicarakan tentang perluasan bidang dalam situasi di mana bidang kecil sebenarnya tidak terkandung dalam bidang yang lebih besar, tetapi secara alami tertanam. Untuk tujuan ini, seseorang secara abstrak mendefinisikan ekstensi bidang sebagai injeksi gelanggang homomorfisma antara dua bidang.
Setiap homomorfisme cincin bukan-nol antara bidang bersifat injektif karena bidang tidak memiliki cita-cita nontrivial yang tepat, sehingga ekstensi bidang justru merupakan morfisme dalam kategori bidang

Untuk selanjutnya, kami akan menekan homomorfisme injeksi dan menganggap bahwa kami berurusan dengan subbidang yang sebenarnya.

 Contoh 
Bidang bilangan kompleks  adalah bidang ekstensi dari bidang bilangan riil  dan  pada gilirannya adalah bidang perpanjangan dari bidang bilangan rasional  Jelaslah,  juga merupakan ekstensi lapangan. Kita punya  karena  adalah dasar, jadi perpanjangannya  terbatas. Ini adalah ekstensi sederhana karena   (the kardinalitas kontinum), jadi perluasan ini tidak terbatas.

Bidang

adalah bidang ekstensi dari  juga jelas merupakan ekstensi sederhana. Derajatnya 2 karena  bisa menjadi dasar.

Bidang

adalah bidang ekstensi dari keduanya  dan  derajat 2 dan 4 masing-masing. Ini juga merupakan ekstensi sederhana, seperti yang dapat ditunjukkan

Ekstensi terbatas dari  juga disebut bidang bilangan aljabar dan penting dalam teori bilangan. Bidang ekstensi lain dari rasional, yang juga penting dalam teori bilangan, meskipun bukan perluasan hingga, adalah bidang bilangan p-adic  untuk bilangan prima  p ''.

Generalisasi 
Ekstensi bidang dapat digeneralisasikan menjadi cincin ekstensi yang terdiri dari cincin dan salah satu subgelanggang nya. Analog non-komutatif yang lebih dekat adalah aljabar sederhana pusat s (CSA) - ekstensi cincin di atas bidang, yang merupakan aljabar sederhana (tidak ada cita-cita 2-sisi non-sepele, seperti untuk lapangan) dan di mana pusat cincin persis sama dengan lapangan. Misalnya, satu-satunya ekstensi bidang hingga dari bilangan real adalah bilangan kompleks, sedangkan quaternions adalah aljabar sederhana pusat di atas real, dan semua CSA di atas real setara Brauer ke real atau quaternions. CSA dapat digeneralisasikan lebih lanjut menjadi Azumaya aljabar, di mana bidang dasar diganti dengan gelanggang lokal komutatif.

Perpanjangan skalar 

Dengan adanya ekstensi bidang, seseorang dapat "memperluas skalar" pada objek aljabar terkait. Misalnya, diberi ruang vektor nyata, seseorang dapat menghasilkan ruang vektor kompleks melalui kompleksifikasi. Selain ruang vektor, seseorang dapat melakukan ekstensi skalar untuk aljabar asosiatif yang ditentukan di atas bidang, seperti polinomial atau aljabar grup dan representasi grup terkait. Perpanjangan skalar polinomial sering digunakan secara implisit, dengan hanya mempertimbangkan koefisien sebagai elemen dari bidang yang lebih besar, tetapi juga dapat dipertimbangkan secara lebih formal. Ekstensi skalar memiliki banyak aplikasi, seperti yang dibahas di ekstensi skalar: aplikasi.

Lihat pula 
 Teori medan
 Glosarium teori medan
 Menara ladang
 Ekstensi utama
 Ekstensi beraturan

Catatan

Referensi

Pranala luar