“…Our proof of Theorem 5.3 requires a detailed understanding of the orbits of Sp(K) on K, which we now review. The following is due to Dutta and Prasad [16,17]. By the Fundamental Theorem of Finitely Generated Abelian Groups, we can write A = p A p , where the direct product is over all primes p dividing |A|, and each A p has the form A p ∼ = Z p λ p,1 × · · · × Z p λ p,lp for a sequence λ p = (λ p,1 , . .…”