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 Group Theory Proof of Pascal's Theorem

Proofs of power sum and binomial coefficient congruences via Pascal's identity

Variations on Pascal's Theorem

An Elementary Approach to the Group Law on Elliptic Curves

A Combinatorial Proof of a generalization of a Theorem of Frobenius

Pascal's Hexagon Theorem implies a Butterfly Theorem in the Complex Projective Plane

On determinants of matrices related to Pascal's triangle

Illumination of Pascal's Hexagrammum and Octagrammum Mysticum

Theorem Discovery Amongst Cyclic Polygons

Yet another proof from the Book: the Gauss theorem on regular polygons

From Pascal's Theorem to the geometry of Ziegler's line arrangements

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

The Determinants of Pascal Tensors

Remark on Pascal's Triangle

An Additive Theorem and Restricted Sumsets

An elaborate new proof of Cayley's formula

Combination theorems in convex projective geometry

The Pascal Matrix, Commuting Tridiagonal Operators and Fourier Algebras

A group theoretic proof of Frobenius' theorem

Gallai's Theorem

A simple proof of the Zolotareff-Frobenius theorem