“…From now on, we closely follow [15, §4]. Suppose that we have a subset U of subgroups of G such that Θ = 1 + (|U| − 1) · G − H∈U H, 1 Here and elsewhere, "irreducible rational representation" refers to representations that are irreducible over Q, rather than absolutely irreducible representations that happen to be defined over Q. Note also, that once we substitute the above formula for the regulator constant into (2.4), (2.6), or (2.14), the torsion quotient cancels, so in any case, it is not present in the final index formulae.…”