Category:Rings of Mappings

From ProofWiki
Jump to navigation Jump to search

This category contains results about Rings of Mappings.
Definitions specific to this category can be found in Definitions/Rings of Mappings.

Let $\struct {R, +, \circ}$ be a ring.

Let $S$ be a set.

Let $R^S$ be the set of all mappings from $S$ to $R$.

The ring of mappings from $S$ to $R$ is the algebraic structure $\struct {R^S, +', \circ'}$ where $+'$ and $\circ'$ are the (pointwise) operations induced on $R^S$ by $+$ and $\circ$.