2
votes
1answer
46 views

Is there a (hypercomplex) number system, in which addition is **not** commutative

Now, we all know and love the quaternions, in which multiplication is not commutative, and the fact that, in all Clifford algebras, exponentiation is not commutative. Having looked at the properties ...
1
vote
1answer
55 views

Every element with finite conjugates in the ring of real quaternions is a real number

Let $H$ be the ring of real quaternions and let $x$ be a member of $H$ having finite conjugates. Prove that $x$ is a real number. I worked a lot on this question, but no progress! :|
1
vote
2answers
188 views

Examples of a non commutative division ring

What are some examples of a non commutative division ring other than quaternions?
3
votes
2answers
177 views

Why is $x_1 i = i x_1$ for quaternions?

According to Wikipedia, $$x+y = (x_0+y_0)+(x_1+y_1) i+(x_2+y_2) j+(x_3+y_3) k$$ and $$\begin{align} x y &=( x_0 y_0 - x_1 y_1 - x_2 y_2 - x_3 y_3)\\ &+( x_0 y_1 + x_1 y_0 + x_2 y_3 - x_3 ...
2
votes
2answers
290 views

Proof that Quaternion Algebras are simple

I have a proof that every quaternion algebra over a field $A=\left(\frac{a,b}{F}\right)$ is simple, i.e. has no nontrivial two-sided ideals, which appeals to the algebraic closure of $F$ and the ...
3
votes
2answers
145 views

Why is any proper division subring of $\mathbb{H}$ contained in the center $Z(\mathbb{H})$?

Here is an idea I've been working on for self study. Suppose $S$ is a division subring of $\mathbb{H}$ (the quaternions, viewed as a subring of $M_2(\mathbb{C})$), which is stabilized by the maps ...
1
vote
1answer
57 views

Why do $\mathbb{C}$ and $\mathbb{H}$ generate all of $M_2(\mathbb{C})$?

For this question, I'm identifying the quaternions $\mathbb{H}$ as a subring of $M_2(\mathbb{C})$, so I view them as the set of matrices of form $$ \begin{pmatrix} a & b \\ -\bar{b} & \bar{a} ...
27
votes
2answers
1k views

Why are the only division algebras over the real numbers the real numbers, the complex numbers, and the quaternions?

Why are the only (associative) division algebras over the real numbers the real numbers, the complex numbers, and the quaternions? Here a division algebra is an associative algebra where every ...