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 Adian-Rabin Theorem -- An English translation

Remarks and problems about algorithmic descriptions of groups

Agafonov's Proof of Agafonov's Theorem: A Modern Account and New Insights

The submonoid and rational subset membership problems for Artin groups

Inaccessibility and subinaccessibility. In two parts. Part II (in Russian)

Inaccessibility and subinaccessibility. In two parts. Part I (in Russian)

A translation of A.A.Vinogradov's "On the free product of ordered groups"

Typical Ramsey properties of the primes, abelian groups and other discrete structures

The Many Faces of the Subspace Theorem (after Adamczewski, Bugeaud, Corvaja, Zannier...)

The word problem of finitely presented special inverse monoids via their groups of units

Rational subsets of groups

Two Matrix Theorems Arising from Nilpotent Groups

A Combinatorial Proof of a generalization of a Theorem of Frobenius

Towards solid abelian groups: A formal proof of Nöbeling's theorem

A simple proof of the Zolotareff-Frobenius theorem

Linear equations with monomial constraints and decision problems in abelian-by-cyclic groups

A characterization of arithmetical invariants by the monoid of relations II: The monotone catenary degree and applications to semigroup rings

Matchings in matroids over abelian groups

Translation functors for locally analytic representations

Matsuda monoids and Artin's primitive root conjecture

Automatic Solving of Cubic Diophantine Equations Inspired by Ramanujan