Spiegelungssatz: A Combinatorial Proof for the 4-Rank

Abstract

The Spiegelungssatz is an inequality between the 4-ranks of the narrow ideal class groups of the quadratic fields [Formula: see text] and [Formula: see text]. We provide a combinatorial proof of this inequality. Our interpretation gives an affine system of equations that allows to describe precisely some equality cases.