Hoofdideaaldomein

Uit Wikipedia, de vrije encyclopedie
Ga naar: navigatie, zoeken

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 domeinenhoofdideaaldomeinenunieke factorisatiedomeinenintegriteitsdomeinencommutatieve ringenringen

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

Voorbeelden[bewerken]

Dit zijn enkele voorbeelden:

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[bewerken]

  • 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.