Hi Dan: There's a lot of subtlety in my post that a quick scan might miss. There's a *huge* difference between 'i' and 'j', so the eye might not pick up on this subtlety. In the quaternions, 'i' is perpendicular to 'j', and 'i' doesn't commute with 'j'. BTW, 'k' is there: it is simply represented by 'ij' rather than by a separate symbol. My post is basically a rehash of the standard theorem about factoring SU(2) matrices into (diagonal complex)(real cos/sin)(diagonal complex) SU(2) matrices, but it does it completely within the quaternion framework. At 02:16 PM 10/13/2020, Dan Asimov wrote:

I skipped over sections of this post by Henry Baker to try to find the points that it included.

One point seems to be this:

----- We have thus factored our quaternion into two complex numbers sqrt(AB) and 1/sqrt(A'B), and a quaternion having only real (rather than complex) components. ----- But a general quaternion is *not* a product of quaternions that have zero j components and zero k components. So I not sure what this statement means.

—Dan