In de abstracte algebra, een deelgebied van de wiskunde, is het begrip priemideaal een algemene vorm van zowel een priemgetal als een irreducibel polynoom. Priemidealen zijn ondeelbaar in de zin dat ze niet als product van twee andere idealen kunnen worden geschreven.

Een ideaal in een ring is een priemideaal als niet gelijk is aan zelf en als van twee elementen waarvan het product in ligt ten minste een van de twee eveneens in ligt.

Tenzij uitdrukkelijk anders vermeld, gaat dit artikel over priemidealen in een commutatieve ring met eenheidselement 1 verschillend van nul.

Voorbeelden en tegenvoorbeelden In de gehele getallen vormen de -vouden een priemideaal wanneer een priemgetal is. De zesvouden vormen een ideaal, maar geen priemideaal. , terwijl 2 en 3 allebei geen zesvoud zijn.

De polynomen die een vast gegeven reëel getal als nulpunt hebben vormen in de ring van reële polynomen in één variabele een priemideaal. Al deze polynomen kunnen door worden gedeeld.

Zij een commutatief lichaam/veld en de ring van polynomen in één variabele met coëfficiënten in . Het ideaal voortgebracht door een polynoom is een priemideaal dan en slechts dan als irreducibel is, dat wil zeggen niet het product is van twee polynomen van mindere graad.

De reële polynomen die een veelvoud zijn van vormen een ideaal, maar geen priemideaal.

maar geen van beide factoren behoort tot het ideaal.

Elementaire eigenschappen Een ideaal van is een priemideaal dan en slechts dan als de factorring een integriteitsgebied is.

De ring is zelf dan en slechts dan een integriteitsgebied als het singleton {0} een priemideaal is.

Het inverse beeld van een priemideaal onder een homomorfisme, van commutatieve ringen met neutraal element, is een priemideaal.

Specifieke idealen Maximaal ideaal Een maximaal ideaal is een ideaal dat niet bevat is in een ander ideaal, met uitzondering van de ring zelf. Ieder maximaal ideaal is priem, maar niet omgekeerd.

Radicaal ideaal Een radicaal ideaal is een ideaal dat gelijk is aan zijn eigen radicaal, of nog, een ideaal dat zijn eigen wortels bevat:

Priemidealen zijn radicaal, zoals blijkt uit een bewijs met behulp van volledige inductie naar .

Primair ideaal Een primair ideaal is een ideaal dat niet gelijk is aan de ring zelf, en waarbij voor ieder product van twee elementen dat in ligt, een macht van minstens een van de twee factoren eveneens in ligt:

Priemidealen zijn primair: kies . Het omgekeerde is in het algemeen niet waar, maar als primair is, dan is zijn radicaal een priemideaal.

Multiplicatieve deelverzameling Een multiplicatieve deelverzameling van een ring is een deelverzameling van die het eenheidselement bevat en die voor de vermenigvuldiging gesloten is:

Een priemideaal is dan een ideaal waarvan het complement een multiplicatieve verzameling is. Sterker geldt nog:

Stelling Als een multiplicatieve verzameling is en een ideaal dat disjunct is met , dan bestaat er een priemideaal dat omvat en dat nog steeds disjunct is met .

Lokalisatie De lokalisatie van de ring in de multiplicatieve verzameling , ook wel breukenring genoemd, is de verzameling breuken van de vorm

Hierbij zijn twee breuken gelijkwaardig als ze kunnen worden vereenvoudigd:

De optelling en vermenigvuldiging van breuken gehoorzaamt aan de rekenregels

De lokalisatie van een ring in een priemideaal is de lokalisatie in de multiplicatieve verzameling . Enigszins verwarrend wordt ze genoteerd.

Spectrum Het spectrum van een ring is de verzameling van alle priemidealen, genoteerd

Zariskitopologie Het spectrum van wordt uitgerust met een topologie door als gesloten verzamelingen te nemen: de ruimte zelf, en elke verzameling priemidealen die een vast gegeven ideaal omvatten. Dit heet de Zariski-topologie van

Spectrumschoof , Algebraic Geometry, Springer 1977, Een schoof associeert met elke open verzameling van een topologische ruimte een algebraïsche structuur, en met elke inclusie tussen open verzamelingen, een homomorfisme.

Op het spectrum van construeert men als volgt een schoof van ringen. Met een willekeurige open verzameling associëren we de ring van alle functies van naar de disjuncte verenigingen van lokalisaties

die elk priemideaal afbeelden op een element van zijn eigen lokalisatie , en die in de omgeving van gelijk welk punt van kunnen worden geschreven als een quotiënt van twee elementen van :

Hierbij is het gelijkteken op te vatten als een identiteit tussen twee elementen van .

Het ringhomomorfisme tussen en is de restrictie van de functies tot een deelverzameling van hun domein.

Geassocieerd priemideaal van een moduul, Commutative Ring Theory, Cambridge University Press 1986, , Engelse bewerking van het Japanse origineel Kakan kan ron (1980) Zij een moduul over de ring . Een geassocieerd priemideaal van is een priemideaal van dat bestaat uit de elementen die een gegeven vast element van annihileren, dat wil zeggen dat de scalaire vermenigvuldiging de nulvector oplevert:

De annihilator van een gegeven element is altijd een ideaal, maar niet altijd een priemideaal. Binnen de collectie van dergelijke idealen, met uitzondering van het triviale ideaal voor , zijn de maximale elementen wel allemaal priemidealen.

Priemidealen in niet-commutatieve ringen Een (tweezijdig) ideaal van een niet-commutatieve ring heet priemideaal als het aan de volgende twee eigenschappen voldoet: Als en twee elementen van zijn zodat voor alle elementen van het product in ligt, dan ligt ook of in , is niet de hele ring .

Voor commutatieve ringen is deze definitie gelijkwaardig met de eerste. Voor niet-commutatieve ringen is de definitie minder streng. Een ideaal van een niet-commutatieve ring dat aan de oorspronkelijke, strengere voorwaarden voldoet, heet compleet priemideaal.

Voorbeeld In de ring van vierkante -matrices over een lichaam is het triviale ideaal, dat uit alleen de nulmatrix bestaat, een priemideaal, maar geen compleet priemideaal.

Categorie:Commutatieve algebra