PlanetMath (more info)
 Math for the people, by the people. Sponsor PlanetMath
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
Owner confidence rating: High Entry average rating: No information on entry rating
Dirichlet character (Definition)

A Dirichlet character modulo $m$ is a group homomorphism from $\left(\frac{\mathbb{Z}}{m\mathbb{Z}}\right)^*$ to $\mathbb{C^*}$ . Dirichlet characters are usually denoted by the Greek letter $\chi$ . The function

$\displaystyle \gamma(n)=\begin{cases}\chi(n\bmod m),&\text{if }\gcd(n,m)=1,\\ 0,&\text{if }\gcd(n,m)>1. \end{cases}$    

is also referred to as a Dirichlet character. The Dirichlet characters modulo $m$ form a group if one defines $\chi\chi'$ to be the function which takes $a\in\left(\frac{\mathbb{Z}}{m\mathbb{Z}}\right)^*$ to $\chi(a)\chi'(a)$ . It turns out that this resulting group is isomorphic to $\left(\frac{\mathbb{Z}}{m\mathbb{Z}}\right)^*$ . The trivial character is given by $\chi(a)=1$ for all $a\in\left(\frac{\mathbb{Z}}{m\mathbb{Z}}\right)^*$ , and it acts as the identity element for the group. A character $\chi$ modulo $m$ is said to be induced by a character $\chi'$ modulo $m'$ if $m'\mid m$ and $\chi(n)=\chi'(n\bmod m')$ . A character which is not induced by any other character is called primitive.

If $\chi$ is non-primitive, the $\gcd$ of all such $m'$ is called the conductor of $\chi$ .

Examples:

  • Legendre symbol $\legsym{n}{p}$ is a Dirichlet character modulo $p$ for any odd prime $p$ . More generally, Jacobi symbol $\legsym{n}{m}$ is a Dirichlet character modulo $m$ .
  • The character modulo $4$ given by $\chi(1)=1$ and $\chi(3)=-1$ is a primitive character modulo $4$ . The only other character modulo $4$ is the trivial character.




"Dirichlet character" is owned by bbukh. [ full author list (3) | owner history (2) ]
(view preamble | get metadata)

View style:

See Also: character of a finite group

Also defines:  trivial character, primitive character, conductor, induced character

Attachments:
nonprincipal real characters $\mod p$ are unique (Theorem) by rm50
Log in to rate this entry.
(view current ratings)

Cross-references: Jacobi symbol, prime, odd, Legendre symbol, character, identity element, isomorphic, group, function, Greek letter, group homomorphism
There are 7 references to this entry.

This is version 7 of Dirichlet character, born on 2003-01-20, modified 2006-09-05.
Object id is 3906, canonical name is DirichletCharacter.
Accessed 11914 times total.

Classification:
AMS MSC11A25 (Number theory :: Elementary number theory :: Arithmetic functions; related numbers; inversion formulas)

Pending Errata and Addenda
None.
[ View all 1 ]
Discussion
Style: Expand: Order:
forum policy

No messages.

Interact
post | correct | update request | add derivation | add example | add (any)