On tamely ramified pro-p-extensions over -extensions of

2013 ◽  
Vol 156 (2) ◽  
pp. 281-294
Author(s):  
TSUYOSHI ITOH ◽  
YASUSHI MIZUSAWA

AbstractFor an odd prime number p and a finite set S of prime numbers congruent to 1 modulo p, we consider the Galois group of the maximal pro-p-extension unramified outside S over the ${\mathbb Z}_p$-extension of the rational number field. In this paper, we classify all S such that the Galois group is a metacyclic pro-p group.

2013 ◽  
Vol 09 (06) ◽  
pp. 1491-1503 ◽  
Author(s):  
TSUYOSHI ITOH ◽  
YASUSHI MIZUSAWA ◽  
MANABU OZAKI

For a finite set S of prime numbers, we consider the S-ramified Iwasawa module which is the Galois group of the maximal abelian pro-p-extension unramified outside S over the cyclotomic ℤp-extension of a number field k. In the case where S does not contain p and k is the rational number field or an imaginary quadratic field, we give the explicit formulae of the ℤp-ranks of the S-ramified Iwasawa modules by using Brumer's p-adic version of Baker's theorem on the linear independence of logarithms of algebraic numbers.


Author(s):  
Naoya Takahashi

For an algebraic number field [Formula: see text] and a prime number [Formula: see text], let [Formula: see text] be the maximal multiple [Formula: see text]-extension. Greenberg’s generalized conjecture (GGC) predicts that the Galois group of the maximal unramified abelian pro-[Formula: see text] extension of [Formula: see text] is pseudo-null over the completed group ring [Formula: see text]. We show that GGC holds for some imaginary quartic fields containing imaginary quadratic fields and some prime numbers.


1979 ◽  
Vol 75 ◽  
pp. 121-131 ◽  
Author(s):  
Susumu Shirai

Let Q be the rational number field, K/Q be a maximal Abelian extension whose degree is some power of a prime l, and let f(K) be the conductor of K/Q; if l = 2, let K be complex, and if in addition f(K) ≡ 0 (mod 2), let f(K) ≡ 0 (mod 16). Denote by (K) the Geschlechtermodul of K over Q and by K̂ the maximal central l-extension of K/Q contained in the ray class field mod (K) of K. A. Fröhlich [1, Theorem 4] completely determined the Galois group of K̂ over Q in purely rational terms. The proof is based on [1, Theorem 3], though he did not write the proof in the case f(K) ≡ 0 (mod 16). Moreover he gave a classification theory of all class two extensions over Q whose degree is a power of l. Hence we know the set of fields of nilpotency class two over Q, because a finite nilpotent group is a direct product of all its Sylow subgroups. But the theory becomes cumbersome, and it is desirable to reconstruct a more elementary one.


1957 ◽  
Vol 12 ◽  
pp. 177-189 ◽  
Author(s):  
Tomio Kubota

The aim of the present work is to determine the Galois group of the maximal abelian extension ΩA over an algebraic number field Ω of finite degree, which we fix once for all.Let Z be a continuous character of the Galois group of ΩA/Ω. Then, by class field theory, the character Z is also regarded as a character of the idele group of Ω. We call such Z character of Ω. For our purpose, it suffices to determine the group Xl of the characters of Ω whose orders are powers of a prime number l.


2012 ◽  
Vol 08 (04) ◽  
pp. 881-909 ◽  
Author(s):  
AHMED MATAR

This paper proves a control theorem for the p-primary Selmer group of an abelian variety with respect to extensions of the form: Maximal pro-p extension of a number field unramified outside a finite set of primes R which does not include any primes dividing p in which another finite set of primes S splits completely. When the Galois group of the extension is not p-adic analytic, the control theorem gives information about p-ranks of Selmer and Tate–Shafarevich groups of the abelian variety. The paper also discusses what can be said in regards to a control theorem when the set R contains all the primes of the number field dividing p.


2011 ◽  
Vol 07 (04) ◽  
pp. 1001-1032 ◽  
Author(s):  
NICOLAS BILLEREY

Soit E une courbe elliptique définie sur un corps de nombres K. On dit qu'un nombre premier p est réductible pour le couple (E, K) si E admet une p-isogénie définie sur K. L'ensemble de tous ces nombres premiers est fini si et seulement si E n'a pas de multiplication complexe définie sur K. Dans cet article, on montre que l'ensemble des nombres premiers réductibles pour le couple (E, K) est contenu dans l'ensemble des diviseurs premiers d'une liste explicite d'entiers (dépendant de E et de K) dont une infinité d'entre eux est non nulle. Cela fournit un algorithme efficace de calcul dans le cas fini. D'autres critères moins généraux, mais néanmoins utiles sont donnés ainsi que de nombreux exemples numériques. Let E be an elliptic curve defined over a number field K. We say that a prime number p is reducible for (E, K) if E admits a p-isogeny defined over K. The so-called reducible set of all such prime numbers is finite if and only if E does not have complex multiplication over K. In this paper, we prove that the reducible set is included in the set of prime divisors of an explicit list of integers (depending on E and K), infinitely many of them being non-zero. It provides an efficient algorithm for computing it in the finite case. Other less general but rather useful criteria are given, as well as many numerical examples.


1978 ◽  
Vol 70 ◽  
pp. 183-202 ◽  
Author(s):  
Hiroo Miki

Let k be a finite algebraic number field and let ℓ be a fixed odd prime number. In this paper, we shall prove the equivalence of certain rather strong conditions on the following four things (1) ~ (4), respectively : (1) the class number of the cyclotomic Zℓ-extension of k,(2) the Galois group of the maximal abelian ℓ-extension of k with given ramification,(3) the number of independent cyclic extensions of k of degree ℓ, which can be extended to finite cyclic extensions of k of any ℓ-power degree, and(4) a certain subgroup Bk(m, S) (cf. § 2) of k×/k×)ℓm for any natural number m (see the main theorem in §3).


Sign in / Sign up

Export Citation Format

Share Document