Hoofdideaaldomein

Een hoofdideaaldomein is in de abstracte algebra een integriteitsdomein waarin elk ideaal een hoofdideaal is. Dit betekent dat elk ideaal wordt voortgebracht door één element.

Merk op dat een hoofdideaaldomein voorkomt in de onderstaande keten van deelverzamelingen:
lichamen (Nederlands) of velden (Belgisch) ⊂ Euclidische domeinen ⊂ hoofdideaaldomeinen ⊂ unieke factorisatiedomeinen ⊂ integriteitsdomeinen ⊂ commutatieve ringen ⊂ ringen

De stelling van Bachet-Bézout en de hoofdstelling van de rekenkunde gelden in een hoofdideaaldomein.

Voorbeelden

Dit zijn enkele voorbeelden:

• K: alle lichamen,
• Z: de ring van de gehele getallen,
• K[x]: de ring van polynomen in één variabele.

Voorbeelden van integraaldomeinen, die geen hoofdideaaldomein zijn:

• Z[x]: de ring van de polynomen over de gehele getallen. Deze ring is geen hoofdideaaldomein, omdat het ideaal dat wordt voortgebracht door 2 en x, niet kan worden voortgebracht door één polynoom.
• K[x,y]: Het ideaal (x,y) is geen hoofdideaal.

Eigenschappen

• In een hoofdideaaldomein heeft elk paar elementen een grootste gemene deler.
• Ieder hoofdideaaldomein is een uniek factorisatiedomein, Noethers en integraal gesloten.
• In iedere ring zijn de maximale idealen ook priemidealen. In een hoofdideaaldomein is er bijna het omgekeerde resultaat: ieder priemideaal dat verschilt van nul, is ook maximaal. Deze eigenschap maakt alle hoofdideaaldomeinen tot Dedekind-ringen.