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.

A combinatorial proof of the Removal Lemma for Groups

On the removal lemma for linear configurations in finite abelian groups

Exterior Algebras and Two Conjectures on Finite Abelian Groups

A Proof of Green's Conjecture Regarding the Removal Properties of Sets of Linear Equations

An efficient asymmetric removal lemma and its limitations

A Combinatorial Proof of a generalization of a Theorem of Frobenius

Combinatorial aspects of szemerédi ’ s theorem

Geometric proof of the $λ$-lemma

Combination theorems for geometrically finite convergence groups

Combinatorial proof of a Non-Renormalization Theorem

Submodular functions in additive combinatorics problems for group actions and representations

Regular partitions of gentle graphs

Central extensions of preordered groups

A simple proof of the Zolotareff-Frobenius theorem

Refined Absorption: A New Proof of the Existence Conjecture

Steps towards an elementary proof of frobenius' theorem

Goldbach Theorems for Group Semidomains

A Geometric Proof of Fermat’s Little Theorem

Deducing the multidimensional Szemeredi Theorem from an infinitary removal lemma

A proof of the Quadratic Reciprocity Law