Pusgrupė

Straipsnis iš Vikipedijos, laisvosios enciklopedijos.
Jump to navigation Jump to search

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

Taigi, pusgrupė yra rinkinys , kur galioja tapatybė:[1]

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

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

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

Išnašos[redaguoti | redaguoti vikitekstą]

  1. 1,0 1,1 1,2 1,3 1,4 1,5 Pratt, Vaughan, „Algebra“, „The Stanford Encyclopedia of Philosophy“ (Fall 2017 Edition), Edward N. Zalta (ed.), [1]