×

Number fields unramified away from 2. (English) Zbl 1203.11073

Let \(\mathcal{K}\) be the set of number fields \(K\) with discriminant \(\pm2^a\) (equivalently, \(K/\mathbb{Q}\) is unramified outside \(\{2, \infty \}\)) and \(9\leq[K : \mathbb{Q}]\leq 15\). Using well known lower bounds for discriminants and a study of higher ramification groups, the author proves that \(\mathcal{K}=\emptyset\). As a corollary he obtains that the following simple groups can not be Galois groups of an extension of \(\mathbb{Q}\) with discriminant \(\pm2^a\): Mathieu groups \(M_{11}\) and \(M_{12}\), \(\text{PSL}(3, 3)\) and the alternating groups \(A_i\), \(8<i<16\).

MSC:

11R21 Other number fields
11S15 Ramification and extension theory

Software:

PARI/GP

References:

[1] Brueggeman, Sharon, Septic number fields which are ramified only at one small prime, J. Symbolic Comput., 31, 5, 549-555 (2001) · Zbl 0991.11068
[2] Butler, Gregory; McKay, John, The transitive groups of degree up to eleven, Comm. Algebra, 11, 8, 863-911 (1983) · Zbl 0518.20003
[3] The GAP Group, GAP - Groups, Algorithms, and Programming, Version 4.4, 2006
[4] Harbater, David, Galois groups with prescribed ramification, (Arithmetic Geometry. Arithmetic Geometry, Tempe, AZ, 1993. Arithmetic Geometry. Arithmetic Geometry, Tempe, AZ, 1993, Contemp. Math., vol. 174 (1994), Amer. Math. Soc.: Amer. Math. Soc. Providence, RI), 35-60 · Zbl 0815.11053
[6] Jones, John W.; Roberts, David P., Website: A database of local fields (2004)
[7] Jones, John W.; Roberts, David P., A database of local fields, J. Symbolic Comput., 41, 1, 80-97 (2006) · Zbl 1140.11350
[8] Jones, John W.; Roberts, David P., Octic 2-adic fields, J. Number Theory, 128, 6, 1410-1429 (2008) · Zbl 1140.11056
[9] Lesseni, Sylla, The nonexistence of nonsolvable octic number fields ramified only at one small prime, Math. Comp., 75, 255, 1519-1526 (2006), (electronic) · Zbl 1096.11043
[10] Markšaĭtis, G. N., On \(p\)-extensions with one critical number, Izv. Akad. Nauk SSSR Ser. Mat., 27, 463-466 (1963) · Zbl 0115.03802
[11] Neukirch, Jürgen; Schmidt, Alexander; Wingberg, Kay, Cohomology of Number Fields, Grundlehren Math. Wiss., vol. 323 (2000), Springer-Verlag: Springer-Verlag Berlin · Zbl 0948.11001
[12] Odlyzko, Andrew, Table 2: Unconditional bounds for discriminants (1976)
[14] Serre, Jean-Pierre, Local Fields, Grad. Texts in Math., vol. 67 (1979), Springer-Verlag: Springer-Verlag New York, translated from the French by Marvin Jay Greenberg · Zbl 0423.12016
[15] Tate, John, The non-existence of certain Galois extensions of \(Q\) unramified outside 2, (Arithmetic Geometry. Arithmetic Geometry, Tempe, AZ, 1993. Arithmetic Geometry. Arithmetic Geometry, Tempe, AZ, 1993, Contemp. Math., vol. 174 (1994), Amer. Math. Soc.: Amer. Math. Soc. Providence, RI), 153-156 · Zbl 0814.11057
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.