Ideaaliluvut esitteli vuonna 1847 saksalainen matemaatikko Ernst Eduard Kummer [1] , ja ne toimivat lähtökohtana määritettäessä renkaiden ihanteita , jotka Dedekind esitteli myöhemmin . Tällä hetkellä tätä termiä ei käytetä, ja se on korvattu ihanteen käsitteellä.
Ideaali renkaassa on prinsiaalinen , jos se koostuu alkioista, jotka ovat jonkin elementin kerrannaisia, muuten se on nonprincipal . Siten jokainen renkaan numero voidaan yhdistää pääideaaliin, kun taas voimme olettaa ideaalilukujen olemassaolon, jotka vastaisivat mielivaltaista ihannetta.
Olkoon y yhtälön y ² + y + 6 = 0 juuri, silloin kentän kokonaislukujen rengas on , eli kaikki lausekkeet muotoa a + by , missä a ja b ovat kokonaislukujen renkaan alkioita . Esimerkki ei-pääideaalista sellaisessa renkaassa on 2 a + yb , jossa a ja b ovat kokonaislukuja; tämän ihanteen kuutio on prinsiaali, luokkaryhmä on kertalukua 3. Vastaava luokkakenttä saadaan lisäämällä kaikki alkiot w muotoa w ³ − w − 1 = 0 , mikä antaa . Ei-pääideaalin 2 a + yb ideaalluku on . Koska se täyttää yhtälön , se on algebrallinen kokonaisluku.
Kaikki luokkakentän kokonaislukujen renkaan elementit kerrottuna ι:lla antavat muodon a α + b β, jossa
ja
Kertoimet α ja β ovat myös tyydyttävät algebralliset kokonaisluvut
ja
vastaavasti. Kertomalla a α + b β ideaalisella luvulla ι saadaan 2 a + luvulla , joka on ei-pääideaali.
Kummer kirjoitti ensimmäisen kerran mahdollisesta ei-ainutlaatuisesta tekijöiden jakamisesta syklotomisissa (pyöreissä) kentissä vuonna 1844 epäselvässä lehdessä; artikkeli toistettiin vuonna 1847 Liouvillen lehdessä . Muissa kirjoituksissaan vuosina 1846 ja 1847 hän julkaisi perustavanlaatuisen lauseensa (todellisiin ja ideaalisiin) alkutekijöihin jakamisen ainutlaatuisuudesta.
Kummerin uskotaan päätyneen ideaan "ihanteellisista kompleksiluvuista" tutkiessaan Fermatin viimeistä lausetta ; sanotaan jopa, että Kummer, kuten Lame , luuli todistaneensa Fermatin viimeisen lauseen, kunnes Dirichlet kertoi hänelle, että hänen argumenttinsa perustui tekijöiden jakamisen ainutlaatuisuuteen; mutta tämän tarinan kertoi ensimmäisen kerran Kurt Hansel vuonna 1910 ja se sai todennäköisesti alkunsa virheestä yhdessä Hanselin lähteistä. Harold Edwards sanoi, että "uskomus, että Kummer olisi vakavasti kiinnostunut Fermatin viimeisestä lauseesta, on epäilemättä virheellinen."
Kronecker ja Dedekind suorittivat Kummerin ajatusten yleistyksen seuraavien neljänkymmenen vuoden aikana. Suora yleistäminen kohtasi vakavia vaikeuksia, mikä johti Dedekindin luomaan moduulien ja ihanteiden teoria . Kronecker käsitteli vaikeutta kehittämällä muototeoriaa ( neliömuotojen yleistys) ja jakajien teoriaa . Dedekindin työ muodosti perustan rengasteorialle ja yleisalgebralle , kun taas Kroneckerin työ loi algebrallisen geometrian päätyökalun .