On the T-ramified, S-split p-class field towers over an extension of degree prime to p

Let K be a number field, p a prime, and let be the T-ramified, S-split p-class field tower of K, i.e., the maximal pro-p-extension of K unramified outside T and totally split on S, where T and S are disjoint finite sets of places of K. Using a theorem of Tate on nilpotent quotient groups, we give (Theorem 2 in Section 3) an elementary characterisation of the finite extensions L/K, with a normal closure of degree prime to p, such that the analogous p-class field tower of L is equal to the compositum . This N.S.C. only depends on classes and units of L. Some applications and examples are given.     

Note on 2-rational fields

We give an alternative computation of the Galois group of the maximal 2-ramified and complexified pro-2-extension of any 2-rational number field (Theorem 2), a particular case of results of Movahhedi-Nguyen Quang Do. This short Note is motivated by the paper [J. Jossey, Galois 2-extensions unramified outside 2, J. Number Theory 124 (2007) 42-76] and, at this occasion, we bring into focus some classical technics of abelian ?-ramification which, unfortunately, are often ignored, especially those developed by J.-F. Jaulent with the ?-adic class field theory, and by G. Gras in his book on class field theory, and which considerably simplify the study of such subjects; for instance, our proof of Theorem 2 generalizes the purpose of Jossey's paper in such a way using a result of Herfort-Zalesskii. This Note is mainly an attempt of clarification about ?-rationality.