Weil (1964) noted that the formalism of the Stone–von Neumann theorem and the oscillator representation of the symplectic group extends from the real numbers R to any locally compact abelian group. A particularly simple example is provided by finite abelian groups, where the proofs are either elementary or simplifications of the proofs for R.