1: \begin{definition}{\em Diagonalisation at self-similar objects of $(\PI,\uplus)$}\\

2: Let $(S,\code,\decode)$ be a self-similar structure of $(\PI,\uplus)$ and let $\in \PI(S,S)$ be an arrow with matrix representation $[f]_\dc = \left( \begin{array}{cc} \alpha & \beta \\ \gamma & \delta \end{array}\right)$. We define a {\bf diagonalisation} of this matrix representation to be a self-similar structure $(S,c,d)$ such that $[f]_{(c,d)} = \left(\begin{array}{cc} \lambda & 0 \\ 0 & \mu \end{array} \right)$, so the matrix conjugation given in Theorem \ref{changebasis} satisfies

3: \[  \left( \begin{array}{ccc} \lambda &	\ &  0 \\ 	& 	& \\ 0  &	\ &  \mu \end{array}\right)  = 

4: \left(\begin{array}{ccc} u_{00}^\ddag & \ & u_{10}^\ddag \\	& & 	\\  u_{01}^\ddag & \	&  u_{11}^\ddag \end{array}\right) 

5: %\left( \begin{array}{cc} \phi_{(c,d)}(p)\phi_\dc(p^\ddag) & \phi_{(c,d)}(p)\phi_\dc(q^\ddag) \\ \phi_{(c,d)}(q)\phi_\dc(p^\ddag) & \phi_{(c,d)}(q)\phi_\dc(q^\ddag)\end{array} \right) 

6:  \left( \begin{array}{ccc} \alpha &	\ &  \beta \\ 	& & \\ 	\gamma &	\ &  \delta \end{array}\right)

7: %\left( \begin{array}{cc} p\phi_{(c,d)}(p^\ddag) & p\phi_{(c,d)}(q^\ddag) \\ q\phi_{(c,d)}(p^\ddag) & q\phi_{(c,d)}(q^\ddag) \end{array} \right) \]

8: \left(\begin{array}{ccc} u_{00} &	\ &  u_{01} \\ 	& & 	\\ u_{10} &	 \ &  u_{11} \end{array}\right) 

9: \]

10: \end{definition}

11: