Processing math: 100%

Saturday, January 23, 2016

Few Ideas about Morphism of Representation

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 eBi be basis of A-module B. Let eCi be basis of A-module C. We expect that matrix of linear map
f:BC


has form
(f111f211...f11nf21n...f1m1f2m1...f1mnf2mn)

So linear map has the form
f(aieBi)=((f1jif2ji)ai)eCj

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
δ:AAf:BC


Then f is homomorphism of Abellian group such that
f(av)=afv

From this it follows that
f(vieBi)=vifeBi=vif1jif2jieCi

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