Source: wikibot/free-algebra
= Free algebra
{wiki=Free_algebra}
Free algebra is a concept in abstract algebra that refers to a type of algebraic structure that is "free" of relations except for those that are required by the axioms of the algebraic system being considered. This means that the elements of a free algebra can combine freely according to specified operations without restrictions imposed by relations. To elaborate, a free algebra is often constructed over a set of generators.