Algebran peruslause

Matematiikassa algebran peruslause sanoo, että jokaisella yhden muuttujan polynomilla $p(z)$, jonka aste $n$ ≥ $1$ ja jonka kertoimet ovat reaali- tai kompleksilukuja, on ainakin yksi nollakohta kompleksilukujen joukossa. Toisin sanoen kompleksilukujen kunta on algebrallisesti suljettu kunta, ja siten yhtälöllä $p(z)=0$ on asteluvun mukainen määrä juuria. Juurista voi tosin olla joitakin keskenään samoja, joten juurten kertaluku täytyy ottaa huomioon juurten lukumäärää laskettaessa.

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.

Kirjallisuutta

• Malline:Kirjaviite