example of quaternion definition and basic algebra

Quaternion Definition and Basic Algebra: Examples, Exercises, and Solutions

This entry is the self study companion to quaternion definition and basic algebra. Its purpose is to build fluency with quaternion notation and Hamilton multiplication before quaternions are used for axis angle rotations, attitude, or angular kinematics.

All exercises are stated first. Complete worked solutions follow afterward.

1 Formula summary

A quaternion is

q = qw + qxi + qyj + qzk,

(1)

with real coefficients. PhysicsLibrary displays components scalar first:

⌊ ⌋ qw | qx| [q]PL = |⌈ q |⌉ . y qz

(2)

The scalar and vector parts are

Sc(q) = qw, Vec (q) = qxi + qyj + qzk.

(3)

Hamilton’s basis rules are

2 2 2 i = j = k = − 1,

(4)

ij = k, jk = i, ki = j,

(5)

and reversing two distinct basis factors changes the sign. quaternion multiplication is associative and distributive but not generally commutative.

2 Exercises

Identify quaternion parts.
For
$q = 3 − 2i + 5j − 7k,$
determine q_w,q_x,q_y,q_z, the scalar part, the vector part, and the PhysicsLibrary scalar first component column. Is q pure? Is it a real quaternion?
Quaternion equality.
Let
$p = a + 2i − 3j + bk, q = 4 + ci − 3j + 5k.$
Find a,b,c such that p = q. Explain why a quaternion equality represents four real coefficient equations.
Addition and scalar multiplication.
Let
$p = 3 − 2i + 4j − k, q = − 1 + 5i + 2k.$
Compute p + q, p − q, −2p, and 3q. Verify 2(p + q) = 2p + 2q.
Hamilton basis multiplication.
Evaluate
$ik, ki, ji, kj,$

$4 2 ijk, jik, i , (ij) .$
Derive a cyclic product.
Starting from
$ijk = − 1,$
derive ij = k using associativity and k² = −1. Then derive jk = i in the same spirit.
Direct general product expansion.
Let
$p = 2 + i − 2j + k, q = − 1 + 3i + 2k.$
Compute pq by distributing all terms and using the basis multiplication table.
Order matters.
Using the same p and q, compute qp and the commutator

$[p,q] = pq − qp.$ (6)

Do the two quaternions commute?
A cancellation identity.
Show directly that

$2 (i + j) = − 2.$ (7)

Explain what incorrect extra term appears if i and j are treated as commuting symbols.
Associativity versus commutativity.
Verify explicitly that
$(ij)k = i(jk ),$
but
$ij ⁄= ji.$
State what each calculation demonstrates.
Distributivity.
Let
$p = 1 + i, q = j, r = k.$
Compute both sides of p(q + r) = pq + pr and (q + r)p = qp + rp.
Complex subalgebra.
Let
$p = a + bi, q = c + di,$
with real a,b,c,d. Show

$pq = (ac − bd ) + (ad + bc)i$ (8)

and verify pq = qp for this restricted pair. Explain why this does not imply that all quaternions commute.
Arbitrary unit pure quaternion.
Let
$2 2 2 u = ai + bj + ck, a + b + c = 1.$
Expand u² and prove

$u2 = − 1.$ (9)

Why is this result important for later axis based quaternion formulas?
Pure quaternion product and vector analysis.
Let
$u = uxi + uyj + uzk, v = vxi + vyj + vzk.$
Expand uv and show

$Sc (uv) = − u ⋅ v,$ (10)

while the vector part equals u × v. Use u = i, v = j as a sign check.
Storage order diagnostic.
Package A stores [q_w,q_x,q_y,q_z] and Package B stores [q_x,q_y,q_z,q_w]. Both use Hamilton multiplication. A student claims Package B must use a different quaternion algebra. Is the claim correct? Write
$q = 0.8 − 0.1i + 0.2j − 0.55k$
in the array order expected by both packages.
Multiplication convention versus attitude convention.
An engineer writes quaternions scalar first and states
$ij = − k.$
A colleague says the minus sign must indicate a passive attitude convention. Evaluate the claim. What does the basis equation actually reveal, and what additional information is required to decide whether an attitude quaternion is active or passive?

3 Solutions

Solution 1: identify quaternion parts

For

q = 3 − 2i + 5j − 7k,

we have

qw = 3, qx = − 2, qy = 5, qz = − 7.

Therefore

Sc(q) = 3,

(11)

and

Vec(q) = − 2i + 5j − 7k.

(12)

The component column is

⌊ ⌋ 3 |− 2| [q]PL = |⌈ 5 |⌉ . − 7

(13)

A pure quaternion has zero scalar part, so q is not pure. A real quaternion has zero vector part, so q is not real either.

Solution 2: quaternion equality

Equality requires corresponding coefficients to agree. Thus

a = 4, c = 2, − 3 = − 3, b = 5.

Hence

a = 4, b = 5, c = 2.

(14)

A quaternion has four independent real coefficients, so one quaternion equality is shorthand for four real equations.

Solution 3: addition and scalar multiplication

Componentwise addition gives

p + q = 2 + 3i + 4j + k.

(15)

Subtraction gives

p − q = 4 − 7i + 4j − 3k.

(16)

Also,

− 2p = − 6 + 4i − 8j + 2k,

(17)

and

3q = − 3 + 15i + 6k.

(18)

Finally,

2(p + q) = 4 + 6i + 8j + 2k,

and direct addition of 2p and 2q gives the same result.

Solution 4: Hamilton basis multiplication

Using the Hamilton table,

ik = − j, ki = j,

ji = − k, kj = − i.

Also,

ijk = (ij)k = k2 = − 1,

while

jik = (− k)k = 1.

Since i² = −1,

4 i = 1,

and

2 2 (ij) = k = − 1.

Solution 5: derive a cyclic product

Starting with

ijk = − 1,

right multiply by −k:

(ijk)(− k) = (− 1 )(− k).

Associativity gives

ij[k(− k)] = k.

Because k(−k) = 1,

ij = k.

(19)

Similarly, left multiply the fundamental relation by −i:

(− i)(ijk) = (− i)(− 1).

Since (−i)i = 1,

jk = i.

(20)

Solution 6: direct general product expansion

Distribute without changing factor order:

pq = 2(− 1) + 2(3i) + 2(2k ) + i(− 1) + 3i2 + 2ik 2 − 2j(− 1 ) − 6ji − 4jk + k(− 1) + 3ki + 2k .

Use

2 2 i = k = − 1, ik = − j, ji = − k, jk = i, ki = j.

Collecting coefficients gives

pq = − 7 + i + 3j + 9k.

(21)

Solution 7: order matters

Reversing the factors gives

qp = − 7 + 9i + j − 3k.

(22)

Therefore

[p,q] = pq − qp = (− 7 + i + 3j + 9k ) − (− 7 + 9i + j − 3k ),

[p,q] = − 8i + 2j + 12k.

(23)

The commutator is nonzero, so p and q do not commute.

Solution 8: a cancellation identity

Expand in factor order:

(i + j)2 = i2 + ij + ji + j2.

Thus

2 (i + j) = − 1 + k − k − 1 = − 2.

Therefore

2 (i + j) = − 2.

(24)

If the basis elements were incorrectly assumed to commute, the middle terms would be combined as 2ij = 2k, which is wrong because ij≠ji.

Solution 9: associativity versus commutativity

First,

(ij)k = kk = − 1.

Also,

i(jk ) = ii = − 1.

Hence associativity holds in this example. But

ij = k, ji = − k,

so commutativity fails. Quaternion factors may be regrouped but not generally reordered.

Solution 10: distributivity

For the first identity,

p(q + r) = (1 + i)(j + k) = j + k + ij + ik = j + k + k − j = 2k.

Separately,

pq = j + k, pr = k − j,

so pq + pr = 2k. For the second identity,

(q + r)p = (j + k )(1 + i) = j + k + ji + ki = j + k − k + j = 2j.

Also,

qp = j − k, rp = k + j,

so qp + rp = 2j.

Solution 11: complex subalgebra

Multiply directly:

pq = (a + bi)(c + di) 2 = ac + adi + bci + bdi = (ac − bd) + (ad + bc)i.

Thus

pq = (ac − bd) + (ad + bc)i.

(25)

Reversing the factors yields the same expression because the real coefficients commute and only one imaginary basis direction is present. This restricted set is a copy of the complex numbers inside the quaternions. It does not imply that general quaternions commute because different imaginary basis directions do not commute.

Solution 12: arbitrary unit pure quaternion

Expand

u2 = a2i2 + b2j2 + c2k2 + ab(ij + ji) + ac(ik + ki) + bc(jk + kj).

Each mixed pair cancels because reversing distinct Hamilton basis factors changes the sign. Hence

u2 = − a2 − b2 − c2.

Using a² + b² + c² = 1 gives

u2 = − 1.

(26)

Thus every unit pure quaternion behaves algebraically like an imaginary unit. Later, this allows an arbitrary spatial unit axis to appear naturally inside quaternion axis angle formulas.

Solution 13: pure quaternion product and vector analysis

Expanding uv gives the scalar terms

− uxvx − uyvy − uzvz,

Sc (uv) = − u ⋅ v.

(27)

The vector terms are

(u v − u v )i + (u v − u v )j + (u v − u v )k, y z z y z x x z x y y x

which is exactly u × v. Therefore

uv = − u ⋅ v + u × v.

(28)

For u = i and v = j, the dot product is zero and the cross product is k, so the formula gives ij = k as required.

Solution 14: storage order diagnostic

The claim is incorrect. Storage order changes only the order of the four real coefficients in memory or display; it does not change Hamilton multiplication. For Package A,

[0.8, − 0.1,0.2,− 0.55].

(29)

For Package B,

[− 0.1,0.2,− 0.55,0.8].

(30)

The semantic quaternion is identical in both cases.

Solution 15: multiplication convention versus attitude convention

The colleague’s claim is incorrect. The basis equation

ij = − k

identifies a multiplication law whose cross-like basis products are flipped relative to the PhysicsLibrary Hamilton rule ij = +k. It does not by itself identify active or passive attitude semantics. Likewise, scalar first notation only specifies coefficient ordering. To determine attitude semantics, one needs the declared physical map, for example an active vector rule such as

v′ = qvq∗,

or a frame labeled passive coordinate rule such as

Bv = Bq Av(Bq )∗. A A

Multiplication law, storage order, and attitude interpretation are separate convention choices.

4 Compact review

The central facts tested here are

q = qw + q,

(31)

2 2 2 i = j = k = − 1,

(32)

ij = k, ji = − k,

(33)

(pq)r = p(qr), p(q + r ) = pq + pr,

(34)

and, for pure quaternions,

uv = − u ⋅ v + u × v.

(35)

The last identity is the bridge to the next PhysicsLibrary quaternion entry, which develops the scalar vector Hamilton product in compact form.

5 Sources and exercise provenance

The exercises and solutions in this companion are newly written or expanded for PhysicsLibrary. Hamilton is the foundational historical source; Joly, Kelland and Tait, and Hathaway provide later systematic and pedagogical treatments. The present article uses modern scalar first engineering notation rather than reproducing historical notation.

References

[1] W. R. Hamilton, Elements of Quaternions, 2nd ed., edited by C. J. Joly, Longmans, Green, and Co., 1899. Internet Archive scan

[2] C. J. Joly, A Manual of Quaternions, Macmillan and Co., London, 1905. Internet Archive search

[3] P. Kelland and P. G. Tait, Introduction to Quaternions, with Numerous Examples, 2nd ed., Macmillan and Co., London, 1882. Internet Archive search

[4] A. S. Hathaway, A Primer of Quaternions, 1896. Project Gutenberg edition

License

Unless otherwise noted, this PhysicsLibrary entry is intended for release under the Creative Commons Attribution ShareAlike 4.0 International license.

"example of quaternion definition and basic algebra" is owned by bloftin.
(view preamble)