Obor integrity
Skočit na navigaci
Skočit na vyhledávání
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ělitelé nuly.
Příklady[editovat | editovat zdroj]
- Každé komutativní těleso (nazývané také pole) 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.