A proof of the Quadratic Reciprocity Law

Math Dicker

DOI: https://doi.org/10.48550/arXiv.1210.7744

2012-10-26

History and Overview

Abstract:A proof of the Quadratic Reciprocity Law is presented using a Lemma of Gauss, the theory of finite fields and the Frobenius automorfism.

What problem does this paper attempt to address?

A Minimalist Proof of the Law of Quadratic Reciprocity

Bogdan Veklych

DOI: https://doi.org/10.1080/00029890.2019.1655331

2021-06-09

Abstract:The shortest known proof of the law of quadratic reciprocity (without supplements) is presented.

History and Overview,Number Theory
Hermite's identity and the quadratic reciprocity law

Franz Lemmermeyer

DOI: https://doi.org/10.48550/arXiv.2206.01170

2022-05-10

Abstract:We give a short proof of the quadratic reciprocity law using Gauss's Lemma and Hermite's identity.

History and Overview,Number Theory
Quadratic reciprocity in a finite group

William Duke,Kimberly Spears

DOI: https://doi.org/10.48550/arXiv.math/0311453

2003-11-26

Abstract:In this article we define a quadratic symbol for a finite group and prove a law of reciprocity for its value.

Number Theory
Harbingers of Artin's Reciprocity Law. III. Gauss's Lemma and Artin's Transfer

Franz Lemmermeyer

DOI: https://doi.org/10.48550/arXiv.1202.5772

2012-02-26

Number Theory

Abstract:We briefly review Artin's reciprocity law in the classical ideal theoretic language, and then study connections between Artin's reciprocity law and the proofs of the quadratic reciprocity law using Gauss's Lemma.
Rational Quartic Reciprocity II

Franz Lemmermeyer

DOI: https://doi.org/10.48550/arXiv.1310.6597

2013-10-24

Abstract:We continue investigating rational quartic reciprocity laws and, at the suggestion of the editor of AA, provide details of a proof of a remark in the first article with this title.

Number Theory
On Finite Fields and Higher Reciprocity

Matias Carl Relyea

2024-08-03

Abstract:Cubic and biquadratic reciprocity have long since been referred to as "the forgotten reciprocity laws", largely since they provide special conditions that are widely considered to be unnecessary in the study of number theory. In this exposition of finite fields and higher reciprocity, we will begin by introducing concepts in abstract algebra and elementary number theory. This will motivate our approach toward understanding the structure and then existence of finite fields, especially with a focus on understanding the multiplicative group $\mathbb{F}^{*}$. While surveying finite fields we will provide another proof of quadratic reciprocity. We will proceed to investigate properties of the general multiplicative character, covering the concept of a general Gauss sum as well as basic notions of the Jacobi sum. From there we will begin laying the foundations for the cubic reciprocity law, beginning with a classification of the primes and units of the Eisenstein integers, denoted $\mathbb{Z}[\omega]$, and further investigations into the residue class ring $\mathbb{Z}[\omega]/\pi\mathbb{Z}[\omega]$ for $\pi$ prime, which is predominantly the world in which cubic reciprocity lies. We then define the cubic residue character and state the full law of cubic reciprocity. We will finish the section on cubic reciprocity with a brief survey of the cubic residue character of the even prime $2$ and state a significant result due to Gauss that summarizes the conditions for $2$ to be a cubic residue. We conclude with a brief survey of the law of biquadratic reciprocity.

Number Theory
A reciprocity law in function fields

DOI: https://doi.org/10.1007/s00013-024-02006-9

2024-05-17

Archiv der Mathematik

Abstract:We generalize Gauss' lemma over function fields, and establish a reciprocity law for power residue symbols. As an application, a reciprocity law for power residue symbols is established in totally imaginary function fields.

mathematics
Reciprocity via Reciprocants

Matthew Baker

2023-09-11

Abstract:The determinant of a skew-symmetric matrix has a canonical square root given by the Pfaffian. Similarly, the resultant of two reciprocal polynomials of even degree has a canonical square root given by their reciprocant. Computing the reciprocant of two cyclotomic polynomials yields a short and elegant proof of the Law of Quadratic Reciprocity.

Number Theory
Scholz's reciprocity law in number fields

Franz Lemmermeyer

DOI: https://doi.org/10.48550/arXiv.2101.03145

2021-01-08

Number Theory

Abstract:In this article we prove a reciprocity law in number fields with odd class number that specializes to Scholz's reciprocity law over the rationals.
Billiards, Checkers, and Quadratic Reciprocity

Johan Wästlund

2024-01-31

Abstract:We indulge in what mathematicians call frivolous activities. In Arithmetic Billiards, a ball is bouncing around in a rectangle. In Parity Checkers we place checkers on a checkerboard under certain parity constraints. Both activities turn out to capture the division of congruence classes modulo a prime into squares and non-squares, allowing fairly simple proofs of the celebrated Law of Quadratic Reciprocity. Since the activities are analyzed somewhat in parallel we don't obtain two independent proofs. But Franz Lemmermeyer's online list of reciprocity proofs already contains well over three hundred items, which seems enough anyway.

Number Theory
The Quadratic and Cubic Characters of 2

Matias Carl Relyea

2024-10-29

Abstract:The solvability of the cubic congruence $x^{3}\equiv 2\pmod{p}$ is referred to as the $\textit{cubic character of 2}$. In evaluating the cubic character of 2, we introduce the Eisenstein integers, Gauss and Jacobi sums, and the law of cubic reciprocity. We motivate this proof by giving ample historical information surrounding the early development of higher reciprocity laws as well as the Gauss' proof of the solvability of the quadratic congruence $x^{2}\equiv 2\pmod{p}$; conventionally the $\textit{quadratic character of 2}$. We simultaneously outline other relevant contributions by Fermat, Euler, Legendre, Jacobi, and Eisenstein.

Number Theory
A Short Proof of Jacobi's Formula for the Number of Representations of an Integer as a Sum of Four Squares

George Andrews,Shalsoh B. Ekhad,Doron Zeilberger

DOI: https://doi.org/10.48550/arXiv.math/9206203

1992-06-04

Abstract:A short and elementary proof, and a finite-form generalization, are given of Jacobi's formula for the number of ways of writing an integer as a sum of four squares (that implies Lagrange's famous 1777 theorem.)

Combinatorics
A Supplement to Scholz's Reciprocity Law

Franz Lemmermeyer

DOI: https://doi.org/10.4064/aa129-4-2

2013-10-24

Abstract:In this note we will present a supplement to Scholz's reciprocity law and discuss applications to the structure of 2-class groups of quadratic number fields.

Number Theory
The reciprocity law for the twisted second moment of Dirichlet L-functions

Matthew P. Young

DOI: https://doi.org/10.1515/FORM.2011.053

2007-08-22

Abstract:We produce a new proof of the reciprocity law for the twisted second moment of Dirichlet L-functions that was recently proved by Conrey. Our method is to analyze certain two-variable sums where the variables satisfy a linear congruence. We show that these sums satisfy an elegant reciprocity formula. In the case that the modulus is prime, these sums are closely related to the twisted second moment, and the reciprocity formula for these sums implies Conrey's reciprocity formula. We also extend the range of uniformity of Conrey's formula.

Number Theory
A simple proof of the Zolotareff-Frobenius theorem

E. Shult,R. Dressler

DOI: https://doi.org/10.1090/S0002-9939-1976-0389732-8

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.

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

Heinrich Steinlein

DOI: https://doi.org/10.4169/amer.math.monthly.124.6.548

2017-06-01

Abstract:In recent years, several papers appeared on generalizations of Fermat's little theorem and the Gauss congruence to integer square matrices. We will give simple and intuitive proofs deriving these matrix versions from the corresponding number-theoretic results.

mathematics
Classical Reciprocity Laws

Chandan Singh Dalawat

DOI: https://doi.org/10.48550/arXiv.1406.1857

2014-06-07

History and Overview

Abstract:Using the quadratic reciprocity law as the motivating example, we convey an understanding of classical reciprocity laws.
Division Algebras and Quadratic Reciprocity

Timothy J. Ford

2024-07-04

Abstract:The Grothendieck and Artin-Mumford exact sequences for the Brauer group of a function field in 1 or 2 variables are applied to derive reciprocity laws for $q$th power residues.

Rings and Algebras,Algebraic Geometry
An Elementary Proof of a Remarkable Relation Between the Squircle and Lemniscate

Zbigniew Fiedorowicz,Muthu Veerappan Ramalingam

2024-11-30

Abstract:It is well known that there is a somewhat mysterious relation between the area of the quartic Fermat curve $x^4+y^4=1$, aka squircle, and the arc length of the lemniscate $(x^2+y^2)^2=x^2-y^2$. The standardproof of this fact uses relations between elliptic integrals and the gamma function. In this article we generalize this result to relate areas of sectors of the squircle to arc lengths of segments of the lemniscate. We provide a geometric interpretation of this relation and an elementary proof of the relation, which only uses basic integral calculus.

History and Overview,Number Theory
A Quixotic Proof of Fermat's Two Squares Theorem for Prime Numbers

Roland Bacher

DOI: https://doi.org/10.1080/00029890.2023.2242034

2023-08-17

Abstract:Every odd prime number p has exactly (p+1)/2 different expressions as a sum ab + cd of two ordered products ab and cd such that min(a,b)>max(c,d) . An easy corollary is a proof of Fermat's Theorem expressing primes in 1+4N as sums of two squares.

mathematics

A proof of the Quadratic Reciprocity Law

A Minimalist Proof of the Law of Quadratic Reciprocity

Hermite's identity and the quadratic reciprocity law

Quadratic reciprocity in a finite group

Harbingers of Artin's Reciprocity Law. III. Gauss's Lemma and Artin's Transfer

Rational Quartic Reciprocity II

On Finite Fields and Higher Reciprocity

A reciprocity law in function fields

Reciprocity via Reciprocants

Scholz's reciprocity law in number fields

Billiards, Checkers, and Quadratic Reciprocity

The Quadratic and Cubic Characters of 2

A Short Proof of Jacobi's Formula for the Number of Representations of an Integer as a Sum of Four Squares

A Supplement to Scholz's Reciprocity Law

The reciprocity law for the twisted second moment of Dirichlet L-functions

A simple proof of the Zolotareff-Frobenius theorem

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

Classical Reciprocity Laws

Division Algebras and Quadratic Reciprocity

An Elementary Proof of a Remarkable Relation Between the Squircle and Lemniscate

A Quixotic Proof of Fermat's Two Squares Theorem for Prime Numbers