Zákony o krátení je pomenovanie istej vlastnosti algebraických štuktúr a binárnych operácií. Ide o vlastnosť, ktorá hovorí, že v rovnosti môžeme krátiť rovnaký prvok vyskytujúci sa na oboch stranách rovnosti.
Nech (M, ∗) je grupoid , t.j. * je binárna operácia na množine M. Hovoríme, že (M, ∗) spĺňa zákon o krátení sprava, ak pre ľubovoľné a,b,c∈M z rovnosti vyplýva . Zákon o krátení zľava je podmienka hovoriaca, že z vyplýva .
Každá konečná pologrupa s krátením je grupa.
Pozri aj
Pologrupa s krátením
Literatúra
Kategória:Algebra