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.

The Rost invariant has zero kernel for quasi-split trialitarian groups

The Proof of Kazhdan-Mazur's Nonvanishing Hypothesis

Isotropy of unitary involutions

Vanishing of quasi-invariant generalized functions

Invariant rings of the special orthogonal group have nonunimodal $h$-vectors

Cohomologically Induced Distinguished Representations and a Non-Vanishing Hypothesis for Algebraicity of Critical L-values

Proof of a conjecture of Kudla and Rallis on quotients of degenerate principal series

Quadratic transformations of Macdonald and Koornwinder polynomials

A remark on the Rost Nilpotence Principle

Rost injectivity for classical groups over function fields of curves over local fields

On a conjecture of Khoroshkin and Tolstoy

On the existence of real R-matrices for virtual link invariants

Orbits and invariants for coisotropy representations

Totally orthogonal finite simple groups

Action of the automorphism group on the Jacobian of Klein's quartic curve II: Invariant theta functions

On involutions and indicators of finite orthogonal groups

Proof of the Broué-Malle-Rouquier conjecture in characteristic zero (after I. Losev and I. Marin - G. Pfeiffer)

The inverse theorem for the nonlinear Roth configuration: an exposition

A proof of Shelah's recent partition theorem

On the geometry of zero sets of central quaternionic polynomials

A simple proof of the Zolotareff-Frobenius theorem