The concept of morphism of representation is very important one and works in different applications. In particular it helped me to understand why linear map of Banach algebra has the form that I found.
When I was writing the paper dedicated to calculus over division ring for journal CACAA I realized why in case of division ring I can use regular coordinates of vector in module instead of tensor product. The answer is in possibility to solve system of linear equations. As soon as I have the structure of module over division ring I can learn linear map of this module. However the surprise waited me here.
Let \(e_{B\cdot i}\) be basis of \(A\)-module \(B\). Let \(e_{C\cdot i}\) be basis of \(A\)-module \(C\). We expect that matrix of linear map
\[f:B\rightarrow C\]
has form
\[
\begin{pmatrix}
f_{1\cdot}^{}{}^1_1\otimes f_{2\cdot}^{}{}^1_1&
...&
f_{1\cdot}^{}{}^1_n\otimes f_{2\cdot}^{}{}^1_n&
\\
... \\
f_{1\cdot}^{}{}^m_1\otimes f_{2\cdot}^{}{}^m_1&
...&
f_{1\cdot}^{}{}^m_n\otimes f_{2\cdot}^{}{}^m_n&
\end{pmatrix}
\]
So linear map has the form
\[
f\circ(a^ie_{B\cdot i})
=((f_{1\cdot}^{}{}^j_i\otimes f_{2\cdot}^{}{}^j_i)
\circ a^i)e_{C\cdot j}
\]
I have step by step proof of this statement. The structure of Jacoby matrix confirms this statement as well. However when I consider the concept of morphism of representation, I get wrong answer.
We consider morphism of representation of the form
\[
\begin{matrix}
\delta:A\rightarrow A&
f:B\rightarrow C
\end{matrix}
\]
Then \(f\) is homomorphism of Abellian group such that
\[
f\circ(a v)=a f\circ v
\]
From this it follows that
\[
f\circ( v^i e_{B\cdot i})=v^i f\circ e_{B\cdot i}
=v^i f_{1\cdot}{}^j_i\otimes f_{2\cdot}{}^j_i\circ e_{C\cdot i}
\]
This equation is wrong.
Probably I need to move transformation for geometrical object into coordinate space. However to make final decision I need to learn modules over algebra.
No comments:
Post a Comment