Let p be either 17 or 19, let ℤp denote the ring of p-adic integers, and let l be a prime number which is a primitive root modulo p2. We shall prove, with the help of a computer, that the l-class group of the ℤp-extension over the rational field is trivial. We shall also prove the triviality of the narrow 2-class group of the same ℤp-extension.
Read full abstract