Hoofdideaal

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

In de algebra en speciaal in de theorie der commutatieve ringen is een hoofdideaal een speciaal soort ideaal, namelijk een ideaal dat wordt voortgebracht door een element van de ring als alle producten van dat ene element met de elementen van de ring.

Definitie[bewerken]

Als R een commutatieve ring is, dan is een hoofdideaal van R een ideaal van de vorm:

aR = \{ax| x \in R \}

waar a een willekeurig maar vast element is van de ring. Het hoofdideaal aR heet voortgebracht door het element a. Men noteert dit hoofdideaal ook met haakjes als (a).

Voorbeelden[bewerken]

  • De even getallen vormen een hoofdideaal in de ring der gehele getallen, met als voortbrenger 2.
  • Voor elke ring R is het singleton  \{0\} een hoofdideaal (voortgebracht door 0).
  • Elke ring met eenheidselement is hoofdideaal in zichzelf, voortgebracht door 1.

Verwante begrippen[bewerken]

Een hoofdideaalring is een commutatieve ring met eenheidselement waarvan alle idealen hoofdideaal zijn. Als de ring bovendien een integriteitsgebied is, spreekt men van een hoofdideaaldomein.