I am reading Matej Bresar's book, "Introduction to Noncommutative Algebra" and am currently focussed on Chapter 1: Finite Dimensional Division Algebras ... ...(adsbygoogle = window.adsbygoogle || []).push({});

I need help with some aspects of the proof of Lemma 1.3 ... ...

Lemma 1.3 reads as follows:

In the above text by Matej Bresar we read the following:

" ... ... Set ##i := \frac{1}{ \sqrt{ -u^2 } } u , \ \ j := \frac{1}{ \sqrt{ -v^2 } } v## , and ##k := ij##.

It is straightforward to check that (1.1) holds ... ... "

I need some help in proving that ##ij = -ji = k## ... sadly I cannot get past the point of substituting the relevant formulas ...

Hope someone can help ...

Peter

... I must admit that as I reflect further on Lemma 1.3 I am more confused than I first thought ... why is Bresar defining another 'multiplication' in V ... that is why define ##\circ## ... we already have a multiplication from D ... and how does the new definition ##\circ## play out when validating 1.1 ...EDIT

============================================================================

In order for readers of the above post to appreciate the context of the post I am

providing pages 1-3 of Bresar ... as follows ...

**Physics Forums - The Fusion of Science and Community**

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

# I Bresar, Lemma 1.3 - Real Quaternions ... Division Algebras

Have something to add?

Draft saved
Draft deleted

Loading...

Similar Threads - Bresar Lemma Real | Date |
---|---|

I Automorphisms of Central Simple Algebras/Bresar Example 1.27 | Dec 6, 2016 |

I Multiplication Maps on Algebras ... Bresar, Lemma 1.25 ... | Dec 5, 2016 |

I Left/Right Multiplication Maps on Algebras ... Bresar | Dec 3, 2016 |

I Bresar, Lemma 1.2 - Finite Division Algebras ... | Nov 19, 2016 |

I Finite Dimensional Division Algebras - Bresar Lemma 1.1 | Nov 16, 2016 |

**Physics Forums - The Fusion of Science and Community**