1: \begin{definition}

2: Let $\G$ be a finite quantum group with a representation $\kappa$ on $V$. A subspace $W\subset V$ is \emph{invariant} with respect to $\kappa$ if $\kappa(W)\subset W\otimes F(\G)$. If $V$ contains no non-trivial subspace, $\kappa$ is said to be \emph{irreducible}. If for all $v,\,u\in V$

3: $$\left\la\kappa(v),\kappa(u)\right\ra_{F(\G)}=\la v,u\ra\,\mathds{1}_{\G},$$

4: the representation $\kappa$ is said to be \emph{unitary}. When a linear map $T:V\raw V_0$ satisfies

5: $$\kappa_0\circ T=(T\otimes I_{F(\G)})\circ \kappa,$$

6: for a representation $\kappa_0$ of $\G$ on a vector space $V_0$, it is said to \emph{intertwine} $\kappa$ and $\kappa_0$ and be an \emph{intertwiner}. Furthermore if $T$ is invertible then $\kappa$ and $\kappa_0$ are \emph{equivalent}.

7: 

8: 

9: \bigskip

10: 

11: It can be seen that $V$ can be chosen to be finite dimensional (Theorem 3.2.1, \citep{Timm}). Letting $d_{\kappa}$ denote the dimension of $V$, the linearity of $\kappa$ implies the existence of $d_{\kappa}^2$ elements $\rho_{ij}$ of $F(\G)$:

12: $$\kappa(e_j)=\sum_{i=1}^{d_\kappa}e_i\otimes\rho_{ij}.$$

13: These are the \emph{matrix elements} of the representation $\kappa$.

14: 

15: \end{definition}

16: