Obor integrity

Z Multimediaexpo.cz

(Rozdíly mezi verzemi)
(+ Výrazné vylepšení)
m (Nahrazení textu „<math>“ textem „<big>\(“)
Řádka 1: Řádka 1:
'''Obor integrity''' je [[Komutativita|komutativní]] [[Okruh (algebra)|okruh]] '''''R''''' s [[Jednotkový prvek|jednotkovým prvkem]], pro který navíc platí [[axiom]]
'''Obor integrity''' je [[Komutativita|komutativní]] [[Okruh (algebra)|okruh]] '''''R''''' s [[Jednotkový prvek|jednotkovým prvkem]], pro který navíc platí [[axiom]]
-
:<math>\forall a \in R, a \neq 0 \quad \forall b \in R, b \neq 0 \qquad a \cdot b \neq 0</math>.
+
:<big>\(\forall a \in R, a \neq 0 \quad \forall b \in R, b \neq 0 \qquad a \cdot b \neq 0</math>.
Oborem integrity je tedy každý komutativní okruh s jednotkovým prvkem, ve kterém nejsou netriviální [[dělitel nuly|dělitelé nuly]].
Oborem integrity je tedy každý komutativní okruh s jednotkovým prvkem, ve kterém nejsou netriviální [[dělitel nuly|dělitelé nuly]].
Řádka 6: Řádka 6:
== Příklady ==
== Příklady ==
* Každé komutativní [[Těleso (algebra)|těleso]] je oborem integrity.
* Každé komutativní [[Těleso (algebra)|těleso]] je oborem integrity.
-
* Množina [[celé číslo|celých čísel]] <math>\mathbb{Z}</math> s obvyklým sčítáním a násobením je oborem integrity, není však tělesem.
+
* Množina [[celé číslo|celých čísel]] <big>\(\mathbb{Z}</math> s obvyklým sčítáním a násobením je oborem integrity, není však tělesem.
== Související články ==
== Související články ==

Verze z 14. 8. 2022, 14:49

Obor integrity je komutativní okruh R s jednotkovým prvkem, pro který navíc platí axiom

\(\forall a \in R, a \neq 0 \quad \forall b \in R, b \neq 0 \qquad a \cdot b \neq 0</math>.

Oborem integrity je tedy každý komutativní okruh s jednotkovým prvkem, ve kterém nejsou netriviální dělitelé nuly.

Příklady

  • Každé komutativní těleso je oborem integrity.
  • Množina celých čísel \(\mathbb{Z}</math> s obvyklým sčítáním a násobením je oborem integrity, není však tělesem.

Související články