On the minimal dimension of a faithful linear representation of a finite group (2102.01463v3)

Abstract: The representation dimension of a finite group $G$ is the minimal dimension of a faithful complex linear representation of $G$. We prove that the representation dimension of any finite group $G$ is at most $\sqrt{|G|}$ except if $G$ is a $2$-group with elementary abelian center of order $8$ and all irreducible characters of $G$ whose kernel does not contain $Z(G)$ are fully ramified with respect to $G/Z(G)$. We also obtain bounds for the representation dimension of quotients of $G$ in terms of the representation dimension of $G$, and discuss the relation of this invariant with the essential dimension of $G$.