Magmo (matematiko)

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.

Arĥaikiĝinta nomo de magmo estas grupoido, kiu kolizias kun la samnoma nocio grupoido en la teorio de kategorioj.

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.