Definition:Affine Space/Group Action

Definition

Let $K$ be a field.

Let $\left({V, +_V, \circ}\right)$ be a vector space over $K$.

Let $\mathcal E$ be a set.

Let $\phi: \mathcal E \times V \to \mathcal E$ be a free and transitive group action of $\struct{V, +_V}$ on $\mathcal E$.

Then the ordered pair $\tuple{\mathcal E, \phi}$ is an affine space.