Obor integrity
Z Wikipedie, otevřené encyklopedie
Obor integrity je komutativní okruh R s jednotkovým prvkem, pro který navíc platí axiom
.
Oborem integrity je tedy každý komutativní okruh s jednotkovým prvkem, ve kterém nejsou netriviální dělitele nuly.
[editovat] Příklady
- Každé komutativní těleso je oborem integrity.
- Množina celých čísel
s obvyklým sčítáním a násobením je oborem integrity, není však tělesem.

