0
votes
1answer
40 views

Construction of Hyper-Complex Numbers

How does one construct a hyper-complex number multiplication table? For example: Quarternions: ...
2
votes
1answer
54 views

Tensor products and isomorphic algebras

I found that $\mathbb{C} \otimes_{\mathbb{R}} \mathbb{C} \simeq \mathbb{C} \oplus\mathbb{C}$ and that $ \mathbb{H} \otimes_{ \mathbb{R}} \mathbb{C} \simeq M_2( \mathbb{C})$. Could anybody hint me how ...
2
votes
1answer
35 views

Need help with this exercise about real division algebra

I am trying to solve the following exrcise: Prove that complex multiplication does not extend to a multiplication on $\mathbb R^3$ so as to make $\mathbb R^3$ into a real division algebra. I ...
1
vote
0answers
31 views

identifying $\mathbb H$$^n$ with $\mathbb C^{2n}$

Let $X \in M_n(\mathbb H)$ (Hermetian field). It is possible to make $\mathbb H$$^n$ into a $2n$-dimensional vector space over $\mathbb C$, for example, by embedding $\mathbb C$ into $\mathbb H$ as ...
1
vote
1answer
54 views

Isomorphism of quaternions with a matrix ring over real numbers

Let $\mathcal A$ be the algebra over the real numbers consisting of matrices of the form $$\begin{pmatrix} z&w\\ - \bar{w}& \bar{z} \end{pmatrix} \ (z, w \in \mathbb C). $$ $\mathcal A$ is in ...
2
votes
1answer
50 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 ...
0
votes
0answers
24 views

Is there a term for extending a finite magma by adding coefficients from fields?

For example, the Quaternion numbers at their base have the Cayley table: $ * = \begin{bmatrix} 1 & i & j & k \\ i & -1 & k & -j \\ j & -k & -1 & i \\ k & j ...
3
votes
0answers
89 views

Tensor product of the spaces of quaternions and complex numbers

Let $ \mathbb{H} $ be the ring of quaternions and make the vector space $A = \mathbb{H} \otimes \mathbb{C}$ into a ring by defining $$(a \otimes w)(b \otimes z) = (ab \otimes wz) $$ for $a,b ...
3
votes
1answer
39 views

Proof that the subalgebra generated by any two elements of $\mathbb{O}$ is isomorphic to $\mathbb{R}$, $\mathbb{C}$, or $\mathbb{H}$

In the wikipedia atrticle (http://en.wikipedia.org/wiki/Octonion) it is stated that "one can show that the subalgebra generated by any two elements of $\mathbb{O}$ is isomorphic to $\mathbb{R}$, ...
1
vote
0answers
39 views

Prove that $Q$ is a group under quaternion multiplication

Consider the subset $Q$ of the quaternions defined by $$Q=\{1,-1,i,-i,j,-j,k,-k\}.$$ Show that $Q$ is a group under quaternion multiplication. I know to prove something's a group, you must show ...
1
vote
2answers
45 views

Analogy between the quaternion ring and extensions of the rationals

I've started studing fields and their extensions. As an exercise I proved that $[\mathbb{Q}(\sqrt2,\sqrt3):\mathbb{Q}]=4$ by showing that $B=(1,\sqrt2,\sqrt3,\sqrt6)$ is a base for the extension field ...
5
votes
4answers
89 views

Show that $Q_8$ can't be embedded in $M_{2 \times 2}(\mathbb{R})$ as a group.

So, suppose that we're working in a field $F$. Consider the ring $M_{n \times n} (F)$ which is the set all $n \times n$ matrices with entries in $F$. Is it possible to determine whether a matrix ...
0
votes
1answer
62 views

non-division quaternion algebra is isomorphic to $2\times 2$ matrices

Let $k$ be a field of characteristic $\neq2$. Let $a,b\in k$ be nonzero elements. Let $A:=\left(\frac{a,b}{k}\right)$ be the quaternion algebra over $k$ with parameters $a,b$. Suppose $A$ is not a ...
1
vote
0answers
91 views

Indefinite quaternion algebra over Q

Let $D$ be an indefinite quaternion algebra over $\Bbb Q$. We have a chosen isomorphism $\iota \colon D \otimes_{\Bbb Q} {\Bbb R} \cong {\mathrm{M}}_2({\Bbb R})$. Q: If we choose another isomorphism ...
1
vote
1answer
119 views

Unit quaternions as rotations

How would one represent the map $f$ such that $f(1) = i, f(i) = -1$ and keeping $j$ and $k$ fixed as a quaternion representation of rotations?
4
votes
0answers
142 views

What specific algebraic properties are broken at each Cayley-Dickson stage beyond octonions?

I'm starting to come around to an understanding of hypercomplex numbers, and I'm particularly fascinated by the fact that certain algebraic properties are broken as we move through each of the $2^n$ ...
8
votes
3answers
135 views

Quaternions as an Algebra

I'm lacking some vital understanding about quaternions and algebras in general. If we first define $V=\{a+bi+cj+dk|a,b,c,d\in\mathbb{R}\}$. Then we define scalar multiplication, vector multiplication, ...
1
vote
1answer
56 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! :|
5
votes
3answers
73 views

Show that for $\forall a\in\mathbb{H}, \ \exists b \in\mathbb{H}: ab =ba = 1$.

Show that $\forall a\in\mathbb{H}, \ \exists b \in\mathbb{H}: ab =ba = 1.$ I am pretty sure I can easily google the multiplicative inverse in $\mathbb{H}$, but can you give me a hint on how to ...
1
vote
0answers
26 views

Enumeration of Hurwitz quaternions of norm p

In "on Quaternions and Octonions" by Conway and Smith, they quote a result by which for each prime norm $p$ there are exactly $p+1$ Hurwitz quaternions of norm $p$. I haven't found any proof of that. ...
1
vote
2answers
193 views

Examples of a non commutative division ring

What are some examples of a non commutative division ring other than quaternions?
0
votes
1answer
58 views

Automorphism of $Q_8$ [duplicate]

Is there anyone could help me to prove that $Aut(Q_8)=S_4$? Someone told me that there's an isomorphism between the rigid motions of cube and $Aut(Q_8)$, any ideas? Thank you!
3
votes
2answers
178 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 ...
4
votes
2answers
218 views

Trinonions, Quaternions, Quinonions, Sextonions, Septonions, Octonions

There are quaternions and octonions and even sextonions but what about trinonions, quinonions and septonions. Are there 3, 5, and 7 dimensional algebras which could be called trinonions, quinonions ...
0
votes
1answer
57 views

Pfister's 16-Square Identity and the norm of sedenions

Consider the sequence of numbers: complex numbers $\Bbb C$, quaternions $\Bbb H$, octonions $\Bbb O$, and sedenions $\Bbb S$. The Brahmagupta-Fibonacci 2-Square identity implies that the norm of the ...
11
votes
1answer
274 views

The Quaternions and $SO(4)$

I am interested in the map $\phi:S^3 \times S^3 \to GL_4(\mathbb{R})$ given as follows: Let $(p,q) \in S^3 \times S^3$. We identify $p$ and $q$ as real quaternions with unit norms and define ...
4
votes
1answer
108 views

Is there a name for a function whose square is an involution?

An involution is a function $f:X\to X$ such that $f\circ f=\text{id}$. Is there a name for a function $g:X\to X$ such that $f\equiv g\circ g$ is an involution? An example is multiplication by $\pm i$ ...
17
votes
2answers
503 views

Is the set of quaternions $\mathbb{H}$ algebraically closed?

A skew field $K$ is said to be algebraically closed if it contains a root for every non-constant polynomial in $K[x]$. I know that this is true for $\mathbb{C}$, which is the algebraic closure of ...
7
votes
1answer
169 views

Quaternion group associativity

Consider the eight objects $\pm 1, \pm i, \pm j, \pm k$ with multiplication rules: $ij=k,jk=i,ki=j,ji=-k,kj=-i,ik=-j,i^2=j^2=k^2=-1$, where the minus signs behave as expected and $1$ and $-1$ ...
1
vote
0answers
37 views

“adding” numbers $\in\mathbb{U\left(2\right)}\times \mathbb{R}^+_0$

Let a unitary number be one that corresponds to a matrix of the form: $$\left( \begin{array}{cc} w+i x & y+i z \\ -e^{i p} (y-i z) & e^{i p} (w-i x) \end{array} \right)$$ This is analogous to ...
2
votes
2answers
75 views

Equivalent conditions of quaternion matrix algebra

I am following Theorem 2.3.1 of Maclachlan's and Reid's The Arithmetic of Hyperbolic 3-Manifolds. We define a quaternion algebra $A=\left(\frac{a,b}{F}\right)$ over a field $F$ of characteristic ...
3
votes
1answer
72 views

Some questions about quaternions.

It is possible make something like complexification of a real vector space using quaternions? If yes, it's similar to complex case or there are considerable differences? Has been studied a quaternion ...
2
votes
2answers
296 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
3answers
130 views

Quaternions: Difference(s) between $\mathbb{H}$ and $Q_8$

What is the difference between $\mathbb{H}$ and $Q_8$? Both are called quaternions.
5
votes
2answers
196 views

$x^2+1=0$ uncountable many solutions [duplicate]

Possible Duplicate: Why are the solutions of polynomial equations so unconstrained over the quaternions? Coudl someone explain me the following: Why should $x^2+1=0$ have uncountable ...
2
votes
1answer
189 views

Unit elements in Hurwitz quaternions

Hurwitz quaternions are defined as: $$H_u = \left\{a+bi+cj+dk\mid (a,b,c,d) \in\mathbb{Z}\mbox{ or }(a,b,c,d) \in\mathbb{Z}+\frac{1}{2}\right\}$$ (that is, all integer or half integer quaternions). ...
46
votes
5answers
1k views

Why are the solutions of polynomial equations so unconstrained over the quaternions?

An $n$th-degree polynomial has at most $n$ distinct zeroes in the complex numbers. But it may have an uncountable set of zeroes in the quaternions. For example, $x^2+1$ has two zeroes in $\mathbb ...
10
votes
1answer
654 views

Why are properties lost in the the Cayley-Dickson construction?

Motivating question: What lies beyond the Sedenions? I'm aware that one can construct a hierarchy of number systems via the Cayley-Dickson process: $$\mathbb{R} \subset \mathbb{C} \subset ...
22
votes
2answers
1k views

What lies beyond the Sedenions

In the construction of types of numbers, we have the following sequence: $$\mathbb{R} \subset \mathbb{C} \subset \mathbb{H} \subset \mathbb{O} \subset \mathbb{S}$$ or: $$2^0 \mathrm{-ions} \subset ...
3
votes
2answers
218 views

what is the tensor product $\mathbb{H\otimes_{R}H}$

I'm looking for a simpler way of thinking about the tensor product: $\mathbb{H\otimes_{R}H}$, i.e a more known algbera which is isomorphic to it. I have built the algebra and played with it for a ...
3
votes
1answer
409 views

Why is quaternion algebra 4d and not 3d?

Why is quaternion algebra 4D and not 3D? Complex algebra is 2D and what is known as quaternion algebra jumps to 4D. $ i^2 = j^2 = k^2 = ijk = -1 $ Using $1, i, j,$ and $k$ as the base (where ...
5
votes
1answer
4k views

Rotate Quaternion A by 180 degrees

Suppose you have an arbitrary quaternion - call it A - how do you rotate it by 180 degrees? Is there a way to do this without convert to angle-axis representation, i.e., keep it within the ...
28
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 ...