Definition:Ring of Mappings/Commutativity
Jump to navigation
Jump to search
Definition
Let $\struct {R, +, \circ}$ be a commutative ring.
Let $S$ be a set.
Let $\struct {R^S, +', \circ'}$ be the ring of mappings from $S$ to $R$.
From Structure Induced by Commutative Ring Operations is Commutative Ring, the ring of mappings from $S$ to $R$ is a commutative ring.