Skip to main content
3 of 3
TeX
LSpice
  • 12.9k
  • 4
  • 45
  • 69

How to prove that a quaternion algebra over ℤₚ is isomorphic to Mat₂(ℤₚ) for p prime?

How to prove without using advanced theorems that quaternions algebra $H = \genfrac(){}{}{-1,-1}{\mathbb{Z}_p}$, where $p$ is prime that $H \cong\operatorname{Mat}_2({\mathbb{Z}_p})$?

My ideas: I tried to build an explicit isomorphism, but as I think it is only possible when $p = 1 \pmod 4$, and for $p = 1 \pmod 4$ it get it. In my second attempt, I tried to look at them as vector spaces of the same dimension.