On the Rational Symplectic Group
摘要
We give a short proof of an elementary classical result: any rational symplectic matrix can be put in diagonal form after right and left multiplication by integral symplectic matrices. We also give a short proof for its extension to Chevalley groups due to Steinberg by using the Cartan-Bruhat-Tits decomposition over p-adic fields.