an exact sequence for ray class groups
Let be a number field, let be its ring of integers
and let be a modulus
in , i.e.
where is an integral ideal in and is a product of real infinite places (i.e. real archimedean primes). Let be the ideal class group
of and let be the ray class group of of conductor
. Also, define
where denotes the number of real places in . Finally, let be the unit group of .
Proposition.
The elements above fit in the following exact sequence:
Example 1.
Let . Thus, is trivial and . Let where is any prime. Then:
The exact sequence now reads:
Therefore, . In fact, as we know, the http://planetmath.org/node/RayClassFieldray class field of of conductor is the cyclotomic field where is any primitive th root of unity
. Moreover
Finally notice that the ray class group of of conductor is simply which corresponds to the ray class field , the maximal real subfield of .
Title | an exact sequence for ray class groups |
---|---|
Canonical name | AnExactSequenceForRayClassGroups |
Date of creation | 2013-03-22 15:42:46 |
Last modified on | 2013-03-22 15:42:46 |
Owner | alozano (2414) |
Last modified by | alozano (2414) |
Numerical id | 6 |
Author | alozano (2414) |
Entry type | Result |
Classification | msc 11R29 |
Related topic | Modulus |
Related topic | RayClassField |
Related topic | ClassNumbersAndDiscriminantsTopicsOnClassGroups |