From Encyclopedia of Mathematics
Jump to: navigation, search

A set endowed with an everywhere defined binary relation 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) . A mapping of one magma into another is a morphism of magmas if for all , i.e., if it respects the binary relations.

How to Cite This Entry:
Magma. M. Hazewinkel (originator), Encyclopedia of Mathematics. URL:
This text originally appeared in Encyclopedia of Mathematics - ISBN 1402006098