Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

The question: Is the multiplication result of two unit-length quaternions "perpendicular" to both operands? "Perpendicular" means that dot product between either operand and multiplication result will be zero (as with vector3 cross-product). Operands (say q1 and q2) are not equal to each other.

Reason for asking: I'm trying to understand quaternion rotations from purely geometric point of view (even if it is 4d). For example, 3x3 affine transform matrix in 3d space can be represented as a new coordinate system into which a point should be placed, and each row(or column - depending on notation) of such matrix will represent a vector of a coordinate axis of the "new" coordinate system. So to transform a point with matrix, you simply take every vector that represents axis of a "new" coordinate system, scale it using numeric value of corresponding x/y/z of the point to transform, and add them all together to get new point. Such representation is very easy to understand. I'm looking for similar explanation of quaternions, and If I get confirmation that result of quaternion multiplication is "perpendicular" to both operands that would be at least something to get started.

Regards, SigTerm.

share|cite|improve this question
1 times 1 =1, not orthogonal to itself. I think you may be looking looking for such orthogonality for "purely imaginary" quaternions, in which case multiplication is the cross product. – Max Mar 29 '11 at 23:04
@Max I'm looking for analogies between 4d quaternion multiplication and 3d space's vector cross product. In 3d cross product between v and v or v and -v also won't give you perpendicular vector. Purely imaginary quaternions is not what I'm looking for. – SigTerm Mar 29 '11 at 23:09
@Max: Multiplication of purely imaginary quaternions is not the cross product, as $i\times i = -1$ would mean that the cross product of two vectors is not a vector. See my answer for the definition. – Alex Becker Mar 29 '11 at 23:19
@Alex: Ok, more precise wording: the imaginary part of the product of two imaginary quaternions is their cross product. In your example the cross product is 0. The real part of the product is minus the dot product. – Max Mar 30 '11 at 9:21
@SigTerm: The cross product between v and v will give you zero, which is orthogonal to everything. – Max Mar 30 '11 at 9:24
up vote 1 down vote accepted


Also, keep in mind that there are several different naming conventions in use for quaternions and that they are often used to represent motions in $\mathbb{R}^3$, not $\mathbb{R}^4$. By "unit length quaternions" you may mean quaternions of the form $a_0 + a_1i +a_2j + a_3k$ such that $\sum_ia_i^2 = 1$. However, quaternions are often broken up into a "scalar part", $a_0$, and a "vector part", $a_1i + a_2j + a_3k$, and used in this way to model three dimensional space. With this convention, a "unit vector quaternion" is one of the form $a_1i + a_2j + a_3k$ such that $a_1^2 + a_2^2 + a_3^2 = 1$.

The cross product in $\mathbb{R}^3$ can however be defined in terms of quaternions. Given two quaternions $a$ and $b$, their cross product is $.5(ab - b^*a^*)$, where $^*$ denotes conjugation.

share|cite|improve this answer

let $x=ai+bj+ck, y=di+ej+fk$ (pure quaternions). then $xy=-(ad+be+cf)+(bf-ce)i+(af-cd)j+(ae-bd)k$. if $u=(a,b,c), v=(d,e,f)$ then the real part of $xy$ is $-u\cdot v$ and the "imaginary" part of $xy$ is $u\times v$.

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.