The free algebra over a signature generated by a set of variables whose elements are syntactic terms built from operation symbols and variables, taken without imposing any identities beyond the syntactic formation rules.

Principle

Terms are formed inductively from variables and operation symbols; the term algebra is the initial object in the category of algebras for the signature, encoding the universal property that any variable assignment extends uniquely to a homomorphism.

Demonstration

For the signature of monoids (binary operation ⋅ and unit e), the term algebra consists of all formal words built from a binary symbol and the constant e and variables; a homomorphism from this term algebra to any monoid evaluates each formal term to its semantic value in that monoid.

Misapplication

Confusing the term algebra with a quotient by equational identities (for example, treating syntactically different terms as equal because they denote the same element in a particular algebra); doing so loses the freeness and initiality properties.

Consequence

Term algebras provide canonical syntactic representatives, serve as initial models for specifying and reasoning about algebraic structures, and make substitution and unification concrete operations corresponding to homomorphisms.

Reversal

The reversal is a quotient algebra obtained by imposing identities (an equational theory) on the term algebra; this produces the free algebra of the theory rather than the raw term algebra and changes equality from syntactic to equational.

Boundary

Applies to finitary signatures and treats terms modulo syntactic equality only; excludes quotienting by axioms, higher-order term constructors, and semantic identifications specific to particular models.

Semantic Tension

Term Algebra is in tension with the free algebra modulo identities: the former treats terms purely syntactically and is initial in the category of all algebras, while the latter encodes a specified equational theory and identifies terms accordingly.

Synthesis

A Term Algebra is the raw free algebra of syntactic terms for a signature, embodying the inductive formation of terms and the universal property that variable assignments extend uniquely to homomorphisms into any algebra of the signature.