# Category:Vector Spaces

This category contains results about Vector Spaces.

Definitions specific to this category can be found in Definitions/Vector Spaces.

Let $\left({K, +_K, \times_K}\right)$ be a division ring.

Let $\left({G, +_G}\right)$ be an abelian group.

Let $\left({G, +_G, \circ}\right)_K$ be a unitary $K$-module.

Then $\left({G, +_G, \circ}\right)_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 6 subcategories, out of 6 total.

### B

### H

### Q

### S

### T

## Pages in category "Vector Spaces"

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