Gelanggang pembagian itu apa sih?

Dalam aljabar, sebuah gelanggang pembagian disebut juga medan miring, adalah gelanggang dimana pembagian dimungkinkan. Secara khusus, ini adalah gelanggang bukan nol dimana setiap elemen bukan nol  memiliki invers perkalian, yaitu elemen yang umumnya dilambangkan , misalnya . Jadi, pembagian dapat didefinisikan , tetapi notasi ini umumnya jarang digunakan, misalnya .

Gelanggang pembagian umumnya merupakan gelanggang nonkomutatif. Komutatif, jika dan hanya jika medan, dalam hal ini istilah "gelanggang pembagian" jarang digunakan, kecuali untuk sifat gelanggang pembagian yang benar meskipun bersifat komutatif atau dalam bukti gelanggang pembagian tertentu bersifat komutatif. Misalnya, teorema kecil Wedderburn yang menyatakan bahwa semua gelanggang pembagian hingga adalah komutatif dan medan hingga.

Semua gelanggang pembagian adalah sederhana. Artinya, mereka tidak memiliki dua sisi ideal selain nol ideal dan sendiri.

Relasi dengan medan dan aljabar linear

Semua medan adalah gelanggang pembagian; contoh yang menarik adalah gelanggang pembagian non-komutatif. Contoh paling terkenal adalah gelanggang kuaternion H. Jika koefisien rasional dari riil dalam konstruksi kuaternion, maka memperoleh gelanggang pembagian yang lain. Secara umum, jika R adalah gelanggang dan S adalah modul sederhana di atas R, maka, lemma Schur dan gelanggang endomorfisme dari S adalah gelanggang pembagian, setiap gelanggang pembagian muncul dengan cara ini dari beberapa modul sederhana.

Banyak dari aljabar linear dirumuskan, dan tetap benar, untuk modul di atas gelanggang pembagian D sebagai alihan ruang vektor di atas medan. Melakukanya harus ditentukan apakah seseorang sedang mempertimbangkan modul kanan atau kiri, dan beberapa kehati-hatian diperlukan dalam membedakan kiri dan kanan dengan benar dalam rumus. Bekerja dalam koordinat, elemen modul kanan dimensi hingga diwakili oleh vektor kolom, yang dapat dikalikan di kanan dengan skalar, dan di sebelah kiri oleh matriks (mewakili peta linier), untuk elemen modul kiri berdimensi hingga, vektor baris harus digunakan yang dikalikan di kiri dengan skalar, dan di kanan dengan matriks. Rangkap dari modul kanan adalah modul kiri, dan sebaliknya. Transposisi matriks dilihat sebagai matriks di atas gelanggang pembagian Dop dalam tatanan berlawanan  untuk tetap valid.

Setiap modul di atas gelanggang pembagian adalah bebas; yaitu, memiliki basis, dan semua basis modul memiliki jumlah elemen yang sama. Peta linear antara modul berdimensi hingga di atas gelanggang pembagian dijelaskan dengan matriks; fakta bahwa peta linear dengan definisi perjalanan dengan perkalian skalar paling mudah diwakilankan dalam notasi dengan menuliskannya pada berlawanan sisi vektor sebagai skalar. Algoritma eliminasi Gaussian tetap dapat diterapkan. Peringkat kolom dari matriks adalah dimensi modul kanan yang dihasilkan oleh kolom, dan peringkat baris adalah dimensi modul kiri yang dihasilkan oleh baris; bukti yang sama untuk kasus ruang vektor dapat digunakan untuk menunjukkan bahwa peringkat ini sama, dan menentukan peringkat matriks.

Faktanya, konversinya ini memberikan karakterisasi gelanggang pembagian melalui kategori modul: Gelanggang unital R adalah gelanggang pembagian jika dan hanya jika setiap modul-R adalah bebas.

Pusat dari gelanggang pembagian adalah komutatif dan oleh karena itu merupakan medan. Oleh karena itu, setiap gelanggang pembagian adalah sebuah aljabar pembagian di atas pusatnya. Cincin pembagian dapat diklasifikasikan menurut dimensi hingga atau dimensi tak hingga di atas pusat. Pertama yang disebut hingga secara pusat dan yang terakhir tidak hingga secara pusat. Setiap medan, tentu saja satu dimensi di atas pusat. Gelanggang kuaternion Hamiltonian membentuk aljabar 4 dimensi di atas pusat yang isomorfik terhadap bilangan riil.