Skip to main content
5 of 5
latex typo
Aurel
  • 5.4k
  • 2
  • 24
  • 38

How to construct an explicit isomorphism of the split Quaternion Algebra $(a,b)_F$ over the field $F$ to $\mathrm{Mat}_2(F)$

$\DeclareMathOperator\Mat{Mat}$How to construct an explicit isomorphism of the split quaternion algebra $(a,b)_F$ over the field $F$ to $\Mat_2(F)$?

As it is known that the algebra of quaternions is either a division ring or isomorphic to $\Mat_2(F)$ and in the second situation this quaternions are called split, I am interested in finding an algorithm to construct this explicit isomorphism.

I saw some result for $F = \mathbb{Q}(\sqrt{d})$ by Kutas, but what is the case with other fields, is there any not necessarily polynomial algorithm for them?