Nepedia
Back to Discover
Advanced Reader
🔢

Legendre symbol

math Maturity 7-9 mythology Next article →

This article covers sensitive topics: mythology. Parents can manage visibility in Parental Controls.

In number theory, the Legendre symbol is a specialized function used to identify quadratic residues. A quadratic residue is a number that can be expressed as a perfect square under a specific modulus. The Legendre symbol uses an odd prime number, denoted as p, and a positive integer, denoted as a. It provides a concise way to track whether a number is a residue or a non-residue. The symbol can result in three specific values: 1, -1, or 0. A value of 1 indicates that a is a quadratic residue modulo p. A value of -1 means a is a quadratic non-residue modulo p. A value of 0 occurs if a is a multiple of p.

The mechanism of the Legendre symbol relies on several mathematical properties and definitions. One way to define it is through an explicit formula. Another method uses Euler's criterion, which was discovered before Legendre's work. These two definitions are mathematically equivalent. The symbol is also a completely multiplicative function of its top argument. This means the product of two residues is a residue, and the product of two non-residues is also a residue. However, multiplying a residue by a non-residue results in a non-residue. For a fixed prime p, the sequence of these symbols is periodic with period p. This repeating pattern is known as the Legendre sequence.

Mathematicians categorize the symbol's behavior through various specific rules and supplements. One important rule involves the first supplement to the law of quadratic reciprocity. This rule specifically addresses the Legendre symbol of -1. Another rule is the second supplement, which handles the symbol for the number 2. The symbol also behaves predictably with generators. If g is a generator, then a is a quadratic residue if and only if its index is even. This property demonstrates that exactly half of the elements in the set are quadratic residues. The symbol also serves as the unique quadratic Dirichlet character modulo p.

The history of this notation is tied to the pursuit of the law of quadratic reciprocity. Adrien-Marie Legendre introduced the symbol around 1797 or 1798. He used it during his attempts to prove this fundamental law. Before Legendre, Carl Friedrich Gauss used different notations, such as aRp or aNp. Gauss used these to distinguish between residues and non-residues. Legendre's notation offered much greater typographical convenience for mathematicians. His work helped simplify the way researchers recorded quadratic residuosity.

Legendre's work has significant implications for modern computational mathematics. The symbol is deeply connected to the Fibonacci sequence. If p is a prime number, the Legendre symbol can relate to specific Fibonacci properties. These connections are used in the theory of Lucas sequences. Such sequences are vital for modern primality testing. Mathematicians also study sums of Legendre symbols, known as character sums. These sums help researchers understand the distribution of quadratic residues modulo a prime.

Several notable mathematical constants and formulas arise from the study of this symbol. For example, there are special formulas for the Legendre symbol when a is 2 or -2. If p is an odd prime not equal to 3, the symbol of -2 follows a specific pattern. Similarly, if p is not 5, the symbol of 5 follows its own rule. These specific cases allow for much faster calculations in number theory. Even complex proofs of quadratic reciprocity rely on these values. Mathematicians like Kronecker and Eisenstein developed different proofs using these concepts.

Finally, the Legendre symbol serves as a foundation for many advanced mathematical generalizations. The Jacobi symbol is a direct extension that allows the second argument to be a composite odd number. This is useful because it allows for efficient computation without needing full factorization. The Kronecker symbol goes even further by allowing the bottom argument to be any integer. There is also the power residue symbol, which generalizes the concept to higher powers. The Legendre symbol is simply the specific case where the power n equals 2. These related functions remain essential tools in algebraic number theory.

677 words

Where will your curiosity go next?

Keep exploring at your chosen reading level.

More to explore

What is Nepedia?

A free, ad-free encyclopedia for children. Every article is written at five reading levels, so the same page works for a five-year-old and a fifteen-year-old — use the level switcher above to see this one change. No account needed to read.