# Definition:Vector Space on Field Extension

## Definition

Let $\struct {K, +, \times}$ be a field.

Let $L / K$ be a field extension over $K$.

Then $\struct {L, +, \times}_K$ is the vector space on $L$ over $K$.