PlanetMath (more info)
 Math for the people, by the people.
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
[parent] Factorization of the Dedekind zeta function of an abelian number field (Theorem)

The Dedekind zeta function of an abelian number field factors as a product of Dirichlet L-functions as follows. Let $ K$ be an abelian number field, i.e. $ K/\mathbb{Q}$ is Galois and $ \operatorname{Gal}(K/\mathbb{Q})$ is abelian. Then, by the Kronecker-Weber theorem, there is an integer $ n$ (which we choose to be minimal) such that $ K\subseteq \mathbb{Q}(\zeta_n)$ where $ \zeta_n$ is a primitive $ n$th root of unity. Let $ G=\operatorname{Gal}(\mathbb{Q}(\zeta_n)/\mathbb{Q})\cong (\mathbb{Z}/n\mathbb{Z})^\times$ and let $ \chi:G\to \mathbb{C}^\times$ be a Dirichlet character. Then the kernel of $ \chi$ determines a fixed field of $ \mathbb{Q}(\zeta_n)$. Further, for any field $ K$ as before, there exists a group $ X$ of Dirichlet characters of $ G$ such that $ K$ is equal to the intersection of the fixed fields by the kernels of all $ \chi\in X$. The order of $ X$ is $ [K:\mathbb{Q}]$ and $ X\cong \operatorname{Gal}(K/\mathbb{Q})$.

Theorem 1 ([1], Thm. 4.3)   Let $ K$ be an abelian number field and let $ X$ be the associated group of Dirichlet characters. The Dedekind zeta function of $ K$ factors as follows:
$\displaystyle \zeta_K(s)=\prod_{\chi \in X} L(s,\chi).$
Notice that for the trivial character $ \chi_0$ one has $ L(s,\chi_0)=\zeta(s)$, the Riemann zeta function, which has a simple pole at $ s=1$ with residue $ 1$. Thus, for an arbitrary abelian number field $ K$:
$\displaystyle \zeta_K(s)=\prod_{\chi \in X}L(s,\chi)=\zeta(s)\cdot \prod_{\chi_0\neq \chi \in X} L(s,\chi)$
where the last product is taken over all non-trivial characters $ \chi \in X$.

Bibliography

1
L. C. Washington, Introduction to Cyclotomic Fields, Springer-Verlag, New York.



"Factorization of the Dedekind zeta function of an abelian number field" is owned by alozano.
(view preamble)

View style:

See Also: values of Dedekind zeta functions of real quadratic number fields at negative integers


This object's parent.
Log in to rate this entry.
(view current ratings)

Cross-references: characters, residue, simple pole, Riemann zeta function, trivial character, order, intersection, group, field, fixed field, kernel, Dirichlet character, root of unity, primitive, minimal, integer, Kronecker-Weber theorem, abelian, product, factors, abelian number field, Dedekind zeta function
There is 1 reference to this entry.

This is version 1 of Factorization of the Dedekind zeta function of an abelian number field, born on 2006-06-20.
Object id is 8062, canonical name is FactorizationOfTheDedekindZetaFunctionOfAnAbelianNumberField.
Accessed 822 times total.

Classification:
AMS MSC11M06 (Number theory :: Zeta and $L$-functions: analytic theory :: $\zeta $)
 11R42 (Number theory :: Algebraic number theory: global fields :: Zeta functions and $L$-functions of number fields)

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

No messages.

Interact
post | correct | update request | prove | add result | add corollary | add example | add (any)