Magmo (matematiko)

El Vikipedio, la libera enciklopedio

Magmo en la matematika fako abstrakta algebro estas algebra strukturo konsistanta el aro kun interna duvalenta operacio (, ), t.e. sen iaj pliaj postulataj ecoj. La malplena aro estas akceptebla kiel subtena aro ; ĝi triviale estas magmo.

Alternativa pli malnova nomo por magmo estas grupoido, kiu ne kongruas kun la samnoma nocio grupoido en la teorio de kategorioj. (Ĝuste tia ambigueco kaj populareco de la kategorio-teorio estas kialo por ekuzo de la nova termino "magmo".)

Pliĝeneraligo de magmo estas tiel nomata pseŭdomagmo, kies operacio estas difinita ne nepre sur la tuta subtena aro, do povas esti parta operacio.

Se la operacio estas komuta, la magmo nomiĝas komutaabela. Se la operacio estas asocia, la magmo nomiĝas semigrupo.