I created this blog to share and discus ideas related to my research in geometry.
Recently one question arised. What happens when in geometry that I know to put division ring instead of field. When I started research in 2005 it was not clear how far I can go. However I discovered that linear algebra has a lot of common, at least when we work with linear space or try to solve system of linear equations.
I met first severe problems when decided to work with tensor product. I saw that non-commutativity may cause strong problems. Moving to calculus I realised that there exists new type of map between vector spaces. This map holds sum of vectors, however it does not hold product of vector over scalar. This is why I called such map additive.
When I returned back to linear algebra additive map helped me to define tensor product of vector spaces. Because we can consider division ring as vector space we can define tensor product of division rings. Tensor product of division rings is not division ring and tensor product of vector spaces is not vector space. However this module has basis over tensor product of rings.
Quaternion algebra is an example of division ring.
You can read my papers in arXiv
eprint arXiv:math.GM/0701238 Lectures on Linear Algebra over Division Ring, 2007
eprint arXiv:0812.4763 Introduction into Calculus over Division Ring, 2008