KroneckerSymbol

KroneckerSymbol[n,m]

gives the Kronecker symbol .

Details

KroneckerSymbol is also known as the Jacobi symbol or Legendre symbol.
Integer mathematical function, suitable for both symbolic and numerical manipulation.
KroneckerSymbol[n,1] gives 1.
KroneckerSymbol[n,-1] gives 1 whenever n is non-negative and otherwise.
For a number with a unit and primes, returns $TemplateBox[{n, u}, KroneckerSymbol] TemplateBox[{n, {p, _, 1}}, KroneckerSymbol] ...TemplateBox[{n, {p, _, l}}, KroneckerSymbol]$ .

Examples

open allclose all

Basic Examples (2)

Compute Kronecker symbols:

Plot the KroneckerSymbol sequence with respect to the second argument:

Scope (9)

Numerical Evaluation (3)

KroneckerSymbol works over integers:

Compute for large arguments:

KroneckerSymbol threads elementwise over lists:

Symbolic Manipulation (6)

TraditionalForm formatting:

Reduce expressions:

Solve equations:

Use KroneckerSymbol in a sum:

Recurrence equation:

Generating function:

Applications (11)

Basic Applications (2)

Table of values of the Kronecker symbol with n, m up to 10:

Plot the nontrivial values of the Kronecker symbol:

Number Theory (9)

For congruent integers m and n modulo p, KroneckerSymbol[m,p]==KroneckerSymbol[n,p]:

Find Euler–Jacobi pseudoprimes to base : [more info]

The law of quadratic reciprocity for distinct primes n and m :

Construct eigenvectors of the discrete Fourier transform:

Evaluate Gauss sums in closed form:

The congruence equation has a solution if KroneckerSymbol[a,p] == 1:

KroneckerSymbol[n,k] is a real DirichletCharacter modulo k for odd integers k:

A real primitive character χ modulo k can be written in terms of KroneckerSymbol[χ[-1]k,n]:

Nonprimitive real characters can be written in terms of KroneckerSymbol at integers coprime to k:

KroneckerSymbol is the generalization of the Jacobi symbol for all integers:

Properties & Relations (5)

KroneckerSymbol gives for non-coprime integers:

KroneckerSymbol is a completely multiplicative function for each argument:

The law of quadratic reciprocity for distinct primes n and m :

Use KroneckerSymbol to compute real DirichletCharacter modulo k for odd integers k:

Check that the following relation holds for any odd integer:

Neat Examples (4)

The array plot of KroneckerSymbol:

Plot the arguments of the Fourier transform of KroneckerSymbol:

Successive differences of KroneckerSymbol modulo 2:

Plot the Ulam spiral of KroneckerSymbol:

Top

Enable JavaScript to interact with content and submit forms on Wolfram websites. Learn how