quotients exterior symmetric algebras categorically speaking functor maps ''r'' module tensor algebra left adjoint functor sends ''r'' algebra underlying ''r'' module forgetting multiplicative structure following ring used theory rings given commutative ring ''a'' let math g ta math set formal power series constant term abelian group group operation multiplication power series ring multiplication denoted math circ math math
Formal science Mathematics Pure mathematics Algebra Associative algebra