In mathematics, the symmetric algebra S(V) on a vector space V over a field K is a commutative algebra over K that contains V, and is, in some sense, minimal for this property. Wikipedia