Algebran peruslause

Matematiikassa algebran peruslause sanoo, että jokaisella yhden muuttujan polynomilla , jonka aste  ≥  ja jonka kertoimet ovat reaali- tai kompleksilukuja, on ainakin yksi nollakohta kompleksilukujen joukossaPitkäranta s. 231. Toisin sanoen kompleksilukujen kunta on algebrallisesti suljettu kunta, ja siten yhtälöllä  on asteluvun mukainen määrä juuria. Juurista voi tosin olla joitakin keskenään samoja, joten juurten kertaluku täytyy ottaa huomioon juurten lukumäärää laskettaessaPitkäranta s. 232.

Algebran peruslausetta pohti ensimmäisenä Albert Girard vuonna 1629, mutta vasta Gauss antoi sille vuoden 1800 vaiheilla (useammankin) pätevän todistuksen. Yksinkertaisin todistus perustuu funktioteorian Liouvillen lauseeseen.

Lauseen nimi on monien matemaatikoiden mielestä harhaanjohtava, sillä nykyään algebra tutkii paljon muutakin kuin pelkkiä polynomeja.

Lähteet

Kirjallisuutta


Luokka:Algebra
Luokka:Seulonnan keskeiset artikkelit