Magma (algebraic structure)

Basic characteristics and examples

Because the only mandatory property is closure, magmas are very general. Typical examples include:

• The set of integers with addition (this is actually more structured than a magma).
• The set of integers with subtraction, which is closed but not associative.
• Strings under concatenation: concatenating two words yields another word in the same alphabet, forming a free magma of words.
• Any set with a constant operation that always returns the same element.

Concrete constructions and categorical perspectives are often used to build and study magmas; introductory treatments and lists of examples are available at additional resources.

Properties and related notions

A magma may satisfy extra properties that give rise to familiar algebraic structures. Common conditions include:

1. Associativity: (x•y)•z = x•(y•z) — a magma satisfying this is called a semigroup.
2. Identity element: there exists e such that e•x = x•e = x — together with associativity this gives a monoid.
3. Invertibility: for each x there is y with x•y = y•x = e — with preceding properties this yields a group.

Because magmas impose no order or invertibility, they are used to isolate which consequences in algebra require which axioms.

History and context

The term "magma" was introduced in 20th-century algebra to name this minimal structure and to provide a neutral starting point for building more constrained systems. Its adoption allowed algebraists to speak uniformly about closure without implying other properties. For historical notes and formal development see historical background.

Uses, examples, and distinctions

Magmas appear in many areas as building blocks: universal algebra studies classes of algebras defined by operations and identities; computer science uses free magmas to model tree-like syntactic structures; and combinatorics examines nonassociative products. Distinguishing a magma from a semigroup, monoid, or group is crucial when proving which theorems require additional axioms. For practical guides and further examples consult further reading.

Notable facts: free magmas encode all formal binary-branching trees; nonassociative algebraic systems such as Lie algebras or quasigroups impose different axiom sets and so are studied separately. The simple definition of a magma makes it a common first object of study when exploring how algebraic properties interact.