Obor integrity: Rozdiel medzi revíziami
Smazaný obsah Přidaný obsah
detailnejšie vysvetlenie definície |
|||
Riadok 1:
'''Obor integrity''' je [[Komutatívnosť|komutatívny]] [[okruh]] s jednotkou bez [[deliteľ nuly|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 <math>a \neq 0</math> platí: <math>ac = ab => c = b</math>.
Každý konečný obor integrity je [[pole (algebra)|pole]].
| |||