Definition:Scalar Ring

Definition
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.

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

If the scalar ring is understood, then $\struct {S, *_1, *_2, \ldots, *_n, \circ}_R$ can be rendered $\struct {S, *_1, *_2, \ldots, *_n, \circ}$.