Integriteitsgebied
Uit Wikipedia, de vrije encyclopedia
In de commutatieve algebra, een deelgebied van de wiskunde, is een integriteitsgebied, ook integriteitsdomein, integraaldomein of kortweg domein, een commutatieve ring zonder nuldelers, ongelijk aan de triviale ring.
De laatste eis betekent dat de neutrale elementen 0 voor de optelling en 1 voor de vermenigvuldiging van elkaar verschillen. Dat er geen nuldelers zijn houdt in dat het product van twee elementen ongelijk aan 0 ook ongelijk is aan 0. Noem een integriteitsgebied. Het laatste is dan equivalent met:
Integriteitsgebieden maken deel uit van de onderstaande keten van klasseinsluitingen:
- lichamen/velden ⊂ euclidische domeinen ⊂ hoofdideaaldomeinen ⊂ unieke factorisatiedomeinen ⊂ integriteitsgebieden ⊂ commutatieve ringen ⊂ ringen.