Obor integrity je komutatívny okruh s jednotkou bez deliteľov nuly. Teda komutatívny okruh R je obor integrity, ak pre ľubovoľné a,b∈R z rovnosti ab=0 vyplýva, že a=0 alebo b=0.
V obore integrity pre platí: , t.j. pri násobení sa dá krátiť nenulovým prvkom. Každý konečný obor integrity je pole.
Príklady (Z, +, *) (R, +, *) (Q, +, *) Každé pole Z[x] – okruh polynómov s neznámou x s celočíselnými koeficientami (Všeobecnejšie, pre ľubovoľný obor integrity R je aj okruh polynómov R[x] oborom integrity.)
Pozri aj
Okruh Teleso
Kategória:Algebra