Magmo (matematiko)

Magmo en la matematika fako pri abstrakta algebro estas algebra strukturo konsistanta el nemalplena aro kun interna, duargumenta operacio ($M$, $\star$) kun $\star \colon M\times M\rightarrow M$ sen iuj pliaj ecoj. La malplena aro $\emptyset$ estas akceptita kiel subtena aro $M$; ĝi triviale estas magmo.

Arkaiĝinta nomo 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 ne endas esti difinita sur la tuta magmo, do povas esti parciala.

Se la operacio estas komuta, la magmo nomiĝas komuta aŭ abela. Se la operacio estas asocieca, la magmo nomiĝas asocieca aŭ duongrupo.