Magma
From Encyclopedia of Mathematics
The printable version is no longer supported and may have rendering errors. Please update your browser bookmarks and please use the default browser print function instead.
A set $M$ endowed with an everywhere defined binary operation $m : M \times M \rightarrow M$ on it. No conditions are imposed. In particular, a magma need not be commutative or associative. Of particular importance is the free magma on an alphabet (set) $X$. A mapping $f : N \rightarrow M$ of one magma into another is a morphism of magmas if $f(m_N(a,b)) = m_M(f(a),f(b))$ for all $a,b \in N$, i.e., if it respects the binary operations.
How to Cite This Entry:
Magma. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Magma&oldid=34696
Magma. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Magma&oldid=34696
This article was adapted from an original article by M. Hazewinkel (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article