# Category:Vector Spaces

This category contains results about Vector Spaces.
Definitions specific to this category can be found in Definitions/Vector Spaces.

Let $\struct {K, +_K, \times_K}$ be a division ring.

Let $\struct {G, +_G}$ be an abelian group.

Let $\struct {G, +_G, \circ}_K$ be a unitary $K$-module.

Then $\struct {G, +_G, \circ}_K$ is a vector space over $K$ or a $K$-vector space.

That is, a vector space is a unitary module whose scalar ring is a division ring.

## Subcategories

This category has the following 10 subcategories, out of 10 total.

## Pages in category "Vector Spaces"

The following 26 pages are in this category, out of 26 total.