Un álgebra en una variedad generada libremente por un conjunto de generadores; satisface la propiedad universal de que toda función del conjunto generador a cualquier álgebra de la variedad se extiende de forma única a un homomorfismo desde el álgebra libre.

Principio

Universalidad: dada una variedad V y un conjunto X, un álgebra libre F(X) en V sobre X viene con una inclusión de los generadores tal que para toda A en V y toda función f: X→A existe un único homomorfismo F(X)→A que extiende f.

Demostración

Ejemplo: el grupo libre sobre un conjunto X consiste en palabras reducidas en X∪X^{-1} con la concatenación; cualquier aplicación de X a un grupo G se extiende de forma única a un homomorfismo del grupo libre a G, realizando la propiedad universal.

Aplicación incorrecta

Confundir álgebra libre con objeto libre en una categoría más amplia (ignorando las identidades de la variedad) o tratar una álgebra presentada con relaciones como 'libre' ignorando las relaciones impuestas; también asumir que la libertad implica rango finito sin justificación.

Consecuencia

Las álgebras libres proporcionan presentaciones canónicas por generadores y relaciones, permiten construir homomorfismos especificando imágenes de generadores y sustentan construcciones universales como coproductos en variedades; son cruciales para la prueba basada en propiedades universales y para el estudio de congruencias como núcleos de mapas desde álgebras libres.

Inversión

La noción dual es la de objeto cofre en un contexto coalgébrico; invertir la libertad dentro de una variedad conduce a cocientes con relaciones, es decir un álgebra presentada donde los generadores satisfacen relaciones no triviales y las aplicaciones salientes no son únicas.

Límite

La libertad se define respecto a una variedad y firma fijas; la existencia de álgebras libres está garantizada en muchas variedades comunes, pero depende de propiedades de cierre (por ejemplo, en clases arbitrarias pueden no existir objetos libres). La libertad no garantiza finitud ni decidibilidad.

Tensión semántica

Tensión entre 'libre' y 'proyectivo': objetos proyectivos elevan homomorfismos a lo largo de epimorfismos pero no necesariamente cumplen la misma propiedad universal desde un conjunto de generadores; también tensión entre 'libre' y 'sin relaciones' en el lenguaje de presentaciones.

Síntesis

Un álgebra libre es el objeto canónico generado por un conjunto sin relaciones aparte de las requeridas por la variedad: definido por la propiedad universal de extensión, sirve como fuente para todos los homomorfismos determinados en los generadores y proporciona marcos de presentación y análisis de congruencias.