Thursday, 6 September 2012

ac.commutative algebra - If L is a field extension of K, how big is L*/K*?

To add to Franz's nice answer:



Let mathcalC be the collection of groups isomorphic to the direct sum of a free abelian group of countable rank with a finite abelian group.
In the case where L/K is a nontrivial finite separable extension of global fields, each of the following groups is in mathcalC (and the first two are free):



1) The group of fractional ideals of K (or divisors in the function field case)



2) The group of principal fractional ideals of K



3) Ktimes



4) Ltimes/Ktimes



Proof: The first three can be proved in succession by using infinitude of primes, finiteness of class groups, and the Dirichlet unit theorem.



4) As suggested by t3suji and Franz, Chebotarev shows that the rank is infinite. On the other hand, the following trick shows that Ltimes/Ktimes is a subgroup of a group in mathcalC (and hence in mathcalC itself): Replace L by its Galois closure. Let sigma1,ldots,sigmad be the elements of operatornameGal(L/K). Then
xmapsto(sigma1(x)/x,ldots,sigmad(x)/x)


injects Ltimes/Ktimes into LtimestimescdotstimesLtimes,
which is in mathcalC.

No comments:

Post a Comment