1: \begin{definition} \label{def:PIdeg}

2: Consider the notation of Theorem \ref{thm:Posner}. We say that the {\it PI degree of a prime PI ring} $A$ is equal to $(\dim_F Q)^{1/2}$.

3: \end{definition}