Matematikte, belirli bir alan üzerinde polinom denklemi olarak da adlandırılan bir cebirsel denklem, aşağıdaki formdaki bir denklemdir

P = Q {\displaystyle P=Q} {\displaystyle P=Q}

Burada P ve Q bu cisim üzerinde polinomlardır ve bir (tek değişkenli) veya birden fazla (çok değişkenli) değişkene sahiptir. Örneğin:

y 4 + x y 2 = x 3 3 - x y 2 + y 2 - 1 7 {\displaystyle y^{4}+{\frac {xy}{2}}={\frac {x^{3}}{3}}-xy^{2}+y^{2}-{\frac {1}{7}}} {\displaystyle y^{4}+{\frac {xy}{2}}={\frac {x^{3}}{3}}-xy^{2}+y^{2}-{\frac {1}{7}}}

rasyonel sayılar üzerinde bir cebirsel denklemdir.

İki denklem aynı çözüm kümesine sahipse eşdeğer olarak adlandırılır. Bu, ikinci denklemin tüm çözümlerinin aynı zamanda ilk denklemin de çözümü olması gerektiği anlamına gelir ve bunun tersi de geçerlidir. P = Q {\displaystyle P=Q}{\displaystyle P=Q} denklemi P - Q = 0 {\displaystyle P-Q=0}{\displaystyle P-Q=0} ile eşdeğerdir. Dolayısıyla cebirsel denklemlerin incelenmesi polinomların incelenmesine eşdeğerdir.

Eğer bir cebirsel denklem rasyonel sayılar üzerindeyse, her zaman tüm katsayıların tam sayı olduğu eşdeğer bir denkleme dönüştürülebilir. Örneğin, yukarıda verilen denklemde 42 = 2-3-7 ile çarpıyoruz ve ilk üyedeki terimleri gruplandırıyoruz. Denklem şu şekle dönüştürülür

42 y 4 + 21 x y - 14 x 3 + 42 x y 2 - 42 y 2 + 6 = 0 {\displaystyle 42y^{4}+21xy-14x^{3}+42xy^{2}-42y^{2}+6=0} {\displaystyle 42y^{4}+21xy-14x^{3}+42xy^{2}-42y^{2}+6=0}

Bir denklemin çözümleri, denklemin doğru olduğu değişkenlerin değerleridir. Ancak cebirsel denklemler için kökler de vardır. Bir denklemi çözerken, çözümlere hangi kümede izin verildiğini söylememiz gerekir. Örneğin, rasyoneller üzerindeki bir denklem için tam sayılarda çözüm bulunabilir. O zaman denklem bir diophantine denklemidir. Karmaşık sayılar alanında da çözüm aranabilir. Reel sayılarda da çözüm aranabilir.

Eski matematikçiler x = 1 + 5 2 {\displaystyle x={\frac {1+{\sqrt {5}}}{2}}}{\displaystyle x={\frac {1+{\sqrt {5}}}{2}}} gibi tek değişkenli denklemlerin (yani tek değişkenli denklemlerin) çözümlerini x 2 + x - 1 = 0 {\displaystyle x^{2}+x-1=0}{\displaystyle x^{2}+x-1=0} pozitif çözümü için radikal ifadeler şeklinde istemişlerdir. Eski Mısırlılar 2. dereceden denklemleri (yani değişkenin en yüksek kuvvetinin 2 olduğu denklemleri) bu şekilde nasıl çözeceklerini biliyorlardı. Rönesans döneminde Gerolamo Cardano 3. derece denklemini, Lodovico Ferrari ise 4. derece denklemini çözmüştür. Son olarak Niels Henrik Abel 1824 yılında 5. derece denkleminin ve daha yüksek dereceli denklemlerin her zaman radikaller kullanılarak çözülemeyeceğini kanıtlamıştır. Adını Évariste Galois'dan alan Galois teorisi, bir denklemin radikaller kullanılarak çözülebilir olup olmadığına karar veren kriterler vermek için tanıtıldı.