In number theory, a symbol is any of many different generalizations of the Legendre symbol. This article describes the relations between these various generalizations. The symbols below are arranged roughly in order of the date they were introduced, which is usually in order of increasing generality.
Legendre symbol defined for p a prime, a an integer, and takes values 0, 1, or −1.
Jacobi symbol defined for b a positive odd integer, a an integer, and takes values 0, 1, or −1. An extension of the Legendre symbol to more general values of b.
Kronecker symbol defined for b any integer, a an integer, and takes values 0, 1, or −1. An extension of the Jacobi and Legendre symbols to more general values of b.
Power residue symbol is defined for a in some global field containing the mth roots of 1, b a fractional ideal of K built from prime ideals coprime to m. The symbol takes values in the m roots of 1. When m = 2 and the global field is the rationals this is more or less the same as the Jacobi symbol.
Hilbert symbolThe local Hilbert symbol = is defined for a and b in some local field containing the m roots of 1 and takes values in the m roots of 1. The power residue symbol can be written in terms of the Hilbert symbol. The global Hilbert symbol is defined for a and b in some global field K, for p a finite or infinite place of K, and is equal tothe local Hilbert symbol in the completion of K at the place p.
Artin symbol The local Artin symbol or norm residue symbol is defined for L a finite extension of the local field K, α an element ofK, and takes values in the abelianization of the Galois group Gal. The global Artin symbol is defined for α in a ray class group or idele group of a global field K, and takes values in the abelianization of Gal for L an abelian extension of K. When α is in the idele group the symbol is sometimes called a Chevalley symbol or Artin–Chevalley symbol. The local Hilbert symbol of K can be written in terms of the Artin symbol for Kummer extensions L/K, where the roots of unity can be identified with elements of the Galois group.
"Chevalley symbol" has several slightly different meanings. It is sometimes used for the Artin symbol for ideles. A variation of this is the Chevalley symbol for p a prime ideal of K, a an element of K, and χ a homomorphism of the Galois group of K to R/Z. The value of the symbol is then the value of the character χ on the usual Artin symbol.
Norm residue symbol This name is for several different closely related symbols, such as the Artin symbol or the Hilbert symbol or Hasse's norm residue symbol. The Hasse norm residue symbol is defined if p is a place of K and α an element of K. It is essentially the same as the local Artin symbol for the localization of K at p. The Hilbert symbol is a special case of it in the case of Kummer extensions.
Steinberg symbol. This is a generalization of the local Hilbert symbol to arbitrary fields F. The numbers a and b are elements of F, and the symbol takes values in the second K-group of F.
