Premium
Factor Equivalence of Rings of Integers and Chinburg's Invariant in the Defect Class Group
Author(s) -
Holland D.,
Wilson S. M. J.
Publication year - 1994
Publication title -
journal of the london mathematical society
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 1.441
H-Index - 62
eISSN - 1469-7750
pISSN - 0024-6107
DOI - 10.1112/jlms/49.3.417
Subject(s) - mathematics , subcategory , combinatorics , invariant (physics) , galois group , algebraic number , discrete mathematics , mathematical analysis , mathematical physics
Let Γ be a finite group. We introduce the factorizability defect , fd, defined on exact sequences in mod(ZΓ). Let ℒ be the subcategory of mod (ZΓ) of modules with finite projective dimension away from a finite set S of integer primes. We examine the defect class group ℒℓ(ℒ fd ) (the subgroup of locally trivial elements in the defect Grothendieck group, 0 (ℒ fd )) and show that it is isomorphic to the direct sum class group ofℒ. Let N/K be a Galois extension of algebraic number fields with group Γ which is tamely ramified outside S . We show that [ N ] — [ K Γ] lies in ℒℓ(ℒ fd ) and equals the image of Ω( N/K ,2), Chinburg's second invariant. We also show that if M and M ′ lie in ℒ and [ M ] — [ M ′] ∈ ℒℓ(ℒ fd ) then M is factor equivalent to M ′ in a very strong sense. In particular N is factor equivalent in this way to a free ZΓ‐module.