For questions about the quaternions: a noncommutative four dimensional division algebra over the real numbers.

learn more… | top users | synonyms

19
votes
6answers
2k views

What is the motivation for quaternions?

I know imaginary numbers solve $x^2 +1=0$, but what is the motivation for quaternions?
8
votes
1answer
352 views

Why should I consider the components $j^2$ and $k^2$ to be $=-1$ in the search for quaternions?

I'm reading a paper about Hamilton's discovery of quaternions and it explains why he failed in his 'theory of triplets' where he tried to make a vector with $3$ dimensions, as an analogy to the ...
3
votes
1answer
63 views

Finding quaternion that transforms to particular basis

I want to find a quaternion $x \in{\mathbb{H}} $ that transforms (rotates) the $ i,j,k $ basis to a particular basis. In equations: $$ x i x^{-1} = a_1 $$ $$ x j x^{-1} = a_2 $$ $$ x k x^{-1} = a_3 ...
0
votes
1answer
74 views

Construction of Hyper-Complex Numbers

How does one construct a hyper-complex number multiplication table? For example: Quarternions: ...
1
vote
0answers
44 views

Strong Approximation for adelic quaternionic groups

Let $H$ be a definite quaternion algebra defined over $\mathbb{Q}$, unramified at $p$, and ramified at $\infty$. Denote by $D$ the multiplicative group $H^\times$ divided by its center. In this ...
0
votes
1answer
50 views

There is no group whose quotient by the center is isomorphic to the quaternion group [duplicate]

I have to prove that there is no group $G$ such that $G/Z(G)$ is isomorphic to $Q_8$. Anytone can give me an idea to begin? thanks
1
vote
3answers
90 views

Are $i,j,k$ commutative?

I am trying to understand quaternions. I read that Hamilton came up with the great equation: A) $i^2 = j^2 = k^2 = ijk = −1$ In this equation I understand that $i,j,k$ are complex numbers. Later ...
3
votes
3answers
125 views

Conversion of rotation matrix to quaternion

We use unit length Quaternion to represent rotations. Following is a general rotation matrix obtained ${\begin{bmatrix}m_{00} & m_{01}&m_{02} \\ m_{10} & m_{11}&m_{12}\\ m_{20} & ...
1
vote
0answers
15 views

Find path between two attitudes subject to body rate constraints

Here's my problem. I have an initial orientation and angular velocity of a body and a final orientation and velocity occurring at a specified time in the future. I have control over how input ...
0
votes
0answers
62 views

Rotation plane on the sphere (quarternion)

I asked similar question on stackoverflow but still no answers.http://stackoverflow.com/questions/25185329/image-rotation-with-the-gyro-data-math I assume it is more math than programming problem. ...
1
vote
2answers
113 views

Derive a quaternion from three axis

My problem originates from some code that I'm writing to parse an obscure file-type in which a geometric entity is defined in it's own 'local space', and a rotation and translation are provided to ...
2
votes
2answers
331 views

Solving for a Rotation Matrix Equation $R_1 R_\mathrm{x} R_2 = R_\mathrm{x}$

I would like to solve for an equation $R_1 R_\mathrm{x} R_2 = R_\mathrm{x}$ where $R_1$, $R_2$, and $R_\mathrm{x}$ are 3x3 rotation matrices, $R_1$ and $R_2$ are known, and $R_\mathrm{x}$ is unknown. ...
2
votes
1answer
74 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 ...
0
votes
1answer
134 views

Converting quaternions to spherical angles

Consider a situation where a beam is shot at a cube C from an arbitrary position P. The cube detects the angle of incidence relative to its $ x $ axis. The cube can be rotated and moved, and the ...
1
vote
0answers
62 views

can quaternions be expressed in terms of tensor products?

QUESTIONS does this arithmetic check out? if so, is there a geometric interpretation? note: my aim was to try to find a very simple but non-trivial example which might help me begin to understand ...
4
votes
1answer
71 views

Proving that $\mathbb R^3$ cannot be made into a real division algebra (and that extending complex multiplication would not work)

I am trying to solve the following exercise: 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. ...
4
votes
4answers
178 views

Need help determining the pairs of quaternions that anticommute

I tried to solve another exercise and I would be grateful if someone could tell me if my answer is right. This is the exercise: Characterize the pairs $p,q \in \mathbb H$ such that $pq = -qp$. I ...
1
vote
0answers
41 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 ...
3
votes
1answer
95 views

Commuting quaternions

I tried to solve the following exercise, please could somebody tell me if I did it right?: Prove that non-real elements $x,y \in \mathbb H$ commute if and only if their imaginary parts are ...
1
vote
1answer
309 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 ...
1
vote
1answer
43 views

Error performing multiplication of Quaternions

Alright I'm going to try one last time to explain my problem with quaternions and multiplication of two quaternions in specific. This time hopefully I'll get an explanation that makes sense. (I posted ...
0
votes
2answers
60 views

Smooth transition between two quaternions?

I am describing the orientation of an object with quaternion $q$. Now I want to describe (animate) smooth transition between orientations of $q_1$ and $q_2$. I was thinking that quaternion $q = q_1 ...
2
votes
1answer
76 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 ...
3
votes
1answer
85 views

What is the meaning of quaternion interpolation?

Suppose I take the average between two quaternions, how does one see the meaning of the resulting rotation to make sure it is sensible, unlike interpolating Euler angles? I'm looking for an argument ...
0
votes
2answers
47 views

Rotation between two vectors as a function of time (one parameter rational motion design)

Given a time varying vector: $\mathbf{w}(t) = \mathbf{u} + t\mathbf{v}$ I would like to find a rotation matrix $\mathbf{R}(t)$ that rotates the positive x-axis $[1, 0, 0]^T$ onto the vector ...
9
votes
1answer
285 views

Riemann Zeta function, quaternions and physics

Disclaimer: This question is rather vague, and thus probably not suitable for Mathoverflow, so I prefer to ask it here. I'm sorry if it doesn't meet the standards of this site. Several years ago, I ...
3
votes
0answers
343 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 ...
4
votes
2answers
641 views

What is a good geometric interpretation of quaternion multiplication?

I understand that the formula for quaternion multiplication of $q_1=(s_1,\vec{v_1})$ by $q_2=(s_2,\vec{v_2})$ $q_1q_2=(s_1s_2-\vec{v_1}\cdot\vec{v_2}, \vec{v_1} \times\vec{v_2} + \vec{v_1}s_2 + ...
0
votes
0answers
122 views

How to obtain relative rotation?

I have two rotations, each of which can be described as a roll, pitch, and yaw (in radians): $$ r_1 = (3.14159, 1.57080, 1.6) $$ $$ r_2 = (3.14159, 1.57080, 1.4) $$ I am interested in the relative ...
4
votes
1answer
63 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}$, ...
6
votes
4answers
157 views

What's the intuition for extending $\mathbb{C}$ to $\mathbb{H}$?

It seems to me that there is a clear, intuitive reason for extending the real number system to the complex number system. Namely, some polynomial equations that have no solutions in $\mathbb{R}$ ...
2
votes
0answers
41 views

Inner product space or Hilbert space of Quaternionic Functions

In what ways can you define an inner product, $<f,g>$, to create an inner product space or Hilbert space on the set of quaternionic functions $f:\mathbb{H} \rightarrow \mathbb{H}$?
6
votes
1answer
135 views

Do there exist equations that cannot be solved in $\mathbb{C}$, but can be solved in $\mathbb{H}$?

Excluding polynomials (whose solutions are covered by the Fundamental Theorem of Algebra), do there exist any univariable equations that cannot be solved in the complex numbers, but can be solved ...
1
vote
0answers
87 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
0answers
332 views

Transform a vector to global frame and ignore rotation about one axis or Full tilt compensated magnetometer

Good day everyone. I would like to lock the rotation about one specified axis. For example, let`s imagine that we have a quaternion which desribes the orientation of our rigid body relative to the ...
1
vote
1answer
44 views

Question about quaternionic conjugation

The quaternionic conjugation is defined by $$\begin{aligned}i &\mapsto -i\\j&\mapsto -j\\k&\mapsto -k\end{aligned}$$ But since $ij=k$, shouldn't we have that $k = ij \mapsto (-i)(-j) = ...
0
votes
1answer
69 views

Is there infinitely many “complex units”

As we know, $i$ = $\sqrt{-1}$, a simple complex unit. In complex space of two dimensions, you graph an axis of $a+bi$ where $i$ is your second dimension axis. Now, you also know, in three and four ...
3
votes
1answer
145 views

Quaternions, Lie Groups and Lie Algebras. Steps to realize a paper. [closed]

I have to realize a paper about quaternions and Lie Groups and Lie Algebras. How can I realize the links between quaternions and Lie Groups & Algebras. Which books do you recommend me? First, I ...
1
vote
1answer
118 views

Can different quaternions represent the same orientation?

For a current project I'm working on I have to use quaternions to represent the orientation of an object. The piece of code I'm working on now integrates rotation rates to the quaternion representing ...
4
votes
1answer
110 views

Are roots of unity in hypercomplex algebras well defined?

While playing around with cyclotomic fields, I started to wonder about taking the roots of unity in higher dimensional analogues of the complex plane. Are the roots of unity well defined in the ...
1
vote
2answers
266 views

Dual quaternion inverse

Is it true that for every dual quaternion $Q$ I can find it's inverse such that $QQ^{-1} = 1?$ Using the usual definition $Q^{-1}=\frac{Q^{*}}{||Q||^2}$ doesn't work for me, since the dual part ...
2
votes
0answers
50 views

Does Shor's algorithm work for noncommutitive or nonassociative algebras?

Shor's algorithm is said to solve the hidden subgroup problem for finite Abelian groups, at least according to the Wikipedia article I read. This means that it can be used to solve factoring or ...
0
votes
1answer
73 views

Motivation for construction of cross-product (Quaternions?)

I just found a very interesting article here: http://www.johndcook.com/blog/2012/02/15/dot-cross-and-quaternion-products/ The author observes that by defining i,j,k s.t. $i^2=j^2=k^2=ijk=-1$, ...
1
vote
1answer
175 views

Complex number with 3 dimensions [duplicate]

I was looking back on complex analysis and asked myself: ''Why is there no complex number in 3 dimensions ?''. To place this question let me define with what I mean with 3 dimensions in the following. ...
1
vote
1answer
40 views

Rotation orientations in n-dimensions

I'm doing a change of variables that involves doing simple rotations on the standard basis vectors in R^n, and I'm wondering what the standard orientations are in n dimensions are and why. For ...
2
votes
1answer
121 views

Is complex symplectic structure equivalent to a quaternionic structure?

Let $S$ be a vector space over $\mathbb{C}$ of dimension $\operatorname{dim} S =2n$, let me denote by $S_\mathbb{R}$ real form of $S$ i.e. vector space over $\mathbb{R}$ of dimension $4n$. Is it true ...
0
votes
1answer
223 views

How to rotate a 3d vector to be parallel to another 3d vector using quaternions?

I have a vector (a,b,c) and another vector (d,e,f). I'm trying to rotate (a,b,c) so its parallel to (d,e,f) using quaternions. I need help understanding how I would do this. I have so far that a ...
1
vote
2answers
59 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 ...
1
vote
1answer
552 views

How can I transform coordinate systems with quaternions?

I have a coordinate system $0$ which I'd first like to rotate about its $z$-axis which gives me system $1$, and afterwards rotate system $1$ about its $y$-axis which gives me system $2$. See picture: ...
3
votes
1answer
120 views

How to deal with multiple representations of quaternions

I'm using a quaternion to represent the orientation in a kalman filter. My algorithm works fine until I rotate "upside down". I think this is because there seems to be multiple ways to represent the ...