1: \begin{abstract} The Drinfeld double $\D$ of the bosonization of a finite-dimensional Nichols algebra $\BV(V)$ over a finite non-abelian group $G$ is called a {\it quantum group at a non-abelian group}. We introduce Verma modules over such a quantum group  $\D$ and prove that a Verma module has simple head and simple socle. This provides two bijective correspondences between the set of simple modules over $\D$ and the set of simple modules over the Drinfeld double $\D(G)$. As an example, we describe the lattice of submodules of the Verma modules over the quantum group at the symmetric group $\Sn_3$ attached to the 12-dimensional Fomin-Kirillov algebra, computing all the simple modules and calculating their dimensions.

2: \end{abstract}

3: