Definition:Vector Space over Subring

Definition

Let $K$ be a division subring of the division ring $\struct {L, +_L, \times_L}$.

Let $\struct {G, +_G, \circ}_L$ be a $L$-vector space.

Then $\struct {G, +_G, \circ_K}_K$ is a $K$-vector space, where $\circ_K$ is the restriction of $\circ$ to $K \times G$.

The $K$-vector space $\struct {G, +_G, \circ_K}_K$ is called the $K$-vector space obtained from $\struct {L, +_L, \times_L}$ by restricting scalar multiplication.

Also see

• Vector Space over Division Subring is Vector Space

• Definition:Vector Space over Division Subring

• Subring Module is Module

Sources

• 1965: Seth Warner: Modern Algebra ... (previous) ... (next): Chapter $\text {V}$: Vector Spaces: $\S 26$. Vector Spaces and Modules: Example $26.3$