© 1994 by London Mathematical Society
© The London Mathematical Society
Factor Equivalence of Rings of Integers and Chinburg's Invariant in the Defect Class Group
School of Mathematics, University Walk Bristol BS8 1TW
Department of Mathematical Sciences, University of Durham, Science Laboratories South Road, Durham DH1 3LE
Received 24 February 1992. Revision received 27 October 1992.
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.
Most of this work was carried out while the first author was employed under a grant from the University of Durham's Special Projects Research Fund.