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.

Short proofs of theorems of Malyutin and Margulis

From invariant measures to orbit equivalence, via locally finite groups

Notes on a short-cut to the proof of the $\mathbf{M}_3$-$\mathbf{N}_5$ Theorem

Alternative proofs of the Conway-Gordon-Sachs Theorems

Exponential sums over small subgroups, revisited

Twisted Gaiotto equivalence for $\rm{GL}(M|N)$

An exposition of Jordan's original proof of his theorem on finite subgroups of $\GL_n(\C)$

One curious proof of Fermat's little theorem

Completing the proof of the Liebeck--Nikolov--Shalev conjecture

Random actions of homeomorphisms of Cantor sets embedded in a line and Tits alternative

An alternative proof of Kazhdan property for elementary groups

A simple proof of the Zolotareff-Frobenius theorem

Steps towards an elementary proof of frobenius' theorem

Various proofs of the Fundamental Theorem of Markov Chains

Fermat's Little Theorem and Gauss Congruence: Matrix Versions and Cyclic Permutations

An Alternative for Minimal Group Actions on Totally Regular Curves

An equivalence between inverse sumset theorems and inverse conjectures for the U^3 norm

Initiating the proof of the Liebeck--Nikolov--Shalev conjecture

Combinatorial proof of a Non-Renormalization Theorem

Two Simple Proofs of Müller's Theorem