quaternion conjugate QuaternionConjugate 2026-08-23 19:12:04 2026-08-26 02:49:04 Definition updated Related association and removed % symbols from keywords quaternion conjugate Hamilton product scalar part % vector part anti-automorphism noncommutative algebra % this is the default PhysicsLibrary preamble. as your knowledge % of TeX increases, you will probably want to edit this, but % it should be fine as is for beginners. % almost certainly you want these \usepackage{amssymb} \usepackage{amsmath} \usepackage{amsfonts} % used for TeXing text within eps files %\usepackage{psfrag} % need this for including graphics (\includegraphics) %\usepackage{graphicx} % for neatly defining theorems and propositions %\usepackage{amsthm} % making logically defined graphics %\usepackage{xypic} % there are many more packages, add them here as you need them % define commands here \section*{Quaternion Conjugate} Quaternion conjugation reverses the sign of the vector part of a quaternion while leaving the scalar part unchanged. If \[ q=q_w+q_x\mathbf i+q_y\mathbf j+q_z\mathbf k = q_w+\mathbf q, \] then the quaternion conjugate is \begin{equation} q^* = q_w-q_x\mathbf i-q_y\mathbf j-q_z\mathbf k = q_w-\mathbf q. \end{equation} Conjugation is one of the central operations in quaternion algebra. It separates scalar and vector parts, produces a real quantity when a quaternion is multiplied by its conjugate, reverses the order of a product, and becomes the multiplicative inverse when the quaternion has unit norm. In the later PhysicsLibrary attitude articles, unit quaternions represent passive coordinate transformations. Under that convention, conjugation has a direct frame meaning: it reverses the direction of the coordinate map. \section{Definition} For \[ q=q_w+\mathbf q, \] define \begin{equation} q^*=q_w-\mathbf q. \end{equation} In scalar first component form, \begin{equation} [q^*]_{\mathrm{PL}} = \begin{bmatrix} q_w\\ -q_x\\ -q_y\\ -q_z \end{bmatrix}. \end{equation} Thus conjugation changes the sign of the three imaginary coefficients and leaves the real coefficient unchanged. The notation $q^*$ is used throughout the PhysicsLibrary quaternion series. Other sources may use $\overline q$, $q^\dagger$, or another symbol. A dagger is also widely used for conjugate transpose of matrices, so an unfamiliar source should always be checked before importing formulas. \section{Basic examples} If \[ q=3-2\mathbf i+4\mathbf j-\mathbf k, \] then \begin{equation} q^* = 3+2\mathbf i-4\mathbf j+\mathbf k. \end{equation} If $q$ is real, \[ q=a, \] then \begin{equation} q^*=q. \end{equation} If $q$ is pure, \[ q=\mathbf q, \] then \begin{equation} q^*=-q. \end{equation} The real quaternions are therefore exactly the quaternions fixed by conjugation, while pure quaternions reverse sign. \section{Conjugation is an involution} Applying conjugation twice returns the original quaternion: \begin{equation} (q^*)^*=q. \end{equation} Indeed, \[ q=q_w+\mathbf q \] gives \[ q^*=q_w-\mathbf q, \] and a second conjugation gives \[ (q^*)^*=q_w+\mathbf q=q. \] An operation that is its own inverse is called an \emph{involution}. \section{Conjugation and addition} Let \[ p=p_w+\mathbf p, \qquad q=q_w+\mathbf q. \] Then \[ p+q=(p_w+q_w)+(\mathbf p+\mathbf q). \] Conjugating gives \begin{equation} (p+q)^* = p^*+q^*. \end{equation} Similarly, for a real scalar $a$, \begin{equation} (aq)^*=a q^*. \end{equation} Thus conjugation is linear over real scalars. \section{Conjugation reverses the order of multiplication} The most important structural identity is \begin{equation} (pq)^* = q^*p^*. \end{equation} The factor order reverses. This is essential because quaternion multiplication is not commutative. To derive the result, write \[ p=(p_w,\mathbf p), \qquad q=(q_w,\mathbf q). \] The Hamilton scalar vector product is \[ pq = \left( p_wq_w-\mathbf p\cdot\mathbf q,\; p_w\mathbf q+q_w\mathbf p+\mathbf p\times\mathbf q \right). \] Conjugating this product changes the sign of its vector part: \[ (pq)^* = \left( p_wq_w-\mathbf p\cdot\mathbf q,\; -p_w\mathbf q-q_w\mathbf p-\mathbf p\times\mathbf q \right). \] Now \[ q^*=(q_w,-\mathbf q), \qquad p^*=(p_w,-\mathbf p). \] Their product is \[ \begin{aligned} q^*p^* ={}& \left( q_wp_w-(-\mathbf q)\cdot(-\mathbf p),\right.\\ &\left. q_w(-\mathbf p)+p_w(-\mathbf q) +(-\mathbf q)\times(-\mathbf p) \right). \end{aligned} \] Because the dot product is symmetric and \[ \mathbf q\times\mathbf p = -\mathbf p\times\mathbf q, \] this becomes exactly \[ q^*p^* = \left( p_wq_w-\mathbf p\cdot\mathbf q,\; -p_w\mathbf q-q_w\mathbf p-\mathbf p\times\mathbf q \right). \] Therefore \[ (pq)^*=q^*p^*. \] Conjugation is consequently an anti homomorphism of quaternion multiplication: it preserves multiplication only after reversing factor order. \section{Conjugating a product of many factors} Repeated use of equation (10) gives \begin{equation} (q_1q_2\cdots q_n)^* = q_n^*\cdots q_2^*q_1^*. \end{equation} Every factor is conjugated and the entire order is reversed. For three factors, \[ (abc)^*=c^*b^*a^*. \] This identity becomes especially useful in frame composition and in simplifying quaternion coordinate transformation expressions. \section{Scalar and vector parts from conjugation} Conjugation gives convenient formulas for extracting the scalar and vector parts of a quaternion. Add $q$ and $q^*$: \[ q+q^* = (q_w+\mathbf q)+(q_w-\mathbf q) = 2q_w. \] Therefore \begin{equation} \operatorname{Sc}(q) = \frac{q+q^*}{2}. \end{equation} Subtract: \[ q-q^* = (q_w+\mathbf q)-(q_w-\mathbf q) = 2\mathbf q. \] Therefore \begin{equation} \operatorname{Vec}(q) = \frac{q-q^*}{2}. \end{equation} These formulas characterize the decomposition of a quaternion into parts that are unchanged and sign reversed by conjugation. \section{Product with the conjugate} Let \[ q=q_w+\mathbf q. \] Using the scalar vector product, \[ qq^* = (q_w,\mathbf q)(q_w,-\mathbf q). \] The scalar part is \[ q_w^2-\mathbf q\cdot(-\mathbf q) = q_w^2+\mathbf q\cdot\mathbf q, \] and the vector part is \[ q_w(-\mathbf q) + q_w\mathbf q + \mathbf q\times(-\mathbf q) = \mathbf 0. \] Hence \begin{equation} qq^* = q^*q = q_w^2+q_x^2+q_y^2+q_z^2. \end{equation} The result is always a nonnegative real number. This identity is the basis for the quaternion norm. It also leads directly to the inverse of every nonzero quaternion. \section{Relation to norm and inverse} The quaternion norm is defined by \[ \lVert q\rVert = \sqrt{qq^*}. \] Therefore \begin{equation} qq^*=q^*q=\lVert q\rVert^2. \end{equation} If $q\neq0$, divide by $\lVert q\rVert^2$ to obtain \begin{equation} q^{-1} = \frac{q^*}{\lVert q\rVert^2}. \end{equation} For a unit quaternion, \[ \lVert q\rVert=1, \] so \begin{equation} q^{-1}=q^*. \end{equation} This special case is fundamental in attitude mechanics because orientation quaternions are maintained at unit norm. \section{Conjugation of a passive frame quaternion} The algebraic operation above does not depend on any rotation convention. Its physical interpretation does. PhysicsLibrary uses a unit quaternion \[ {}^{B}q_A \] to map coordinates from frame $A$ into frame $B$: \begin{equation} {}^{B}v = {}^{B}q_A\, {}^{A}v\, ({}^{B}q_A)^*. \end{equation} Because the quaternion is unit, \[ ({}^{B}q_A)^{-1} = ({}^{B}q_A)^*. \] Therefore the inverse coordinate map is \begin{equation} {}^{A}q_B = ({}^{B}q_A)^*. \end{equation} It follows that \begin{equation} {}^{A}v = {}^{A}q_B\, {}^{B}v\, ({}^{A}q_B)^*. \end{equation} Conjugating a unit frame quaternion therefore reverses the map direction: \[ A\longrightarrow B \] becomes \[ B\longrightarrow A. \] This is the quaternion counterpart of transposing a passive direction cosine matrix. \section{Passive axis angle interpretation} Suppose frame $B$ is obtained from frame $A$ by a positive right hand rule frame rotation through angle $\theta$ about unit axis $\widehat{\mathbf u}$. Under the PhysicsLibrary passive convention, \begin{equation} {}^{B}q_A = \cos\frac{\theta}{2} - \widehat{\mathbf u}\sin\frac{\theta}{2}. \end{equation} Conjugation gives \begin{equation} {}^{A}q_B = \cos\frac{\theta}{2} + \widehat{\mathbf u}\sin\frac{\theta}{2}. \end{equation} Thus conjugation reverses the passive frame transformation. The same numerical quaternion on the right side of equation (23) is also the familiar positive active rotor for the corresponding physical vector rotation in a fixed frame. This distinction is why a sign change in the vector part must not be described without also stating the intended frame map. \section{Relationship to direction cosine matrices} Let \[ {}^{B}C_A = C({}^{B}q_A) \] be the passive direction cosine matrix corresponding to the unit quaternion ${}^{B}q_A$. The inverse frame map satisfies \[ {}^{A}C_B = ({}^{B}C_A)^{-1}. \] Since a direction cosine matrix is orthogonal, \[ ({}^{B}C_A)^{-1} = ({}^{B}C_A)^T. \] Quaternion conjugation gives the same result: \begin{equation} C(q^*) = C(q)^T. \end{equation} Thus, for unit frame quaternions, \begin{equation} C(({}^{B}q_A)^*) = C({}^{A}q_B) = {}^{A}C_B = ({}^{B}C_A)^T. \end{equation} This provides a useful implementation check between quaternion and matrix orientation code. \section{Conjugation and frame composition} Suppose \[ {}^{B}q_A \] maps $A$ coordinates into $B$, and \[ {}^{C}q_B \] maps $B$ coordinates into $C$. The direct passive frame map is \begin{equation} {}^{C}q_A = {}^{C}q_B\,{}^{B}q_A. \end{equation} Conjugate both sides: \[ ({}^{C}q_A)^* = ({}^{B}q_A)^* ({}^{C}q_B)^*. \] Using the inverse frame labels, \begin{equation} {}^{A}q_C = {}^{A}q_B\,{}^{B}q_C. \end{equation} The reversed product order produced by conjugation is exactly what is required when the entire frame chain is traversed in the opposite direction. \section{Worked example 1: numerical conjugate} Let \[ q=2-3\mathbf i+4\mathbf j+5\mathbf k. \] Then \begin{equation} q^* = 2+3\mathbf i-4\mathbf j-5\mathbf k. \end{equation} Applying conjugation again returns \[ (q^*)^*=q. \] \section{Worked example 2: product with the conjugate} For \[ q=2-3\mathbf i+4\mathbf j+5\mathbf k, \] equation (15) gives \[ qq^* = 2^2+(-3)^2+4^2+5^2. \] Therefore \begin{equation} qq^*=54. \end{equation} The result is purely real. The norm is consequently \[ \lVert q\rVert=\sqrt{54}=3\sqrt6, \] and the inverse is \[ q^{-1} = \frac{1}{54} \left( 2+3\mathbf i-4\mathbf j-5\mathbf k \right). \] \section{Worked example 3: order reversal} Let \[ p=1+\mathbf i, \qquad q=1+\mathbf j. \] First, \[ pq = 1+\mathbf i+\mathbf j+\mathbf k. \] Therefore \[ (pq)^* = 1-\mathbf i-\mathbf j-\mathbf k. \] Now compute the reversed conjugate product: \[ q^*p^* = (1-\mathbf j)(1-\mathbf i). \] Expanding, \[ \begin{aligned} q^*p^* &= 1-\mathbf i-\mathbf j+\mathbf j\mathbf i\\ &= 1-\mathbf i-\mathbf j-\mathbf k. \end{aligned} \] Hence \[ (pq)^*=q^*p^*. \] If one incorrectly used $p^*q^*$, the sign of the $\mathbf k$ term would be wrong. \section{Worked example 4: reversing a passive frame rotation} Let frame $B$ be obtained from frame $A$ by a positive $90^\circ$ rotation about $+z$. The PhysicsLibrary passive quaternion is \[ {}^{B}q_A = \frac{\sqrt2}{2} - \frac{\sqrt2}{2}\mathbf k. \] Its conjugate is \[ {}^{A}q_B = ({}^{B}q_A)^* = \frac{\sqrt2}{2} + \frac{\sqrt2}{2}\mathbf k. \] The first quaternion maps coordinate components from $A$ to $B$. The conjugate maps them from $B$ back to $A$. If a fixed physical vector has \[ {}^{A}\mathbf v = \begin{bmatrix} 1\\0\\0 \end{bmatrix}, \] then the positive frame rotation produces \[ {}^{B}\mathbf v = \begin{bmatrix} 0\\-1\\0 \end{bmatrix}. \] Applying the conjugate frame map returns \[ {}^{A}\mathbf v = \begin{bmatrix} 1\\0\\0 \end{bmatrix}. \] \section{Common pitfalls} \begin{enumerate} \item \textbf{Changing the scalar part.} Quaternion conjugation leaves $q_w$ unchanged and reverses only the vector part. \item \textbf{Forgetting product order reversal.} The correct identity is \[ (pq)^*=q^*p^*, \] not $p^*q^*$. \item \textbf{Assuming $q^*=q^{-1}$ for every quaternion.} This is true only for unit quaternions. In general, \[ q^{-1}=q^*/\lVert q\rVert^2. \] \item \textbf{Confusing quaternion conjugation with component storage order.} Scalar first versus scalar last storage does not change the definition of the conjugate. \item \textbf{Confusing quaternion conjugation with complex conjugation of a matrix.} The operations are related in some representations but are not the same object. \item \textbf{Conjugating a passive frame quaternion without reversing its frame meaning.} For unit frame quaternions, \[ {}^{A}q_B=({}^{B}q_A)^*. \] \item \textbf{Changing Hamilton multiplication because the attitude interpretation is passive.} Conjugation and passive frame interpretation do not change the Hamilton product. \end{enumerate} \section{Exercises} The exercises are stated first so the article can be used for self study. Complete solutions follow afterward. \begin{enumerate} \item \textbf{Direct conjugation.} For \[ q=4-2\mathbf i+7\mathbf j-3\mathbf k, \] find $q^*$. \item \textbf{Pure and real cases.} Find the conjugate of \[ q=5 \] and of \[ p=2\mathbf i-\mathbf j+4\mathbf k. \] \item \textbf{Double conjugation.} Prove directly that \[ (q^*)^*=q. \] \item \textbf{Scalar and vector extraction.} Starting from $q=q_w+\mathbf q$, derive \[ \operatorname{Sc}(q)=\frac{q+q^*}{2} \] and \[ \operatorname{Vec}(q)=\frac{q-q^*}{2}. \] \item \textbf{Product with the conjugate.} For \[ q=1+2\mathbf i-2\mathbf j+\mathbf k, \] compute $qq^*$. \item \textbf{Order reversal.} Let \[ p=1+\mathbf i, \qquad q=2+\mathbf j. \] Compute $(pq)^*$ and $q^*p^*$ and verify that they agree. \item \textbf{Incorrect order.} For the same $p$ and $q$, compute $p^*q^*$ and show that it differs from $(pq)^*$. \item \textbf{Unit quaternion inverse.} If $\lVert q\rVert=1$, prove that $q^*=q^{-1}$. \item \textbf{Passive frame inverse.} If ${}^{B}q_A$ is a unit quaternion mapping $A$ coordinates into $B$, write the quaternion that maps $B$ coordinates back into $A$. \item \textbf{Frame chain reversal.} Given \[ {}^{C}q_A = {}^{C}q_B\,{}^{B}q_A, \] conjugate the equation and derive the inverse frame chain. \end{enumerate} \section{Solutions} \subsection*{1. Direct conjugation} Starting from \[ q=4-2\mathbf i+7\mathbf j-3\mathbf k, \] reverse all three imaginary coefficients: \[ q^* = 4+2\mathbf i-7\mathbf j+3\mathbf k. \] \subsection*{2. Pure and real cases} A real quaternion is unchanged: \[ 5^*=5. \] For the pure quaternion \[ p=2\mathbf i-\mathbf j+4\mathbf k, \] the conjugate is \[ p^* = -2\mathbf i+\mathbf j-4\mathbf k = -p. \] \subsection*{3. Double conjugation} If \[ q=q_w+\mathbf q, \] then \[ q^*=q_w-\mathbf q. \] Conjugating again gives \[ (q^*)^* = q_w+\mathbf q = q. \] \subsection*{4. Scalar and vector extraction} Add: \[ q+q^* = (q_w+\mathbf q)+(q_w-\mathbf q) = 2q_w. \] Therefore \[ \operatorname{Sc}(q) = \frac{q+q^*}{2}. \] Subtract: \[ q-q^* = (q_w+\mathbf q)-(q_w-\mathbf q) = 2\mathbf q. \] Therefore \[ \operatorname{Vec}(q) = \frac{q-q^*}{2}. \] \subsection*{5. Product with the conjugate} For \[ q=1+2\mathbf i-2\mathbf j+\mathbf k, \] the squared norm is \[ 1^2+2^2+(-2)^2+1^2=10. \] Hence \[ qq^*=10. \] \subsection*{6. Order reversal} First, \[ \begin{aligned} pq &=(1+\mathbf i)(2+\mathbf j)\\ &=2+\mathbf j+2\mathbf i+\mathbf k. \end{aligned} \] Thus \[ (pq)^* = 2-2\mathbf i-\mathbf j-\mathbf k. \] Now \[ q^*=2-\mathbf j, \qquad p^*=1-\mathbf i. \] Then \[ \begin{aligned} q^*p^* &=(2-\mathbf j)(1-\mathbf i)\\ &=2-2\mathbf i-\mathbf j+\mathbf j\mathbf i\\ &=2-2\mathbf i-\mathbf j-\mathbf k. \end{aligned} \] Therefore \[ (pq)^*=q^*p^*. \] \subsection*{7. Incorrect order} Compute \[ \begin{aligned} p^*q^* &=(1-\mathbf i)(2-\mathbf j)\\ &=2-\mathbf j-2\mathbf i+\mathbf i\mathbf j\\ &=2-2\mathbf i-\mathbf j+\mathbf k. \end{aligned} \] This differs from \[ (pq)^* = 2-2\mathbf i-\mathbf j-\mathbf k. \] The factor order must reverse. \subsection*{8. Unit quaternion inverse} From \[ qq^*=\lVert q\rVert^2 \] and $\lVert q\rVert=1$, \[ qq^*=1. \] Similarly, \[ q^*q=1. \] Therefore $q^*$ is both the left and right inverse of $q$: \[ q^{-1}=q^*. \] \subsection*{9. Passive frame inverse} The inverse coordinate map is represented by the conjugate: \[ {}^{A}q_B = ({}^{B}q_A)^*. \] \subsection*{10. Frame chain reversal} Begin with \[ {}^{C}q_A = {}^{C}q_B\,{}^{B}q_A. \] Conjugating gives \[ ({}^{C}q_A)^* = ({}^{B}q_A)^* ({}^{C}q_B)^*. \] Relabeling each conjugate as the inverse frame map, \[ {}^{A}q_C = {}^{A}q_B\,{}^{B}q_C. \] Thus the conjugated chain traverses the same sequence of frames in the reverse direction. \section{What comes next} Quaternion conjugation immediately produces the real quantity \[ qq^*=q^*q. \] The next PhysicsLibrary article develops the quaternion norm from this identity and proves its important multiplicative properties. The following inverse article then uses conjugation and norm together to obtain \[ q^{-1} = \frac{q^*}{\lVert q\rVert^2}. \] Later orientation articles use the unit quaternion specialization $q^{-1}=q^*$ to reverse passive frame transformations, invert direction cosine matrices, and derive coordinate transformation and attitude kinematic formulas. \section{Sources and historical notes} Quaternion conjugation appears naturally in Hamilton's algebra and in later quaternion texts under several historical notations. Modern engineering notation often writes $q^*$ or $\overline q$ and interprets conjugation as reversing the vector part. Hamilton's \emph{Elements of Quaternions} and Joly's \emph{A Manual of Quaternions} provide public domain historical treatments. The modern PhysicsLibrary presentation emphasizes the anti order property, the relationship to norm and inverse, and the passive frame interpretation needed in mechanics and navigation. \begin{thebibliography}{9} \bibitem{Hamilton1899} W. R. Hamilton, \emph{Elements of Quaternions}, 2nd ed., edited by C. J. Joly, Longmans, Green, and Co., 1899. Public domain historical source. \PMlinkexternal{Internet Archive scan} {https://archive.org/details/elementsofquater01hamiuoft} \bibitem{Joly1905} C. J. Joly, \emph{A Manual of Quaternions}, Macmillan and Co., London, 1905. Public domain historical source. \PMlinkexternal{Internet Archive scan} {https://archive.org/details/manualofquaterni00jolyrich} \bibitem{Hathaway1896} A. S. Hathaway, \emph{A Primer of Quaternions}, 1896. Public domain historical source. \PMlinkexternal{Project Gutenberg edition} {https://www.gutenberg.org/ebooks/9934} \bibitem{WikibooksQuaternion} Wikibooks contributors, ``Abstract Algebra/Quaternions.'' Openly licensed instructional source. \PMlinkexternal{Wikibooks quaternion article} {https://en.wikibooks.org/wiki/Abstract_Algebra/Quaternions} \end{thebibliography} \section*{License} Unless otherwise noted, this PhysicsLibrary entry is intended for release under the Creative Commons Attribution ShareAlike 4.0 International license.