In this paper we extend K. Rubin's methods to prove the Gras conjecture for abelian extensions of a given imaginary quadratic field $k$ and prime numbers $p$ that divide the number of roots of unity in $k$.

Soient $p_1,p_2,p_3$ et $q$ des nombres premiers distincts tels que $p_1\equiv p_2\equiv p_3\equiv -q\equiv 1 \pmod{4}$, $k = \mathbf{Q} (\sqrt{p_1}, \sqrt{p_2}, \sqrt{p_3}, \sqrt{q})$ et $\operatorname{Cl}_2(k)$ le $2$-groupe de classes de $k$. A. Fröhlich a démontré que $\operatorname{Cl}_2(k)$ n'est jamais trivial. Dans cet article, nous donnons une extension de ce résultat, en démontrant que le rang de $\operatorname{Cl}_2(k)$ est toujours supérieur ou égal à $2$. Nous démontrons aussi, que la valeur $2$ est optimale pour une famille infinie de corps $k$.

The purpose of this article is to provide criteria for the simultaneous solvability of the Diophantine equations $X^2 - DY^2 = c$ and $x^2 - Dy^2 = -c$ when $c \in \mathbb{Z}$, and $D \in \mathbb{N}$ is not a perfect square. This continues work in \cite{me}--\cite{alfnme}.

Let $G$ be an arbitrary group and let $U$ be a subgroup of the normalized units in $\mathbb{Z}G$. We show that if $U$ contains $G$ as a subgroup of finite index, then $U = G$. This result can be used to give an alternative proof of a recent result of Marciniak and Sehgal on units in the integral group ring of a crystallographic group.