I don't understand the title at all: given that there is an isomorphism, any method of distinguishing an implementation of quaternions from the proposed alterna

I don't understand the title at all: given that there is an isomorphism, any method of distinguishing an implementation of quaternions from the proposed alternative is necessarily an arbitrary one.