An algebra in a given signature and variety generated by a set of free generators with no defining relations other than the identities required by the signature and the variety; equivalently, an object F(X) equipped with an inclusion of the generator set X such that every function from X into any algebra A of the same variety extends uniquely to a homomorphism F(X) → A.

Principle

The universal mapping property: freeness is characterized by being left adjoint to the forgetful functor from the variety to Set, so homomorphisms out of the free algebra are determined uniquely by images of the generators.

Demonstration

In the variety of groups, the free group on one generator is isomorphic to the integers under addition; in the variety of associative unital algebras over a field, the free algebra on a set X is the noncommutative polynomial algebra (tensor algebra) generated by X. Concretely, the term algebra on a signature Σ with generator set X consists of all Σ-terms built from symbols in X.

Misapplication

Treating any algebra with a distinguished generating set as 'free' without verifying the universal extension property, or assuming freeness holds independently of the chosen variety/signature (for instance, calling a freely generated module a free algebra without checking the ambient variety).

Consequence

Given a free algebra F(X), specifying a homomorphism F(X) → A is equivalent to specifying where each generator in X is sent; constructions and proofs reduce to checking images on generators. Categorically, free algebras provide left adjoints and thereby control presentations and constructions by generators.

Reversal

Quotienting a free algebra by nontrivial relations yields a presented algebra; the reversal of freeness is an algebra obtained by imposing relations (a presentation), which loses the unique-extension property.

Boundary

Freeness must be stated relative to a signature and a variety (equational class); a free algebra in one variety need not be free in another. Finite generation does not imply freeness, and freeness is about the universal property, not about cardinality or projectivity except where these coincide.

Semantic Tension

Confusion commonly arises between 'free' and 'projective' objects or between free algebras and free modules: projectivity is a lifting property relative to epimorphisms, while freeness is the specific universal mapping property from generators. Another nearby notion is a 'free-forgetful' adjunction; callers sometimes conflate having a left adjoint with having explicit term-based generators.

Synthesis

A free algebra is the canonical algebraic realization of an abstract generator set inside a variety: it is the term algebra that, by the universal mapping property, serves as the source of all homomorphisms determined by images of generators, and quotients of it produce all presented algebras in that variety.