Homology Groups and Ideal Class Groups II: Higher-Order Genus Theory

Let M be a rational homology 3-sphere which is a double covering of \(S^3\) ramified over a r-component link and let k be a quadratic extension of \(\mathbb {Q}\) ramified over r odd prime numbers.