Obor integrity
From Wikipedia, the free encyclopedia
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.