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

Does there exist a quaternion $q$ on the unit sphere such that, given the vanilla complex plane $\mathbb{C}$, $q\mathbb{C}q^{-1} = \bar{\mathbb{C}}$?

Motivation: ordinarily, the plane is rotated by multiplying it by a complex number in the unit circle. Taking the conjugate amounts to flipping the plane along the real axis, which can be viewed as a rotation.

share|cite|improve this question
This looks similar to the definition of a normal subgroup. – PEV Mar 18 '11 at 20:16
up vote 2 down vote accepted

As a variation on Joseph's answer:

Since $j \cdot 1 \cdot j^{-1} = 1$ while $j \cdot i \cdot j^{-1} = -i,$ we see that $j z j^{-1} = \overline{z}$ for any complex number $z$.

[This is a special case of a more general theorem, by the way: if $A$ is a central simple algebra over a field $K$, and $L$ is a field extension of $K$ contained in $A$, then any field automorphism of $L$ over $K$ can be realized via conjugation by an invertible element of $A$. This particular case is $A = \mathbb H$, $K = \mathbb R$, and $L = \mathbb C$.]

share|cite|improve this answer

I don't know if there's a single rotation that gives you what you want, but given any complex number $z$, the complex conjugate of $z$ is given by


Complex conjugation is a linear combination of quaternion rotations, at least. Note that this equation actually works for all quaternions.

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.