Pusgrupė

Pusgrupė – algebrinė struktūra, kuri susideda iš aibės ir šioje aibėje apibrėžtos operacijos su dviem operandais, kuriai galioja asociatyvumas.

Taigi, pusgrupė yra rinkinys , kur galioja tapatybė:

 

Pusgrupė, kurioje apibrėžta operacija yra komutatyvi, dar vadinama komutatyvia pusgrupe.

Jei pusgrupėje egzistuoja elementas (žymimas „1“), kuriam galioja tapatybė

 

jis vadinamas neutraliuoju elementu. Pusgrupė, kurioje yra neutralusis elementas, vadinama monoidu.

Išnašos 

Abstrakčioji algebra