Persamaan linear gelanggang

Dalam aljabar, **[[persamaan linear]]** dan **[[sistem persamaan linier]]** lebih dari satu bidang dipelajari secara luas. "Di atas bidang "berarti bahwa koefisien persamaan dan solusi yang dicari termasuk dalam bidang tertentu, biasanya nyata atau bilangan kompleks s. Artikel ini dikhususkan untuk masalah yang sama di mana "bidang" diganti dengan "gelanggang komutatif", atau, biasanya "Noetherian domain integral".

Dalam kasus persamaan tunggal, masalahnya terbagi menjadi dua bagian. Pertama, *masalah keanggotaan ideal*, yang terdiri dari persamaan yang tidak homogen
:a_1x_1 + \cdots + a_kx_k=b
dengan a_1, \ldots, a_k dan  di cincin tertentu , untuk memutuskan apakah ada solusi dengan x_1, \ldots, x_k pada , dan, jika ada, untuk menyediakannya. Jumlah ini untuk memutuskan apakah  milik ideal yang dihasilkan oleh . Contoh paling sederhana dari masalah ini adalah, untuk *k* = 1 dan , untuk memutuskan apakah  adalah satuan dalam .

**Masalah syzygy** terdiri, diberi elemen * k * a_1, \ldots, a_k di , untuk menyediakan sistem generator dari modul dari syzygies dari (a_1, \ldots, a_k), itu adalah sistem generator submodul dari elemen tersebut (x_1, \ldots, x_k) in *k* itu adalah solusi dari persamaan homogen
:a_1x_1 + \cdots + a_kx_k=0.
Kasus paling sederhana, ketika * k * = 1 sama dengan mencari sistem generator dari annihilator dari .

Diberikan solusi dari masalah keanggotaan yang ideal, seseorang memperoleh semua solusi dengan menambahkan elemen modul syzygies ke dalamnya. Dengan kata lain, semua solusi disediakan oleh solusi.

## Persamaan linear di atas bilangan bulat atau domain ideal utama

Ada algoritma untuk menyelesaikan semua masalah yang dibahas dalam artikel ini melalui bilangan bulat. Dengan kata lain, *aljabar linier efektif di atas bilangan bulat *. Lihat Sistem Diofantin Linear untuk detailnya.

Solusi yang sama berlaku untuk masalah yang sama di domain ideal utama, dengan modifikasi berikut.

Gagasan matriks unimodular bilangan bulat harus diperpanjang dengan memanggil * unimodular * sebagai matriks di atas domain integral yang determinan adalah unit. Ini berarti bahwa determinannya adalah dapat dibalik dan menyiratkan bahwa matriks unimodular adalah matriks yang invers sehingga semua entri dari matriks invers termasuk dalam domain tersebut.

Untuk mendapatkan solusi algoritmik dari sistem linier, solusi untuk persamaan linier tunggal dalam dua variabel yang tidak diketahui jelas diperlukan. Dalam kasus bilangan bulat, solusi seperti itu disediakan oleh algoritma Euklides diperpanjang. Jadi seseorang membutuhkan itu, untuk domain ideal utama yang dianggap, ada algoritma dengan spesifikasi yang serupa dengan algoritma Euclidean yang diperluas. Itu adalah, diberikan *a* dan *b* dalam domain ideal utama, ada algoritma yang menghitung matriks unimodular
:\begin{bmatrix}  s&t\\u&v \end{bmatrix}
such that
:\begin{bmatrix}  s&t\\u&v \end{bmatrix} \begin{bmatrix}  a\\b \end{bmatrix}
= \begin{bmatrix}\gcd(a,b)\\0 \end{bmatrix}. 

Memiliki algoritma seperti itu, bentuk normal Smith dari matriks dapat dihitung persis seperti dalam kasus integer, dan ini cukup untuk menerapkan metode Sistem Diofantin Linear.

Kasus utama di mana ini biasanya digunakan adalah kasus sistem linier di atas gelanggang polinomial univariat di atas suatu medan. Dalam kasus ini, algoritma Euclidean yang diperluas dapat digunakan. Lihat identitas pembagi umum terbesar polinomial#Bézout dan algoritme GCD tambahan untuk detailnya.