Magmo (matematiko)

El Vikipedio, la libera enciklopedio
Saltu al: navigado, serĉo

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 komutaabela. Se la operacio estas asocieca, la magmo nomiĝas asociecaduongrupo.