Symplectic group over integers and finite fields The problem was not so much the notation (which is fine), but the fact that you define $\operatorname{Sp}(2n,R)$ as a group, rather than an $R$-scheme. I'm sure this is what you meant, but it isn't what you're writing.