MathGloss

Let $G$ be a group and $V$ a vector space. The dimension of a group representation $\rho:G\to \text{GL}(V)$ is just the usual dimension of $V$.

Wikidata ID: Q929302