This preview shows pages 1–3. Sign up to view the full content.
This preview has intentionally blurred sections. Sign up to view the full version.
View Full Document
Unformatted text preview: THE IDELIC APPROACH TO CLASS GROUPS AND UNIT GROUPS PETE L. CLARK Contents 7.1. Rings of Sintegers 1 7.2. Finiteness of the Sclass groups 1 7.3. Structure of the Sunit groups 5 7.1. Rings of Sintegers. Notation: Despite some misgivings, we introduce the following notation. For a global field K , we let K denote the set of all places of K , i.e., equivalence classes of nontrivial norms on K . (Recall that at this point we have associated a canon ical normalized Artin absolute value to each place in K .) Further we write NA K for the subset of nonArchimeden places of K , and let Arch K denote the subset of Archimedean places of K , which is nonempty iff K is a number field. Now let S K be a finite set such that S Arch K . We define the ring R S of Sintegers of K to be the set of x K such that v ( x ) 0 for all v S \ Arch K . Exercise 7.1: a) If K is a function field and S = , show that R S is equal to the maximal finite subfield of K (or, in other words, the algebraic closure of F p in K .) b) Show that if S 6 = , then R S is a Dedekind domain that is not a field. Exercise 7.2: Suppose that S T are finite subsets of K with Arch K S . a) Show that R S R T . b)* Show that R T is a localization of R S . (The special case that R S is a PID is straightforward. In order to do the general case, it may be necessary to use the finiteness of the ideal class group of R S , coming up shortly.) 7.2. Finiteness of the Sclass groups. Because R S is a Dedekind domain, it has an interesting invariant attached to it: its ideal class group Cl( R S ). This is the free abelian group generated by the nonzero prime ideals, which we may view as being in correspondence with the non Archimedean places v of K . Inside Frac( R S ) we have the subgroup of principal fractional ideals ( f ) for f K . Explicitly, we view ( f ) as an element of L v Z [ v ] by sending f to the sequence { v ( f ) } , which has all but finitely many elements 0. Let 1 2 PETE L. CLARK us write this subgroup as Prin( K ). By definition, the ideal class group Cl( R S ) of R S is the quotient Frac( R S ) / Prin( R S ). To summarize, we have exact sequences 1 R S K Prin( R S ) 1 , 1 Prin( R S ) Frac( R S ) Cl( R S ) 1 . Note that this discussion makes perfect sense for an arbitrary Dedekind domain R . Indeed, a celebrated theorem of L. Claborn asserts that for any abelian group A whatsoever, there exists a Dedekind domain R such that Cl( R ) = A . However, in the arithmetic case, we have the following important result, a generalization of the second of the three fundamental finiteness theorems in classical algebraic number theory....
View
Full
Document
This note was uploaded on 10/26/2011 for the course MATH 8410 taught by Professor Staff during the Fall '11 term at University of Georgia Athens.
 Fall '11
 Staff
 Number Theory, Integers

Click to edit the document details