2026/07/20 by Matthew de Courcy-Ireland
Mathematics · #math.GR #math.NT #math.RT
We give a proof of Fricke's trace identity using the exceptional spin double cover of an orthogonal group in four variables. We also explain how Fricke's identity is related to the double-angle formula from trigonometry as well as an identity for symplectic matrices.