Abstract:We give a noncomputational, elementary group-theoretic proof of the Zolotareff-Frobenius Theorem. We use no results from the theory of quadratic residues. Let A and k be coprime positive integers with k odd and greater than 1. By the symbol Z(h,k) we mean the sign of the permutation m induced on the residue classes modulo k obtained by multiplication by A. Theorem (Zolotareff-Frobenius). Zih,k) = (A/A:), the usual Jacobi symbol. Zolotareff [5] first proved this theorem for prime k. Frobenius, cf. [1], then found the general result and Lerch [2], Riesz [4] and Meyer [3] gave subsequent proofs. All these proofs of the general result are, to varying degrees, computational and it is our aim to give a noncomputational, elementary group-theoretic proof in the spirit of Zolotareff s original work. In the following, Sym (X) denotes the symmetric group on the finite set X. We also write sgn tr = 1 or 1 according as tr is an even or odd permutation of X, so that sgn: Sym(X) —» {1,-1} is the usual group homomorphism. Finally, if x is a residue class modulo n, then we write (x, n) for the common value of (y,n), y E x. \X\ denotes the cardinality of X. We make use of the following elementary facts: (1) Let a, E Sym(Aj), i = 1, ..., n. Let a = a, X a2X ■ ■ • X on be the permutation of X = Xxx ■ ■ ■ X Xn obtained by applying each a, to Xt. If y, = \X\ / \X{\, then n sgn (a) = II sgn (a,)-"'. (=1 Proof. Let a, E Sym (A) be obtained by applying a, to the ith coordinate, and the identity at all other coordinates. Then a, consists of _y, copies of the permutation a, so sgn(a,) = sgn(a,)J''. Since a = a, • a2 ■ ■ ■ a„, the result follows. (2) Let G be a transitive cyclic subgroup of Sym (A). Then \G\ = \X\ and for each x E G, sgn (x) = 1 if and only if x is a square in G. (3) Let A be a normal subgroup of odd order in G. Then xN is a square in G/N if and only if x is a square in G. (4) Up is an odd prime, then U(pk), the group of units (mod/?*), is cyclic Received by the editors April 30, 1975. AMS (MOS) subject classifications (1970). Primary 10A15, 20B05.

An alternative proof of Kazhdan property for elementary groups

Kazhdan's Property T for Discrete Quantum Groups

The Proof of Kazhdan-Mazur's Nonvanishing Hypothesis

Higher Kazhdan property and unitary cohomology of arithmetic groups

Kazhdan's orthogonality conjecture for real reductive groups

A connection between Lipschitz and Kazhdan constants for groups of homeomorphisms of the real line

Zeroth order quantum coherences and preparation of pseudopure state in homonuclear dipolar coupling spin systems

Proof of the Ginzburg-Kazhdan conjecture

Non Kahzdan's groups and a new approximation property for tracial von Neumann algebras

On affine Kazhdan-Lusztig R-polynomials for Kac-Moody groups

Kazhdan constants for Chevalley groups over the integers

Small cancellation and outer automorphisms of Kazhdan groups acting on hyperbolic spaces

A simple proof of the Zolotareff-Frobenius theorem

A new proof of the Herzog-Hibi-Zheng theorem

On the Elementary Proof of the Inverse Erdős-Heilbronn Problem

On quasi-homomorphism rigidity for lattices in simple algebraic groups

An algebraic groups perspective on Erdős-Ko-Rado

Short proofs of theorems of Malyutin and Margulis

Computation of Kazhdan-Lusztig polynomials and some applications to finite groups

Property $(FL_p)$ implies property $(FL_q)$ for $1<q<p<\infty$

A proof of Kolyvagin's Conjecture via the BDP main conjecture