Dalam matematika, **medan bilangan aljabar** (atau lebih sederhana **bilangan medan**) *F* adalah  derajat (dan karenanya  aljabar) ekstensi medan dari medan dari bilangan rasional**{\displaystyle \mathbb {Q} }**. Jadi *F* adalah medan yang berisi {\displaystyle \mathbb {Q} } dan memiliki dimensi jika dianggap sebagai ruang vektor atas  *'{\displaystyle \mathbb {Q} }* .

Studi tentang medan bilangan aljabar, dan, secara lebih umum, perluasan aljabar medan bilangan rasional, adalah topik utama teori bilangan aljabar.

Definisi
--------

### Prasyarat

Artikel utama: Medan dan Ruang vektor
Pengertian medan bilangan aljabar bergantung pada konsep sebuah medan. Medan terdiri dari himpunan elemen bersama-sama dengan dua operasi, yaitu penambahan, dan perkalian, dan beberapa asumsi distributivitas. Contoh medan yang menonjol adalah medan bilangan rasional, biasanya dilambangkan **{\displaystyle \mathbb {Q} }**, bersama dengan operasi penjumlahan dan perkaliannya yang biasa.

Gagasan lain yang diperlukan untuk mendefinisikan medan bilangan aljabar adalah ruang vektor. Sejauh yang dibutuhkan di sini, ruang vektor dapat dianggap terdiri dari urutan (atau rbilanganp)

{\displaystyle (x\_{1},x\_{2},\dots )}
yang entri adalah elemen dari medan tetap, seperti medan **{\displaystyle \mathbb {Q} }**. Dua urutan seperti itu dapat ditambahkan dengan menambahkan entri satu per satu. Selanjutnya, urutan apa pun dapat dikalikan dengan satu elemen  *c*  dari medan tetap. Kedua operasi ini dikenal sebagai penambahan vektor dan perkalian skalar memenuhi sejumlah sifat yang berfungsi untuk mendefinisikan ruang vektor secara abstrak. Ruang vektor diperbolehkan untuk menjadi "berdimensi tak hingga", artinya deretan yang menyusun ruang vektor memiliki panjang tak hingga. Namun, jika ruang vektor terdiri dari urutan  *hingga* 

{\displaystyle (x\_{1},x\_{2},\dots ,x\_{n})},
ruang vektor dikatakan berhingga  dimensi, *n*.

### Definisi

**Medan bilangan aljabar** (atau hanya **medan bilangan**) adalah terbatas dari derajat ekstensi medan dari medan bilangan rasional. Di sini **derajat** berarti dimensi medan sebagai ruang vektor atas **{\displaystyle \mathbb {Q} }**.

Contoh
------

* Medan bilangan terkecil dan paling dasar adalah medan **{\displaystyle \mathbb {Q} }** dari bilangan rasional. Banyak sifat medan bilangan umum dimodelkan himpunanelah sifat **{\displaystyle \mathbb {Q} }**.
* Bilangan rasional Gauss, dilambbilangann {\displaystyle \mathbb {Q} (i)} (dibaca sebagai "{\displaystyle \mathbb {Q} } berdampingan {\displaystyle i}"), membentuk contoh taktrivial pertama dari medan bilangan. Unsur-unsurnya adalah ekspresi bentuk

{\displaystyle a+bi}
di mana {\displaystyle a} dan {\displaystyle b} adalah bilangan rasional dan {\displaystyle i} adalah satuan imajiner. Ekspresi seperti itu dapat ditambahkan, dikurangi, dan dikalikan sesuai dengan aturan aritmetika biasa dan kemudian disederhanakan
{\displaystyle i^{2}=-1}.
Secara eksplisit,
(*a* + *bi*) + (*c* + *di*) = (*a* + *c*) + (*b* + *d*)*i*,
(*a* + *bi*) (*c* + *di*) = (*ac* − *bd*) + (*ad* + *bc*)*i*.
Bilangan rasional Gauss bukan nol adalah terbalikkan, yang dapat dilihat dari identitasnya
{\displaystyle (a+bi)\left({\frac {a}{a^{2}+b^{2}}}-{\frac {b}{a^{2}+b^{2}}}i\right)={\frac {(a+bi)(a-bi)}{a^{2}+b^{2}}}=1.}
Oleh karena itu, rasio Gauss membentuk medan bilangan yang berdimensi dua sebagai vektor ruang **{\displaystyle \mathbb {Q} }**.
* Secara lebih umum, untuk bilangan bulat bebas kuadrat  *d* , medan kuadrat {\displaystyle \mathbb {Q} ({\sqrt {d}})} adalah medan bilangan yang diperoleh dengan menghubungkan akar kuadrat  *d*  dengan medan bilangan rasional. Operasi aritmetika dalam medan ini didefinisikan dalam analogi dengan kasus bilangan rasional Gauss, *d* = − 1.

* medan siklotomik

{\displaystyle \mathbb {Q} (\zeta \_{n})}, dimana {\displaystyle \zeta \_{n}=\exp \left({\frac {2\pi i}{n}}\right)}
adalah medan bilangan yang diperoleh dari **{\displaystyle \mathbb {Q} }** dengan menyatukan akar kesatuan primitif ke *n* *ζ**n*. medan ini berisi semua akar kesatuan yang kompleks dan dimensinya **{\displaystyle \mathbb {Q} }** adalah sama dengan *φ*(*n*), di mana  *φ*  adalah Fungsi phi Euler.
* Bilangan riil, {\displaystyle \mathbb {R} }, dan bilangan kompleks, {\displaystyle \mathbb {C} }, adalah medan yang memiliki dimensi tak hingga sebagai ****Gagal mengurai (SVG (MathML dapat diaktifkan melalui plugin peramban): Respons tak sah ("Math extension cannot connect to Restbase.") dari peladen "http://localhost:6011/id.wikipedia.org/v1/":): {\displaystyle \Q}**** pada ruang vektor, oleh karena itu, medan tersebut adalah medan bilangan  *bukan*. Ini mengikuti dari  terhitung dari {\displaystyle \mathbb {R} } dan {\displaystyle \mathbb {C} } sebagai himpunan, sedangkan setiap medan bilangan harus dihitung.
* Himpunan {\displaystyle \mathbb {Q} ^{2}} dari pasangan terurut bilangan rasional, dengan penambahan dan perkalian entrywise adalah aljabar komutatif dua dimensi **{\displaystyle \mathbb {Q} }**. Namun, ini bukan medan, karena memiliki pembagi nol:

(1, 0) · (0, 1) = (1 · 0, 0 · 1) = (0, 0).

Fungsi-**Gagal mengurai (SVG (MathML dapat diaktifkan melalui plugin peramban): Respons tak sah ("Math extension cannot connect to Restbase.") dari peladen "http://localhost:6011/id.wikipedia.org/v1/":): {\displaystyle \zeta}**
, fungsi-{\displaystyle L} dan rumus bilangan kelas
---------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------

Kegagalan faktorisasi unik diukur dengan bilangan kelas, biasanya dilambangkan dengan {\displaystyle h}, kardinalitas dari apa yang disebut grup kelas ideal. Grup ini selalu terhingga. Gelanggang bilangan bulat {\displaystyle O\_{F}} memiliki faktorisasi unik jika dan hanya jika itu adalah gelanggang utama atau, setara, jika  *F*  memiliki  bilangan kelas 1. Mengingat medan bilangan, nomor kelas sering kali sulit dihitung. Masalah bilangan kelas, kembali ke Gauss, berkaitan dengan keberadaan medan bilangan kuadrat imajiner (yaitu,{\displaystyle \mathbb {Q} ({\sqrt {d}}),d\geq 1} ) dengan nomor kelas yang ditentukan. Rumus nomor kelas menghubungkan  *h*  dengan invarian dasar lainnya dari  *F*. Ini melibatkan Fungsi zeta Dedekind {\displaystyle \zeta \_{F}(s)}, berfungsi dalam variabel kompleks *s*, didefinisikan oleh

{\displaystyle \zeta \_{F}(s):=\prod \_{\mathfrak {p}}{\frac {1}{1-N({\mathfrak {p}})^{-s}}}}.
(Produk melampaui semua cita-cita utama *O**F*, {\displaystyle N({\mathfrak {p}})} menunjukkan norma ideal prima atau, setara, jumlah elemen (terbatas) dalam medan residu {\displaystyle O\_{F}/{\mathfrak {p}}}. Produk tak terbatas hanya menyatu untuk Re(*s*) > 1, secara umum kelanjutan analitik dan persamaan fungsional untuk fungsi zeta diperlukan untuk mendefinisikan fungsi untuk semua 's'). Fungsi Dedekind zeta menggeneralisasi fungsi zeta Riemann {\displaystyle \zeta \_{\mathbb {Q} }(s)=\zeta (s)}.

Rumus nomor kelas menyatakan itu ζ*F*(*s*) memiliki tiang sederhana pada {\displaystyle s=1} dan pada titik ini residu diberikan oleh

{\displaystyle {\frac {2^{r\_{1}}\cdot (2\pi )^{r\_{2}}\cdot h\cdot \operatorname {Reg} }{w\cdot {\sqrt {|D|}}}}}.

Lihat juga
----------

* Teorema satuan Dirichlet, Satuan-S
* Perluasan Kummer
* Teorema Minkowski, Bilangan geometri
* Teorema kepadatan Chebotarev
* Grup kelas Ray
* Grup penguraian
* Medan genus

Catatan
-------

Referensi
---------

* Cohn, Harvey (1988), *A Classical Invitation to Algebraic Numbers and Class Fields*, Universitext, New York: Springer-Verlag
* Conrad, Keith
* Janusz, Gerald J. (1996), *Algebraic Number Fields* (edisi ke-2nd), Providence, R.I.: American Mathematical Society, ISBN 978-0-8218-0429-2
* Helmut Hasse, *Number Theory*, Springer *Classics in Mathematics* Series (2002)
* Serge Lang, *Algebraic Number Theory*, second edition, Springer, 2000
* Richard A. Mollin, *Algebraic Number Theory*, CRC, 1999
* Ram Murty, *Problems in Algebraic Number Theory*, Second Edition, Springer, 2005
* Narkiewicz, Władysław (2004), *Elementary and analytic theory of algebraic numbers*, Springer Monographs in Mathematics (edisi ke-3), Berlin: Springer-Verlag, ISBN 978-3-540-21902-6, MR 2078267
* Neukirch, Jürgen (1999), *Algebraic number theory*, Grundlehren der Mathematischen Wissenschaften, **322**, Berlin, New York: Springer-Verlag, ISBN 978-3-540-65399-8, MR 1697859, Zbl 0956.11021
* Neukirch, Jürgen; Schmidt, Alexander; Wingberg, Kay (2000), *Cohomology of Number Fields*, Grundlehren der Mathematischen Wissenschaften, **323**, Berlin, New York: Springer-Verlag, ISBN 978-3-540-66671-4, MR 1737196, Zbl 1136.11001
* André Weil, *Basic Number Theory*, third edition, Springer, 1995