Category
page 1Free algebraic structures
polynomial ring
ring of polynomials (with one or several variables) with coefficients in a given ring
free group
free object in the category of groups; a group admitting a presentation without any relations
free module
in algebra, a module that has a basis
free abelian group
commutative group whose elements are unique integer combinations of basis elements
free product
operation that takes two groups G and H and constructs a new group G ∗ H
free object
a “generic” algebraic structure over the given set, fulfilling no other equations except those given by the defining axioms
simplex category
small category, whose objects are sets of natural numbers of the form {0,1,…,n}, and whose morphisms are nondecreasing functions
free monoid
concept in mathematics
free algebra
free object in the category of associative algebras
free Lie algebra
free object in the category of Lie algebras