Zákon o krátení: Rozdiel medzi revíziami
Smazaný obsah Přidaný obsah
Bez shrnutí editace |
nahradenie HTML entity Unicode znakom (≠) |
||
Riadok 1:
'''Zákon o krátení''' je [[implikácia]] s nasledovným znením:
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''
V komutatívnych okruhoch je ekvivalentným tvrdením tzv. '''zákon nenulového súčinu''': ak ''a''
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]].
|