Class numbers of cyclic 2-extensions and Gross conjecture over Q

The Gross conjecture over Q was first claimed by Aoki in 1991.However,the original proof contains too many mistakes and false claims to be considered as a serious proof.This paper is an attempt to find a sound proof of the Gross conjecture under the outline of Aoki.We reduce the conjecture to an elementary conjecture concerning the class numbers of cyclic 2-extensions of Q.