Definition:Scalar Ring/Scalar

From ProofWiki
Jump to navigation Jump to search

This page is about Scalar in the context of Module Theory. For other uses, see Scalar.


Let $\struct {S, *_1, *_2, \ldots, *_n, \circ}_R$ be an $R$-algebraic structure with $n$ operations, where:

$\struct {R, +_R, \times_R}$ is a ring
$\struct {S, *_1, *_2, \ldots, *_n}$ is an algebraic structure with $n$ operations
$\circ: R \times S \to S$ is a binary operation.

Let $\struct {R, +_R, \times_R}$ be the scalar ring of $\struct {S, *_1, *_2, \ldots, *_n, \circ}_R$.

The elements of the scalar ring $\struct {R, +_R, \times_R}$ are called scalars.