Magmo (matematiko)

Magmo en la matematika fako pri abstrakta algebro estas algebra strukturo konsistanta el aro kun interna, duargumenta operacio (, ) tiaj, ke sen iuj pliaj 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 asocieca, la magmo nomiĝas asociecaduongrupo.