Obor integrity

Z Wikipedie, otevřené encyklopedie
Skočit na: Navigace, Hledá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.

Související články[editovat | editovat zdroj]