Oddbean new post about | logout
 @5fb5d869 - it does, thanks!   I was overlooking the difference between SL and PSL.

I'm going to call 2n "N".

Now that I think about it, there's an "obvious" element of order N in SL(2,F) where F is the rationals with a primitive Nth root of unity adjoined, say

ζ = exp(2πi/N) 

Namely, it's

ζ   0 
0 1/ζ

People who think about rotations a lot know this is conjugate to the real matrix

cos θ  -sin θ
sin θ   cos θ

where θ = 2π/N.  But  then the less obvious part is that's it's also conjugate to

0    1
-1 2cos θ

I think there's something I still don't understand well enough, some very classical stuff about the relation between the field F and ℚ[cos θ].