Talk:Dirichlet character
WikiProject Mathematics  (Rated Cclass, Highimportance)  


Contents
History
Historically, what does the L in Lfunction or Lseries stand for? Lagrange? Ninte 11:40, 13 July 2006 (UTC)
Missing character tables
It seems obvious to me that the following tables are missing, but since I know nothing of this subject beyond what I've just read here I better check:
 === Modulus 1 ===
 There are characters modulo 1:
χ \ n 1 1
 === Modulus 2 ===
 There are characters modulo 2:
χ \ n 1 2 1 0
Since the text claims to present "all of the characters up to modulus 7", these should be included, no? Hv 15:52, 9 February 2006 (UTC)
 Yes, that is correct. But perhaps these can continue to be left out, for, I fear, they would contribute to a mindnumbing clutter? Sometimes, less is more. linas 00:43, 10 February 2006 (UTC)
 If it is clutter, maybe it'd be better to show only the table for 7  I think the rest are pretty obvious once you understand those. I've corrected the comment at the top to promise only what is actually there. Hv 11:18, 10 February 2006 (UTC)
Sufficient conditions
I am not an expert on Dirichlet characters, but ... are we sure that the first and third conditions really are sufficient?  Doesn't the identically zero function satisfy the first and third conditions, whilst not being a Dirichlet character? Madmath789 21:21, 26 June 2006 (UTC)
 It appears someone cleaned up the article already linas 04:04, 9 July 2006 (UTC)
mod 4 character
Just wondering something... of the two mod 4 characters on this page, the first {1,0,1,0} seems to be the same as the sole mod 2 character {1,0}. Does it really need to be in the list twice? I think it should be deleted from the mod 4 list, considering its period is 2; that would leave the sole mod 4 character as {1,0,1,0}.
Bird of paradox 09:34, 29 September 2006 (UTC)
 I don't think it would be correct to remove it, as that would make it appear as if there were really only one character mod 4. There is a theorem about the number of characters mod n, and it tells us that there are 2 mod 4 characters  it just happens that one of them is the same as the only mod 2 character. Madmath789 09:41, 29 September 2006 (UTC)
mod 7 character
There was an error in this table which I have corrected. The error set but as a circle is radians this should be Wilmot1 08:04, 19 July 2007 (UTC)
Definitions of primitivity
I wrote An equivalent definition of a primitive Dirichlet character is to consider the associated multiplicative character and define it to be primitive if the period of the character is exactly the modulus. and cited Davenport (1967). I didn't give the page number, but it's page 37. User:EmilJ deleted that with the edit summary "This is wrong. For example, the principal character of squarefree modulus n > 1 has period n, but it is not primitive." I assume it's me rather than Davenport who was wrong here? Anyway, the source says "It is possible however that for values of n restricted by the condition (n,q)=1 the function χ(n) may have a period less than q. If so, we say that χ is imprimitive and otherwise primitive". I think that what I wrote is a fair rendition of that, and if not I invite improvements. However, EmilJ's comment is wrong in itself. The principal character has as its associated character the multiplicative function which is always 1, and this has period 1. So by my rendition it is not primitive. Deltahedron (talk) 20:09, 30 August 2012 (UTC)
 I think the terminology you've used is nonstandard and has lead to confusion. By "the associated multiplicative character", I assume you mean the character of (Z/nZ)^{×}. Then, you are correct, but EmilJ probably thought you meant the multiplicative function on the integers. RobHar (talk) 01:41, 31 August 2012 (UTC)
 Good point, perhaps "character on the multiplicative group" would have been better. How about consider the associated character on multiplicative groups and define it to be primitive if the character is not defined on any smaller modulus. Deltahedron (talk) 06:02, 31 August 2012 (UTC)
 The principal character mod n is the multiplicative function which is 1 for k such that gcd(n,k), and 0 otherwise. This function does not have period 1. As RobHar wrote, your terminology is confusing. If you really meant a character of (Z/nZ)^{×}, this should be written explicitly, but even then it is confusing as one usually speaks about periods for functions defined on integers, not functions defined on finite groups, and the definition of period in such a case would require an explanation. The quoted description by Davenport is yet different: he considers the character as a function on the subset of integers, which is presumably meant to have period m if whenever both sides are defined. Then a character is indeed imprimitive if it has a period smaller than n. Note the indefinite article: a periodic function does not have a unique period, any multiple will do, and in particular, a character mod n always has period n. Only the minimal period (= conductor) of an imprimitive character (in Davenport’s sense) is guaranteed to be less than n.—Emil J. 10:25, 31 August 2012 (UTC)
 The character on the multiplicative group Z/n associated with the principal Dirichlet character is the character which always takes the value 1. This is defined on a smaller modulus, namely 1. (As it happens, Davenport at p.37 thinks it "a matter of personal preference whether one includes the principal character among the imprimitive characters, I prefer to leave it unclassified".) I already suggested an improved wording. Deltahedron (talk) 16:37, 31 August 2012 (UTC)
 I also have a quibble about the statement The imprimitive characters correspond to missing Euler factors in the associated Lfunctions. This is sensitive to the choice of what kind of characters one considers. For example, let χ be the nonprincipal character mod 4, and ψ be the induced character mod 8. Then L(χ,s) = L(ψ,s), so no Euler factor is missing. This is not a problem if we define characters purely as completely multiplicative periodic functions on the integers, since then χ and ψ are identical characters. However, if we either consider a specification of a modulus as a part of the definition of a character, or consider characters on (Z/nZ)^{×}, then the two characters are distinct, and ψ is imprimitive. Presumably this should be clarified.—Emil J. 11:14, 31 August 2012 (UTC)
 The article said Imprimitive characters can cause missing Euler factors in Lfunctions and I changed it to The imprimitive characters correspond to missing Euler factors in the associated Lfunctions. Davenport (p.39) says "The relation (2) between an imprimitive character and the primitive character which induces it implies a simple relation between the corresponding Lfunctions" and follows with a formula involving the Euler factors at primes dividing the modulus of the imprimitive factor. Apostol (p.262) says "every Lseries is equal to the Lseries of a primitive character, multiplied by a finite number of factors". Suggestions for a simpler summary would be welcome. Deltahedron (talk) 16:49, 31 August 2012 (UTC)
 The original wording is in fact fine. The “can” takes care of the problem that not every imprimitive characters has factors missing in its Lfunction. (The exact characterization is that the factor for p is missing iff p divides the modulus but not the conductor, but I don’t think it’s necessary to spell this out, it’s kind of obvious from the Euler factor expansion itself.) Also, characters—primitive or imprimitive—“correspond” to Lfunctions, if anything, not to missing factors, making the new wording clumsy. I would go with the original wording, maybe slightly reformulated so as not to make characters causative agents: Imprimitivity of characters can lead to missing Euler factors in their Lfunctions.—Emil J. 12:10, 3 September 2012 (UTC)
 Looks OK to me. Deltahedron (talk) 21:17, 3 September 2012 (UTC)
 The original wording is in fact fine. The “can” takes care of the problem that not every imprimitive characters has factors missing in its Lfunction. (The exact characterization is that the factor for p is missing iff p divides the modulus but not the conductor, but I don’t think it’s necessary to spell this out, it’s kind of obvious from the Euler factor expansion itself.) Also, characters—primitive or imprimitive—“correspond” to Lfunctions, if anything, not to missing factors, making the new wording clumsy. I would go with the original wording, maybe slightly reformulated so as not to make characters causative agents: Imprimitivity of characters can lead to missing Euler factors in their Lfunctions.—Emil J. 12:10, 3 September 2012 (UTC)
 The article said Imprimitive characters can cause missing Euler factors in Lfunctions and I changed it to The imprimitive characters correspond to missing Euler factors in the associated Lfunctions. Davenport (p.39) says "The relation (2) between an imprimitive character and the primitive character which induces it implies a simple relation between the corresponding Lfunctions" and follows with a formula involving the Euler factors at primes dividing the modulus of the imprimitive factor. Apostol (p.262) says "every Lseries is equal to the Lseries of a primitive character, multiplied by a finite number of factors". Suggestions for a simpler summary would be welcome. Deltahedron (talk) 16:49, 31 August 2012 (UTC)
Currently there are two statements defining a primitive character: "A character is primitive if it is not induced by any character of smaller modulus" and "A character is primitive if there is no smaller induced modulus". But these aren't the same, the latter is the now common definition of a primitive character, but the former is then incorrect as a character can have smaller induced moduli without being induced by another character. For example, the unique nontrivial character modulo 6 has induced modulus 3 but is not an extension of any character mod 1,2, or 3. Do people agree with me here? — Preceding unsigned comment added by Cjs cjs cjs (talk • contribs) 17:59, 16 May 2013 (UTC)
 I don’t get your point. The nontrivial character mod 6 is induced by the nontrivial character mod 3, so it is imprimitive under either definition. If d is an induced modulus of χ, there is indeed a character ψ mod d such that χ is induced by ψ, so the two definitions are equivalent (they are pretty much just saying the same thing in slightly different words).—Emil J. 18:19, 16 May 2013 (UTC)
 I was confusing something with induced and extending characters. My bad.
simple explanation
This is how I would try to introduce the concept :
Consider the field where is prime. the multiplicative group can be mapped to the additive group : if is a generator of then every element of can be uniquely written as a power of , the exponent being an element of .
The Dirichlet character exploits this idea :
 choose a prime which will be the periodicity of the character
 set if ,
 choose a generator of , and a root of unity
 for set where the discrete logarithm modulo , i.e. .
The same idea can be extended to characters of nonprime periodicity. After that, we remark that a change of generator can be seen as a change of root of the unity, so that all the Dirichlet characters of periodicity can be constructed from the same generator but with different roots of the unity. And this is how we get to the discrete Fourier transform (of size , i.e if if prime) and how we prove that the Dirichlet character of a same periodicity are all orthogonal. Because two integers always have a lcm, two Dirichlet characters can always thought as being of the same periodicity, and thus are mutually orthogonal. So that all the Dirichlet characters together form an orthogonal basis of the vector space of periodic sequences . Then, the Euler product of is exhibited. And finally by noting the discrete fourier transform of we get that so that . from that we can write a Fourier series representation of which leads to the functional equation
Dirichlet characters are thus a nice mathematical construction based on no less than :
 simple arithmetic,
 group theory,
 linear algebra,
 complex analysis, Fourier analysis, Dirichlet series, Mellin/Laplace/Fourier transforms, zeta functions / Lfunctions...
78.227.78.135 (talk) 20:12, 2 January 2016 (UTC)
New character
(This character is a special example of Dirichlet character)
We define = 0 if m and n is not coprime, for coprime m and n we define:
 = 1.
 = 1, where n is positive integer.
 = , where p is prime, and n is the smallest positive primitive root of p.
 = , where m, k and n are positive integers.
 = × , where m, k and n are positive integers.
 = , where m, k and n are positive integers.
 = × , where m, k and n are positive integers and gcd(k, n) = 1.
 = 1, = −1.
 = = 1, = = −1.
 = , where p is odd prime, n is the smallest integer such that n == (the smallest primitive root mod p) mod p, and n is a primitive root mod p^{k}. (n is usually the smallest primitive root mod p^{k}, but not always, the smallest counterexample is p = 40487)
 = = 1, = = −1, = = i, = = −i.
 = , where n ≥ 3 is integer, m is positive integer. (the definition of where n is divisible by 32 is more complex)
Thus, if m and n are coprime positive integers, then = 1, where is the Carmichael lambda function. Besides, is the smallest positive integer k such that = 1 for all positive integers m coprime to n.