Zákony o krátení

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
 

Algebra