In abstract algebra, a magma (or groupoid; not to be confused with groupoids in category theory) is a basic kind of algebraic structure. Specifically, a magma consists of a set M equipped with a single binary operation . A binary operation is closed by definition, but no other axioms are imposed on the operation.
The term magma for this kind of structure was introduced by Nicolas Bourbaki. The term groupoid is an older, but still commonly used alternative which was introduced by Øystein Ore.
A magma is a set M matched with an operation "" that sends any two elements to another element . The symbol "" is a general placeholder for a properly defined operation. To qualify as a magma, the set and operation must satisfy the following requirement (known as the magma axiom):
And in mathematical notation:
In French, the word "magma" has multiple common meanings, one of them being "jumble". It is likely that the French Bourbaki group referred to sets with well-defined binary operations as magmas with the "jumble" definition in mind.
Types of magmas
Magmas are not often studied as such; instead there are several different kinds of magmas, depending on what axioms one might require of the operation. Commonly studied types of magmas include
Full article ▸