By Victor P. Snaith

This monograph offers the state-of-the-art within the concept of algebraic K-groups. it truly is of curiosity to a wide selection of graduate and postgraduate scholars in addition to researchers in similar parts akin to quantity concept and algebraic geometry. The strategies offered listed below are mostly algebraic or cohomological. all through quantity idea and arithmetic-algebraic geometry one encounters items endowed with a traditional motion through a Galois team. specifically this is applicable to algebraic K-groups and ?tale cohomology teams. This quantity is anxious with the development of algebraic invariants from such Galois activities. in general those invariants lie in low-dimensional algebraic K-groups of the critical group-ring of the Galois team. A important subject, predictable from the Lichtenbaum conjecture, is the review of those invariants when it comes to certain values of the linked L-function at a detrimental integer reckoning on the algebraic K-theory size. furthermore, the "Wiles unit conjecture" is brought and proven to steer either to an overview of the Galois invariants and to clarification of the Brumer-Coates-Sinnott conjectures. This publication is of curiosity to a wide selection of graduate and postgraduate scholars in addition to researchers in components with regards to algebraic K-theory resembling quantity conception and algebraic geometry. The strategies provided listed here are mostly algebraic or cohomological. necessities on L-functions and algebraic K-theory are recalled whilst wanted.

Show description

Read or Download Algebraic K-groups as Galois modules PDF

Similar algebra books

Structure and Representation of Jordan Algebras

###############################################################################################################################################################################################################################################################

Extra info for Algebraic K-groups as Galois modules

Sample text

37 The natural maps yield an isomorphism of the form as required. 34 simplifies to become Proof. Let 1,XI, ~ To be precise, if 2 ~ , 1 x denote 2 the four one-dimensional representations of Q8. Q8 = {x, y 1 x2 = y2, y4 = 1,xyx = y) set xl(x) = -1 = x2(y) and xl(y) = 1 = x2(x). Suppose that f : R(Q8) --+ Za is a homomorphism. By inflation f induces a homomorphism on R(Qgb). Since Since determinantal functions on R(Q8) take values in Z; there is a short exact sequence of the form Ram this sequence we see that there is an isomorphism of the form When p is an odd prime then every function in Hom(R(Q8), Z;) is a determinantal function because in this case Zp[Q8] is a maximal order in QP[Q8]Hence, if p is odd, then TorsKO(Z, [Q8];Qp) = 0.

Q8 = {x, y 1 x2 = y2, y4 = 1,xyx = y) set xl(x) = -1 = x2(y) and xl(y) = 1 = x2(x). Suppose that f : R(Q8) --+ Za is a homomorphism. By inflation f induces a homomorphism on R(Qgb). Since Since determinantal functions on R(Q8) take values in Z; there is a short exact sequence of the form Ram this sequence we see that there is an isomorphism of the form When p is an odd prime then every function in Hom(R(Q8), Z;) is a determinantal function because in this case Zp[Q8] is a maximal order in QP[Q8]Hence, if p is odd, then TorsKO(Z, [Q8];Qp) = 0.

In this case, recalling the isomorphism of Galois modules G(L/K) = (a, g I gd = ac, a' = 1, gag-1 = a") where v = IKI, the order of the residue field, K,of K . Here, if W/K is the maximal -unramified subextension then G(L/W) = (a) and the image of g in G(L/K) is the Frobenius automorphism. Note that, as in ([34] p. 369), we may arrange that c is a divisor of r. When char(K) = p > 0 we may arrange that c = r, since K Fv((X)) and L is a Kummer extension of L(") = FVd((X)). 22. Set q = v2 and let w be an integer satisfying the congruence vw = 1 (modulo (qd - I ) ~ )Here .

Download PDF sample

Rated 4.14 of 5 – based on 14 votes