Magmo (matematiko): Malsamoj inter versioj

'''Magmo''' en la [[matematiko|matematika]] fako pri [[abstrakta algebro]] estas [[algebra strukturo]] konsistanta el nemalplena [[aro (matematiko)|aro]] kun interna, duargumenta [[operacio (matematiko)|operacio]] (''<math>M</math>'', <math>\star</math>) kun <math>\star \colon M \times M \rightarrow M</math> sen iuj pliaj ecoj. La [[malplena aro]] <math>\emptyset</math> estiestas akceptita kiel [[subtena aro]] <math>M</math>; ĝ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 [[komuteco|komuta]], la magmo nomiĝas ''komuta'' aŭ ''Abelaabela''. Se la operacio estas [[asocieco|asocieca]], la magmo nomiĝas ''asocieca'' aŭ ''[[duongrupo (algebro)|duongrupo]]''.