Zákon o krátení: Rozdiel medzi revíziami

z Wikipédie, slobodnej encyklopédie
Smazaný obsah Přidaný obsah
Ondrejsv (diskusia | príspevky)
Bez shrnutí editace
Ondrejsv (diskusia | príspevky)
Bez shrnutí editace
Riadok 2: Riadok 2:


Nech ''a'', ''b'' a ''c'' sú prvky [[grupa (matematika)|grupy]] (''M'', *) s [[neutrálny prvok|neutrálnym prvkom]] 0. Potom ak ''a''*''c'' = ''b''*''c'' a ''c'' ≠ 0, tak ''a'' = ''b''.
Nech ''a'', ''b'' a ''c'' sú prvky [[grupa (matematika)|grupy]] (''M'', *) s [[neutrálny prvok|neutrálnym prvkom]] 0. Potom ak ''a''*''c'' = ''b''*''c'' a ''c'' ≠ 0, tak ''a'' = ''b''.

V komutatívnych okruhoch je ekvivalentným tvrdením tzv. '''zákon nenulového súčinu''': ak ''a'' ≠ 0 a ''b'' ≠ 0, potom ''a''*''b'' ≠ 0.


Zákon o krátení sa vyslovuje väčšinou pre [[okruh (algebra)|okruhy]], kde * je [[multiplikatívna operácia]] okruhu. [[Komutatívny okruh|Komutatívne okruhy]], v ktorých zákon o krátení platí, nazývame [[obor integrity|obory integrity]].
Zákon o krátení sa vyslovuje väčšinou pre [[okruh (algebra)|okruhy]], kde * je [[multiplikatívna operácia]] okruhu. [[Komutatívny okruh|Komutatívne okruhy]], v ktorých zákon o krátení platí, nazývame [[obor integrity|obory integrity]].

Verzia z 22:39, 28. august 2007

Zákon o krátení je implikácia s nasledovným znením:

Nech a, b a c sú prvky grupy (M, *) s neutrálnym prvkom 0. Potom ak a*c = b*c a c ≠ 0, tak a = b.

V komutatívnych okruhoch je ekvivalentným tvrdením tzv. zákon nenulového súčinu: ak a ≠ 0 a b ≠ 0, potom a*b ≠ 0.

Zákon o krátení sa vyslovuje väčšinou pre okruhy, kde * je multiplikatívna operácia okruhu. Komutatívne okruhy, v ktorých zákon o krátení platí, nazývame obory integrity.