Pusgrupė

Pusgrupė – algebrinė struktūra, kuri susideda iš aibės ir šioje aibėje apibrėžtos operacijos su dviem operandais, kuriai galioja asociatyvumas.Pratt, Vaughan, „Algebra“, „The Stanford Encyclopedia of Philosophy“ (Fall 2017 Edition), Edward N. Zalta (ed.), 

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.

Pavyzdžiui, natūraliųjų skaičių aibė su natūraliųjų skaičių sandaugos operacija yra pusgrupė.

 Šaltiniai 

Kategorija:Abstrakčioji algebra