42e884fe8c7620b9.tex
1: \begin{definition}\label{extT} If $i, j\in {\cal I}$ are two irreducible factors of $\rhob_z$, we set\footnote{Note that the last equality in the definition below 
2: is Remark \ref{extSmorS}.}
3: 		$$\Ext_T(i,j):=\Ext_{R\otimes_A k}(i,j)=\Ext_R(i,j).$$
4: It is a finite dimensional $k$-vector space.\footnote{This follows for example from Theorem \ref{extension1} and Lemma \ref{Ristfgma}.}
5: \end{definition}
6: