nLab tensor ring

Contents

Context

Algebra

Group theory

Contents

Idea

A free monoid object in Ab

Definition

Given an abelian group GG, the tensor ring is a ring T(G)T(G) with an abelian group homomorphism g:GT(G)g:G \to T(G), such that for every other ring RR with abelian group homomorphism h:GRh:G \to R, there is a unique ring homomorphism i:T(G)Ri:T(G) \to R such that ig=hi \circ g = h.

See also

Last revised on August 19, 2024 at 15:26:56. See the history of this page for a list of all contributions to it.