Decomposition types in minimally tamely ramified extensions of \(\mathbb {Q}\)
- David S. Dummit^{1}Email author and
- Hershy Kisilevsky^{2}
Received: 14 February 2017
Accepted: 22 June 2017
Published: 2 October 2017
Abstract
We examine whether it is possible to realize finite groups G as Galois groups of minimally tamely ramified extensions of \(\mathbb {Q}\) and also specify both the inertia groups and the further decomposition of the ramified primes.
Keywords
Splitting Inertia Decomposition Primes in tamely ramified extensions Cyclotomic fieldsMathematics Subject Classification
Primary 12F12 Secondary 11R18 11S151 Introduction
Let G be a finite group and let s, the rank of G (\({=}{\text {rank}}(G)\)) denote the minimal number of elements required to normally generate G, i.e., s is the minimal number of elements of G which together with all their conjugates in G generate G. It is known [6] that s is the minimal number of generators of the maximal abelian quotient G / [G, G] of G.
If K is a finite Galois extension of \(\mathbb {Q}\), then because \(\mathbb {Q}\) has no unramified extensions, \({\text {Gal}}(K/\mathbb {Q})\) is generated by the inertia groups for the primes p ramifying in K. If all of the ramification in K is tame then these inertia groups are cyclic, and taking a generator for one fixed representative of the (conjugate) inertia groups for each prime p gives a set of normal generators for \({\text {Gal}}(K/\mathbb {Q})\). It follows that if a finite group G can be realized as the Galois group of a number field K over \(\mathbb {Q}\) having only tame ramification, then \({\text {rank}}(G)\) is the smallest possible number of primes p that are ramified in K. In [7] and [8] it is shown that all finite nilpotent semi-abelian groups can be realized by such a minimally tamely ramified extension over \(\mathbb {Q}.\)
In this paper we consider the finer question of whether it is possible to realize finite groups G as Galois groups of minimally tamely ramified extensions of \(\mathbb {Q}\) and also specify both the cyclic subgroups of G arising as the inertia groups and the further decomposition of the ramified primes in K.
2 Minimal tame ramification and decomposition configurations
We first make precise what is meant by a specification of the inertia and decomposition groups in a realization of a finite group G as a Galois group over \(\mathbb {Q}\).
Definition 2.1
A (minimal) tame ramification configuration is a pair \((G,\mathcal T)\), where G is a finite group of rank s and \(\mathcal T\) is a (necessarily minimal) collection \(\mathcal T= \{T_1, \dots , T_s\}\) of cyclic subgroups of G that normally generate G.
Definition 2.2
A tame ramification configuration is realizable over \(\mathbb {Q}\) if there exists a tamely ramified Galois extension \(K/\mathbb {Q}\) and an isomorphism \(\varphi {:}\;{\text {Gal}}(K/\mathbb {Q}) \longrightarrow G\) such that \(\varphi (T(\wp _i/(p_i))) =T_i\) for each \(i=1, \dots s\), where \(\{ p_1, \dots , p_s \}\) is the set of all finite primes of \(\mathbb {Q}\) ramified in K and for each i, \(\wp _i\) is a prime of K dividing \((p_i)\) with inertia group \(T(\wp _i/(p_i))\) in \({\text {Gal}}(K/\mathbb {Q})\).
An extension \(K/\mathbb {Q}\) is minimally tamely ramified if and only if it is tamely ramified and is the realization of a minimal tame ramification configuration.
With the evident minor modifications one could consider tame ramification configurations that are not minimal (where the cardinality n of \(\mathcal T\) need not be the same as the rank of G and the \(T_i\) need not normally generate G), and realizations over number fields F other than \(\mathbb {Q}\). So, for example, if \(\mathcal T = \emptyset \), then \((G, \mathcal T)\) would be realizable over F if and only if F has an unramified G-extension. If F has no unramified extensions, as is the case for \(\mathbb {Q}\), then for a tame ramification configuration \((G, \mathcal T)\) to be realizable, the groups \(T_i\) must normally generate G, and hence \(n \ge s\). Our definitions above reflect the fact that we shall only consider minimally tamely ramified extensions over \(\mathbb {Q}\) in this paper.
If \(K/\mathbb {Q}\) is a Galois extension of number fields and \(\wp \) is a prime of K lying above the prime (p), then the decomposition group \(Z(\wp /(p))\) for \(\wp \) in \({\text {Gal}}(K/\mathbb {Q})\) contains the inertia group \(T(\wp /(p))\) as a normal subgroup and the quotient is a cyclic group, which leads to the following definitions.
Definition 2.3
A (minimal) tame decomposition configuration is a triple \((G,\mathcal T, \mathcal Z)\), where \((G, \mathcal T)\) is a tame ramification configuration, and \(\mathcal Z\) is a collection \(\mathcal Z= \{Z_1, \dots , Z_s\}\) of subgroups of G where \(T_i\) is a normal subgroup of \(Z_i\) and \( Z_i/T_i\) is cyclic.
Definition 2.4
A (minimal) tame decomposition configuration is realizable over \(\mathbb {Q}\) if there exists a tamely ramified Galois extension \(K/\mathbb {Q}\) and an isomorphism \(\varphi {:}\;{\text {Gal}}(K/\mathbb {Q}) \longrightarrow G\) such that \(\varphi (T(\wp _i/(p_i))) =T_i\) as in Definition 2.2 and \(\varphi (Z(\wp _i/(p_i))) =Z_i\) for each \(i=1, \dots s\), where \(Z(\wp _i/(p_i))\) is the decomposition group for \(\wp _i\) in \({\text {Gal}}(K/\mathbb {Q})\).
Recall that if \(K/\mathbb {Q}\) is a Galois extension and \(K_0\) is a subfield of K Galois over \(\mathbb {Q}\), then the inertia and decomposition groups in \({\text {Gal}}(K/\mathbb {Q})\) project to the inertia and decomposition groups in \({\text {Gal}}(K_0/\mathbb {Q})\) for the corresponding primes of \(K_0\).
Definition 2.5
Call a tame ramification configuration \((H, \mathcal S)\) a quotient of a tame ramification configuration \((G, \mathcal T)\) if \({\text {rank}}(H)={\text {rank}}(G)\) and there is a surjective group homomorphism \(\pi {:}G \longrightarrow H\) such that \(\pi (T_i)=S_i\) for all \(T_i \in \mathcal T\) and all \(S_i \in \mathcal S\). Similarly, a tame decomposition configuration \((H, \mathcal S, \mathcal W)\) is a quotient of a tame decomposition configuration \((G, \mathcal T, \mathcal Z)\) if \((H, \mathcal S)\) a quotient of \((G, \mathcal T)\) and in addition \(\pi (Z_i)=W_i\) for all \(Z_i \in \mathcal Z\) and \(W_i \in \mathcal W\).
If \(K/\mathbb {Q}\) is a realization of the tame ramification configuration \((G, \mathcal T) \,(\)respectively, of the tame decomposition configuration \((G, \mathcal T, \mathcal Z))\), then \(K_0/\mathbb {Q}\) will be a realization of the tame ramification configuration \((H, \mathcal S)\) (respectively, of the tame decomposition configuration \((H, \mathcal S, \mathcal W)\)), where \(K_0\) is the subfield of K fixed by subgroup of \({\text {Gal}}(K/\mathbb {Q})\) corresponding (under \(\varphi \)) to the kernel of \(\pi \), which proves the following.
Proposition 2.6
- (a)
if \((H, \mathcal S)\,(\)resp., \((H, \mathcal S, \mathcal W))\) cannot be realized over \(\mathbb {Q}\), then neither can \((G, \mathcal T)\,(\)resp., \((G, \mathcal T, \mathcal Z))\), and
- (b)
if \((G, \mathcal T)\,(\)resp., \((G, \mathcal T, \mathcal Z))\) can be realized over \(\mathbb {Q}\), then so can \((H, \mathcal S)\,(\)resp., \((H, \mathcal S, \mathcal W))\).
3 Decomposition configurations in finite abelian groups
The rank s of a finite abelian group G is the number of cyclic factors in its invariant factor decomposition, and a tame ramification configuration is simply a specification of s generators, \(x_1, \dots , x_s\) of G, the minimum possible. Then a tame decomposition configuration is an additional choice of elements \(z_1, \dots , z_s \in G\).
We first use Proposition 2.6 to show that tame decomposition configurations can be realized for abelian groups if they can be realized for the particular abelian groups \((\mathbb {Z}/n\mathbb {Z})^s\).
Proposition 3.1
Let H be a finite abelian group with \({\text {rank}}(H)=s\), and let \((H,\mathcal S, \mathcal W)\) be a tame decomposition configuration. Then there is a tame decomposition configuration \((G,\mathcal T, \mathcal Z)\) with \(G = (\mathbb {Z}/n\mathbb {Z})^s\) that has \((H,\mathcal S, \mathcal W)\) as a quotient. In particular, if \((H,\mathcal S)\) is a tame ramification configuration, then there is a tame ramification configuration \((G,\mathcal T)\) with \(G = (\mathbb {Z}/n\mathbb {Z})^s\) which has \((H,\mathcal S)\) as a quotient.
Proof
For each \(i=1,\dots ,s\) let \(x_i \in S_i\) be a generator of the cyclic group \(S_i \in \mathcal S\) and suppose the decomposition group \(W_i \in \mathcal W\) is generated by \(\{ x_i, z_i \}\). Let \(\psi {:}\;\mathbb {Z}^s \longrightarrow H\) be the group homomorphism defined by \(\psi (\epsilon _i)=x_i\), where \(\epsilon _i=(0,\dots ,0,1,0,\dots ,0)\) with 1 in the ith position. For each \(i = 1, \dots , s\), choose \(\eta _i \in \mathbb {Z}^s\) so that \(\psi (\eta _i)=z_i\). Fix any positive integer n divisible by the exponent of H, so that \(n\cdot x=0\) for all \(x \in H\), and let \(f{:}\;\mathbb {Z}^s \longrightarrow G = \mathbb {Z}^s/n\mathbb {Z}^s\) be the natural projection. Then \(n\mathbb {Z}^s\) is contained in the kernel of \(\psi \), so \(\psi \) factors through f and induces a surjective homomorphism \(\pi =\overline{\psi }{:}G \longrightarrow H\). For \(i = 1, \dots , s\), let \(T_i = \langle f(\epsilon _i) \rangle \) be the subgroup of G generated by \( f(\epsilon _i)\) and let \(Z_i = \langle f(\epsilon _i),f(\eta _i) \rangle \) be the subgroup of G generated by \( f(\epsilon _i)\) and \(f(\eta _i)\). If \(\mathcal T = \{ T_1, \dots , T_s \}\) and \(\mathcal Z = \{ Z_1, \dots , Z_s \}\), then \((G,\mathcal T, \mathcal Z)\) is a tame decomposition configuration with \({\text {rank}}G = s = {\text {rank}}H\) that has \((H,\mathcal S, \mathcal W)\) as a quotient. \(\square \)
It follows from Propositions 2.6 and 3.1 that to construct a realization for the tame ramification configuration \((H,\mathcal S)\) or for the tame decomposition configuration \((H,\mathcal S, \mathcal W)\) for an abelian group H, it would suffice if we could construct a realization for all possible configurations for the group \(G = (\mathbb {Z}/n\mathbb {Z})^s\). We shall see that this can be done for ramification configurations (see Theorem 3.4) but not in general for all possible decomposition configurations.
If \(G = (\mathbb {Z}/n\mathbb {Z})^s\), each \(T_i \in \mathcal T\) has order at most n, so the fact that \({\text {rank}}G = s\) and G is generated by the \(T_i\) implies that \(T_i \simeq Z/n\mathbb {Z}\) for all \(i = 1, \dots , s\) and that \(G = T_1 \times \dots \times T_s\) in Proposition 3.1 (so, up to an evident equivalence, there is essentially only one tame ramification configuration for \((\mathbb {Z}/n\mathbb {Z})^s\)). Then if \(K/\mathbb {Q}\) is a realization of \((G, \mathcal T)\), taking the fixed fields of the subgroups \(T_1 \times \dots \times T_{i-1} \times T_{i+1} \times \cdots T_s\) for \(i = 1, \dots s\) shows that K would be the composite of cyclic extensions of degree n, each of which is totally and tamely ramified at one odd prime and otherwise unramified at finite primes. These extensions are the cyclic subextensions of prime cyclotomic fields:
Definition 3.2
If n is a positive integer and p is a prime with \(p \equiv 1\) mod n, let \(K_n(p)\) denote the subfield of degree n contained in the cyclotomic field of pth roots of unity.
Definition 3.3
A tame decomposition configuration \((G, \mathcal T, \mathcal Z)\) is a (minimal) tame split decomposition configuration if \(T_i=Z_i\) for \(1 \le i \le s.\)
The field \(K = K_n(l_1) \ldots K_n(l_s)\) considered above will be a realization over \(\mathbb {Q}\) of the tame split decomposition configuration \((G,\mathcal T, \mathcal Z)\) where \(G=(\mathbb {Z}/n\mathbb {Z})^s\) and \(Z_i=T_i =\mathbb {Z}/n\mathbb {Z}\) for \(i=1,\dots ,s\) if the prime \(l_i\) is totally split in every field \(K_n(l_j)\) with \(i \ne j\). This can be arranged by choosing the sequence of primes \(l_1,l_2,\dots \) inductively, as follows. Begin with any prime \(l_1\) with \(l_1 \equiv 1 \mod n\). Suppose inductively for \(1 \le t < s\) that \(\{l_1,l_2,\dots , l_t\}\) are distinct primes congruent to 1 modulo n satisfying the condition that each \(l_i\) is totally split in every field \(K_n(l_j)\) with \(j \ne i\). It would suffice to find a prime \(l_{t+1}\) with \(l_{t+1} \equiv 1 \pmod {nl_1l_2 \dots l_t}\) (which implies both that \(l_{t+1} \equiv 1 \mod n\) and that \(l_{t+1}\) splits completely in each \(K_n(l_i)\) for \(i \le t\)) such that also \(l_1, \dots , l_t\) each split completely in \(K_n(l_{t+1})\). That is, we want \(l_{t+1} \equiv 1 \pmod {nl_1l_2\cdots l_t}\) and, by Eq. (2), for each \(1 \le i \le t\), \(l_i \equiv y_i^n \pmod {l_{t+1}}\) for some \(y_i\). These conditions are satisfied for any prime \(l_{t+1}\) which splits completely in the field \(\mathbb {Q}(\zeta _{nl_1l_2\cdots l_t}, l_1^{1/n},l_2^{1/n},\dots ,l_t^{1/n})\), and Chebotarev’s density theorem ensures that there are infinitely many such primes.
The proof of Proposition 3.1 shows that every tame split decomposition configuration \((H,\mathcal S, \mathcal W)\) is the quotient of a tame split decomposition configuration with \(G=(\mathbb {Z}/n\mathbb {Z})^s\) (take \(\eta _i = 0\) in the proof), which we have just seen can all be realized over \(\mathbb {Q}\). By Proposition 2.6 this proves the following theorem.
Theorem 3.4
Every tame split decomposition configuration for a finite abelian group G can be realized over \(\mathbb {Q}\). In particular, every tame ramification configuration for G can be realized over \(\mathbb {Q}\).
This theorem shows that every finite abelian group arises as the Galois group of a tamely ramified extension of \(\mathbb {Q}\) with a minimal set of ramifying primes (which as mentioned in Sect. 1 is already an easy special case of the results in [7] and [8]), with the added feature that the inertia groups for the ramifying primes can be taken to be any collection of cyclic subgroups that minimally generate G, and where the ramified primes are otherwise completely split in the extension.
Theorem 3.4 proves that all split decomposition configurations (whose associated matrix (4) is simply the zero matrix) can be realized over \(\mathbb {Q}\). We shall see in the next subsection that, even for abelian groups, decomposition configurations that are not split may not be realizable over \(\mathbb {Q}\).
3.1 Finite abelian 2-groups
In this subsection we consider tame decomposition configurations for abelian groups of 2-power order. We begin with the case \(G=(\mathbb {Z}/2\mathbb {Z})^s\) of a finite elementary abelian 2-group.
Suppose \((G, \mathcal T, \mathcal Z)\) is a tame decomposition configuration with \(G=(\mathbb {Z}/2\mathbb {Z})^s\), \(\mathcal T=\{T_1,\dots ,T_s\}\) and \(\mathcal Z=\{Z_1,\dots ,Z_s\}\). In this case the generators \(x_i\) for \(T_i\) are unique, as are the elements \(z_i\) in Eq. (3), and the elements \(a_{ij}\) in the associated matrix \(M_{\mathcal Z}\) in Eq. (4) can be taken to be in \(\{0,1\}\). We convert the nondiagonal elements of \(M_{\mathcal Z}\) to \(\{\pm 1\}\) instead of \(\{0,1\}\) by defining \(S_{\mathcal Z} = \big ( m_{ij}\big )\) to be the \(s \times s\) matrix such that \(m_{ii}=0\) and \(m_{ij}=(-1)^{a_{ij}}\) for \(i\ne j.\)
Definition 3.5
An \(s\times s\) matrix M is a sign matrix if it has diagonal entries equal to 0, and off-diagonal entries equal to \(\pm 1.\)
Definition 3.6
A sign matrix M is a QR (quadratic residue) matrix if \(M=\big ( m_{ij}\big )\) where \(m_{ij} =\big (\frac{p_i}{p_j}\big )\) is given by the Legendre symbols for some set of distinct odd primes \(\{p_1,\dots ,p_s\}\).
Theorem 3.7
With notation as above, the tame decomposition configuration \((G, \mathcal T, \mathcal Z)\) for \(G=(\mathbb {Z}/2\mathbb {Z})^s\) is realizable over \(\mathbb {Q}\) if and only if the corresponding sign matrix \(S_{\mathcal Z}\) is a QR matrix. For \(s \le 2\), every tame decomposition configuration is realizable over \(\mathbb {Q}\), but for \(s \ge 3\) there exist tame decomposition configurations that cannot be realized over \(\mathbb {Q}.\)
Proof
Since \(n = 2\), a realization \(K/\mathbb {Q}\) of \((G, \mathcal T, \mathcal Z)\) would be given by the composite field \(K = K_2(l_1) \cdots K_2(l_s)\) for distinct odd primes \(l_1, \dots , l_s\). Here \(K_2(l_i)\) is the quadratic subfield of the \({l_i}^th \) roots of unity, so \(K_2(l_i) = \mathbb {Q}(\sqrt{l_i^*})\) where \(l_i^* = (-1)^{(l_i-1)/2} l_i\). Then for \(i\ne j\), \(m_{ij}= +1\) in \(S_{\mathcal Z}\) if and only if \(a_{ij}=0\), i.e., if and only if \(Z_i \subseteq {\text {Gal}}(K/K_2(l_j))=T_1 \times \cdots T_{j-1} \times T_{j+1}\times \dots \times T_s\), hence if and only if \(l_i\) splits in \(K_2(l_j)\). Since \(l_i\) splits in \(K_2(l_j)\) if and only if \(\big (\frac{l_j^*}{l_i}\big )= \big (\frac{l_i}{l_j}\big ) = +1\), it follows that \(m_{ij} = \big (\frac{l_i}{l_j}\big )\) so \(S_{\mathcal Z}\) is precisely the QR matrix for the primes \(\{l_1,\dots ,l_s\}\).
Conversely, suppose \(S_{\mathcal Z}\) is a QR matrix given by the Legendre symbols for the distinct odd primes \(\{l_1,\dots ,l_s\}\). Then by the equivalences in the previous paragraph, the extension \(K=\mathbb {Q}( \sqrt{l_1^*},\dots ,\sqrt{l_s^*})\) is a realization over \(\mathbb {Q}\) of \((G, \mathcal T, \mathcal Z)\).
Since a tame decomposition configuration \((G, \mathcal T, \mathcal Z)\) is invariant under permutations of the indices \(1 \le i \le s,\) we only consider the matrices \(S_{\mathcal Z}\) up to conjugation by \(s \times s\) permutation matrices. If \(S_{\mathcal Z}\) is a QR matrix and \(K=\mathbb {Q}( \sqrt{l_1^*},\dots ,\sqrt{l_s^*})\) is a realization over \(\mathbb {Q}\), this corresponds to a permutation of the primes \(l_i\).
These results show that in general it is not possible in minimally tamely ramified multiquadratic extensions of \(\mathbb {Q}\) to specify the further splitting of the ramified primes arbitrarily (even rapidly less possible as the number of ramifying primes increases)—this splitting data must give rise to a QR matrix. The next result shows that it is possible to at least specify the inertia indices for the ramifying primes, i.e., in the usual terminology, we may specify “\(f = 1\) or 2” arbitrarily for the s tamely ramified primes:
Corollary 3.8
For any integer r with \(0 \le r \le s\), there is a multiquadratic extension \(K/\mathbb {Q}\) of degree \(2^s\) in which precisely s primes ramify and ramify tamely (so have ramification index \(e = 2\)), and precisely r of the ramified primes have inertial degree f equal to 2 and the remaining \(s-r\) ramified primes are otherwise totally split in \(K\,(\)i.e., have \(f = 1)\).
Proof
As previously mentioned, it is shown in [1] that every QR-matrix is permutation equivalent to an \(s\times s\) matrix of the form in Eq. (5). Let \(S = \big ( m_{ij}\big )\) be the \(s\times s\) symmetric sign matrix whose first row has r entries equal to \(-1\), and \(s-r\) entries which are \(+1\) and all other entries above the diagonal are \(+1\). Then S is a QR-matrix, so by Theorem 3.7 the corresponding tame decomposition configuration is realizable by a multiquadratic extension \(K/\mathbb {Q}.\) In this realization, the inertial degree for the ith prime, \(f_i\), is 2 (i.e., \(\vert Z_i / T_i \vert = 2\)) if and only if \(z_i \notin T_i\), i.e., if and only if the ith row of S contains an entry equal to \(-1\) (by Eq. (3) since \(m_{ij}=(-1)^{a_{ij}}\)). It follows from the form of the matrix S that precisely r of the ramified primes have \(f_i = 2\) and the remaining ramified primes have \(f_i = 1\). \(\square \)
Remark 3.9
This Corollary shows in particular that the question of realizing tame decomposition configurations is more precise than the simpler question of specifying the ramification index e and the inertial degree f for each of the (tamely) ramifying primes.
Theorem 3.7 shows that, for an elementary abelian 2-group of rank at least 3, not every tame decomposition configuration can be realized over \(\mathbb {Q}\). It follows by Proposition 2.6 that if G is any finite abelian group with 2-rank at least 3 then not every tame decomposition configuration can be realized over \(\mathbb {Q}\), since there are quotients of such configurations that cannot be realized.
Suppose now that \(G=\mathbb {Z}/4\mathbb {Z}\times \mathbb {Z}/2\mathbb {Z}\), so that \(s=2.\) For a tame decomposition configuration \((G, \mathcal T, \mathcal Z)\), we must have (after a suitable ordering), \(T_1=\langle x_1 \rangle \) with \(x_1 \in G\) of order 4, and \(T_2=\langle x_2 \rangle \) with \(x_2 \notin T_1.\) Suppose \(K/\mathbb {Q}\) is a realization over \(\mathbb {Q}\) of \((G, \mathcal T, \mathcal Z)\) and let \(p_i\) be primes of \(\mathbb {Z}\) whose inertia groups are the images of \(T_i\) in \({\text {Gal}}(K/\mathbb {Q}).\) Since \(x_1\) has order 4, it follows that \(p_1 \equiv 1 \pmod 4\) (the ramification is tame, so \(T_1\) is isomorphic to a subgroup of the multiplicative group \((\mathbb {Z}/ p_1 \mathbb {Z})^*\) of the residue field). If F is the (unique) biquadratic subfield of K (the fixed field of \(x_1^2\)), then F is ramified only at the two primes \(p_1\) and \(p_2\), so \( F=\mathbb {Q}(\sqrt{p_1^*},\sqrt{p_2^*})\) with \(p_1^*=p_1\) and \(p_2^* = (-1)^{(p_2 - 1)/2} p_2\) as usual. But then \(p_1\) splits in \(\mathbb {Q}(\sqrt{p_2^*})\) if and only if \(p_2\) splits in \(\mathbb {Q}(\sqrt{p_1^*})\) since \(\big (\frac{p_2^*}{p_1}\big )=\big (\frac{p_1}{p_2}\big )=\big (\frac{p_1^*}{p_2}\big )\), so the decomposition of \(p_1\) and \(p_2\) cannot be chosen independently. It follows that there exist some tame decomposition configurations \((G, \mathcal T, \mathcal Z)\) for \(G=\mathbb {Z}/4\mathbb {Z}\times \mathbb {Z}/2\mathbb {Z}\) that are not realizable over \(\mathbb {Q}\). For an explicit example, the configuration \(Z_1=T_1\) and \(Z_2=G\) is not realizable over \(\mathbb {Q}\) (it requires that \(p_1\) split in \(\mathbb {Q}(\sqrt{p_2^*})\) but \(p_2\) to be inert in \(\mathbb {Q}(\sqrt{p_1^*})\)). This also shows that not all ramification and inertial indices are possible—it is not possible to have \(e = 4\), \(f = 1\) (i.e., ramified of degree 4 and otherwise totally split) for one prime and \(e = 2\), \(f = 4\) (i.e., ramified of degree 2 and otherwise completely inert) for the other. It is easy to check that this reciprocity condition is the statement that \(Z_1 = T_1\) if and only if \(Z_2 \le \langle T_2, x_1^2 \rangle \).
Decomposition configurations for \(\mathbb {Z}/4\mathbb {Z}\times \mathbb {Z}/2\mathbb {Z}\)
\(\varvec{T_1}\) | \(\varvec{Z_1}\) | \(\varvec{T_2}\) | \(\varvec{Z_2}\) | \(\varvec{p_1 \ (e,f)}\) | \(\varvec{p_2 \ (e,f)}\) | Realization (when possible) |
---|---|---|---|---|---|---|
\(\langle x_1 \rangle \) | \(\langle x_1 \rangle \) | \(\langle y \rangle \) | \(\langle y \rangle \) | \(13 \ (4,1)\) | \(3 \ (2,1)\) | \(x^8 \,{-}\, x^7 \,{-}\, x^6 \,{-}\, 10x^5 \,{+}\, 5x^4 \,{+}\, 14x^3 \,{+}\, 10x^2 \,{+}\, 12x \,{+}\, 9\) |
\(\langle x_1 \rangle \) | \(\langle x_1 \rangle \) | \(\langle y \rangle \) | \(\langle y,x_1^2 \rangle \) | \(37 \ (4,1)\) | \(3 \ (2,2)\) | \(x^8 \,{-}\, x^7 \,{-}\, 4 x^6 \,{+}\, 9 x^5 \,{-}\, 31 x^4 \,{+}\, 63 x^3 \,{-}\, 196 x^2 \,{-}\, 343 x \,{+}\, 2401\) |
\(\langle x_1 \rangle \) | \(\langle x_1 \rangle \) | \(\langle y \rangle \) | G | \(\text {Not realizable}\) | ||
\(\langle x_1 \rangle \) | G | \(\langle y \rangle \) | \(\langle y \rangle \) | \(\text {Not realizable}\) | ||
\(\langle x_1 \rangle \) | G | \(\langle y \rangle \) | \(\langle y,x_1^2 \rangle \) | \(\text {Not realizable}\) | ||
\(\langle x_1 \rangle \) | G | \(\langle y \rangle \) | G | \(5 \ (4,2)\) | \(3 \ (2,4)\) | \(x^8 \,{-}\, x^7 \,{+}\, x^5 \,{-}\, x^4 \,{+}\, x^3 \,{-}\, x \,{+}\, 1\) |
\(\langle x_1 \rangle \) | \(\langle x_1 \rangle \) | \(\langle x_1y \rangle \) | \(\langle x_1y \rangle \) | \(5 \ (4,1)\) | \(29 \ (4,1)\) | \(x^8 \,{-}\, x^7 \,{-}\, 47 x^6 \,{+}\, 40 x^5 \,{+}\, 581 x^4 \,{-}\, 655 x^3 \,{-}\, 1603 x^2 \,{+}\, 1968 x \,{+}\, 36\) |
\(\langle x_1 \rangle \) | \(\langle x_1 \rangle \) | \(\langle x_1y \rangle \) | G | \(\text {Not realizable}\) | ||
\(\langle x_1 \rangle \) | G | \(\langle x_1y \rangle \) | G | \(5 \ (4,2)\) | \(13 \ (4,2)\) | \(x^8 \,{-}\, x^7 \,{-}\, 21 x^6 \,{+}\, 18 x^5 \,{+}\, 89 x^4 \,{-}\, 19 x^3 \,{-}\, 89 x^2 \,{-}\, 38 x \,{-}\, 4\) |
As before, since there are configurations that cannot be realized over \(\mathbb {Q}\), it follows that any finite abelian group G whose 2-primary part has rank 2 but not exponent 2 will have tame decomposition configurations that cannot be realized over \(\mathbb {Q}\), since it has quotients that cannot be realized.
Finally, if \(G=\mathbb {Z}/2^n\mathbb {Z}\), then \(s=1\) and the only tame decomposition configuration \((G, \mathcal T, \mathcal Z)\) is \(T=Z=G\) which is realizable over \(\mathbb {Q}\) by the subfield \(K_{2^n}(l)\) of degree \(2^n\) of the cyclotomic field of lth roots of unity for any prime \(l \equiv 1 \pmod {2^n}\).
3.2 A reciprocity theorem
Before considering finite abelian groups further, we first prove a reciprocity theorem which may be of independent interest.
Fix an integer \(n \ge 1\), a prime \(p \equiv 1\) mod n, and distinct primes \(l_1, \dots , l_s\) different from p and prime to n.
Lemma 3.10
Proof
For any \(\mathbf {a}\), the map \(f_{\mathbf {a}} : \mathbb {Z}^s \rightarrow Z/nZ\) defined by the usual dot product mod n, \(f_{\mathbf {a}} (\mathbf {z}) = \mathbf {a} \cdot \mathbf {z} \mod n\), is a homomorphism of abelian groups. The assumption of the Lemma is that \( \ker f_{\mathbf {a}}= \ker f_{\mathbf {b}}\), so that \( \mathbb {Z}^s / \ker f_{\mathbf {a}} = \mathbb {Z}^s / \ker f_{\mathbf {b}}\). Since \( \mathbb {Z}^s / \ker f_{\mathbf {a}} \simeq d \mathbb {Z}/ n \mathbb {Z}\) for some divisor d of n, also \( \mathbb {Z}^s / \ker f_{\mathbf {b}} \simeq d \mathbb {Z}/ n \mathbb {Z}\). Any automorphism of \(d \mathbb {Z}/ n \mathbb {Z}\) is given by multiplication by some element u relatively prime to n, so \( u f_{\mathbf {a}} (\mathbf {z}) = f_{\mathbf {b}} (\mathbf {z}) \) for all \(\mathbf {z}\). Evaluating this for \(\mathbf {z}\) the usual vectors \(\epsilon _i = (0,\ldots ,0,1,0,\ldots ,0)\) gives \(u (a_1, \ldots , a_s) \equiv (b_1, \ldots , b_s) \mod n\). \(\square \)
Let \(K_n(p)\) be the degree n subfield of the cyclotomic field of pth roots of unity as in Definition 3.2 and the following discussion.
The prime p splits completely in F since \(p \equiv 1\) mod n, and if \(\wp \) is any one of the \(\varphi (n)\) distinct primes of F dividing (p) then the Frobenius automorphism \(\mathrm {Fr}_{L/F} (\wp )\) in the abelian extension L / F depends only on \(\wp \). If \(\sigma _a ( \wp ) \) (\(\sigma _a \in {\text {Gal}}(F/\mathbb {Q})\)) is any other prime of F lying over (p), then \(\mathrm {Fr}_{L/F} (\sigma _a ( \wp )) = \mathrm {Fr}_{L/F} (\wp )^a\).
Theorem 3.11
(Reciprocity Theorem) Let \(\mathrm {Fr}_{L/F} (\wp ) \in {\text {Gal}}(L/F)\) be the Frobenius element for any prime of F lying above (p) and suppose \( \mathrm {Fr}_{L/F} (\wp ) = \lambda _1^{a_1} \dots \lambda _s^{a_s}\) where the \(\lambda _i \in {\text {Gal}}(L/F)\) are as in Eq. (6). Then there is a generator \(\tau \) for \({\text {Gal}}(K_n(p)/\mathbb {Q})\) with \( \mathrm {Fr}_{K_n(p)/\mathbb {Q}} (l_i) = \tau ^{a_i}\) for all \(i = 1, \dots , s.\)
Proof
Now, the element \((l_1^{1/n})^{A_1} \dots (l_s^{1/n})^{A_s} \) lies in the decomposition field for \(\wp \) if and only if \(\wp \) splits completely in the field \(F((l_1^{1/n})^{A_1} \dots (l_s^{1/n})^{A_s})\), and since \(\wp \) is a degree one prime of F, this is true if and only if the polynomial \(x^n - {l_1}^{A_1} \dots {l_s}^{A_s}\) has a root mod p, i.e., if and only if \({l_1}^{A_1} \dots {l_s}^{A_s}\) is an nth power mod p. This is equivalent to the statement that \(\sigma _{l_1}^{A_1} \dots \sigma _{l_s}^{A_s}\) projects to the identity in \({\text {Gal}}(K_n(p)/\mathbb {Q})\); since \(\sigma _{l_i}\) projects to the Frobenius automorphism \(\mathrm {Fr}_{K_n(p)/\mathbb {Q}} (l_i)\) in \({\text {Gal}}(K_n(p)/\mathbb {Q})\), this is in turn equivalent to the statement that \(\mathrm {Fr}_{K_n(p)/\mathbb {Q}} (l_1)^{A_1} \dots \mathrm {Fr}_{K_n(p)/\mathbb {Q}} (l_s)^{A_s} = 1\) in \({\text {Gal}}(K_n(p)/\mathbb {Q})\). If \(l_i = g^{b_i} \mod p\) for g a primitive root modulo p, then by Eq. (2), \(\mathrm {Fr}_{K_n(p)/\mathbb {Q}} (l_i) = \tau _g^{b_i}\), so \(\mathrm {Fr}_{K_n(p)/\mathbb {Q}} (l_1)^{A_1} \dots \mathrm {Fr}_{K_n(p)/\mathbb {Q}} (l_s)^{A_s} = 1\) if and only if \(\tau _g^{b_1 A_1 + \dots + b_s A_s} = 1\) in \({\text {Gal}}(K_n(p)/\mathbb {Q})\), i.e., if and only if \((b_1, \dots , b_s) \cdot (A_1, \dots , A_s) \in n \mathbb {Z}\).
Hence, \((a_1, \dots , a_s) \cdot (A_1, \dots , A_s) \in n \mathbb {Z}\) if and only if \((b_1, \dots , b_s) \cdot (A_1, \dots , A_s) \in n \mathbb {Z}\). By Lemma 3.10, there is an integer u relatively prime to n with \(u (a_1, \dots , a_s) \equiv (b_1, \dots , b_s) \mod n\). Since \(\mathrm {Fr}_{K_n(p)/\mathbb {Q}} (l_i) = \tau _g^{b_i} = \tau _g^{u a_i}\), the theorem follows with \(\tau = \tau _g^u\). \(\square \)
Remark 3.12
There are \(\varphi (n)\) distinct primes \(\wp \) above (p) in F, and there are \(\varphi (n)\) distinct generators for \({\text {Gal}}(K_n(p)/\mathbb {Q})\). Distinct primes \(\wp \) correspond to distinct generators \(\tau \) in Theorem 3.11: if \(\wp \) corresponds to \(\tau \), then \(\sigma _a (\wp )\) for \(\sigma _a \in {\text {Gal}}(F/\mathbb {Q})\) corresponds to \(\tau ^a\). Note in particular that the subgroup \(\langle \mathrm {Fr}_{L/F} (\wp ) \rangle \le {\text {Gal}}(L/F)\) depends only on p and not on the choice of \(\wp \) dividing (p) in F.
Remark 3.13
When \(n = 2\), Theorem 3.11 is just quadratic reciprocity for p and the primes \(l_i\), \(i = 1, \ldots , s\). For larger values of n, the theorem carries more information than simply the appropriate nth power reciprocity for the individual primes. For example, if \(n= 3\) and \(s = 2\) the theorem not only considers whether \(l_1\) and \(l_2\) are cubes modulo p, but also when they are not cubes whether they lie in the same (or the inverse) cubic residue class modulo p.
3.3 Finite abelian groups of odd order
In this subsection we show that, unlike the case of abelian 2-groups where quadratic reciprocity intervened, for finite abelian groups of odd order there are no constraints to realizing tame decomposition configurations over \(\mathbb {Q}\):
Theorem 3.14
Every tame decomposition configuration \((G,\mathcal T, \mathcal Z)\) with G an abelian group of odd order is realizable over \(\mathbb {Q}.\)
The method of proof will be similar to the proof of Theorem 3.4: by Propositions 2.6 and 3.1 (noting in the proof of the latter than n can be taken odd if H has odd exponent) it suffices to prove that all tame decomposition configurations are realizable over \(\mathbb {Q}\) for the group \(G=(\mathbb {Z}/n\mathbb {Z})^s\) when n is odd, which we do using subfields of appropriate cyclotomic fields, whose existence will be proved using the Reciprocity Theorem of the previous subsection.
For the remainder of this subsection let n be an odd positive integer.
A tame decomposition configuration for \(G=(\mathbb {Z}/n\mathbb {Z})^s\) is encoded in a matrix \(M_{\mathcal Z}\) as in Eq. (4). To prove Theorem 3.14 we must show that any such matrix containing arbitrary elements of \(\mathbb {Z}/n\mathbb {Z}\) in the off-diagonal positions arises from the decomposition information for the distinct primes \(l_1, \ldots , l_s\) in the composite extension \(K = K_n(l_1) \cdots K_n(l_s)\) (where \(K_n(l_i)\) is the field in Definition 3.2), which we now make explicit.
As in Eq. (1), let \(g_i\) be a primitive root modulo \(l_i\) and let \(\tau _{g_i}\) be the corresponding generator for \({\text {Gal}}(K_n(l_i)/\mathbb {Q})\), viewed as an element in \({\text {Gal}}(K/\mathbb {Q})\) with \(\tau _{g_i}\) acting trivially on each \(K_n(l_j)\) with \(j \ne i\) (which amounts to choosing \(g_i \equiv 1 \pmod {l_j}\) for \(j \ne i\)), so that \({\text {Gal}}(K/\mathbb {Q}) = \langle \tau _{g_1} \rangle \times \dots \times \langle \tau _{g_s} \rangle \). The decomposition group for the prime \(l_i\) in \({\text {Gal}}(K/\mathbb {Q})\) is generated by \(\tau _{g_i}\) and the Frobenius automorphism for \(l_i\) in \({\text {Gal}}(K/K_n(l_i) ) = \langle \tau _{g_1} \rangle \times \cdots \langle \tau _{g_{i-1}} \rangle \times \langle \tau _{g_{i+1}} \rangle \cdots \times \langle \tau _{g_s} \rangle \). This Frobenius automorphism is \(\tau _{g_1}^{a_{i1}} \dots \tau _{g_s}^{a_{is}}\) where \(\tau _{g_j}^{a_{ij}}\) is the restriction to \(K_n(l_j)\) of the automorphism \(\sigma _{l_i} \in {\text {Gal}}( \mathbb {Q}(\zeta _{l_j})/\mathbb {Q})\) for \(j \ne i\) and \(a_{ii} = 0\). By Eq. (2) the \(a_{ij}\) are given by \( l_i \equiv g_j^{a_{ij}} \pmod {l_j} \).
It follows that the matrix encoding the decomposition information for \(K/\mathbb {Q}\) is the matrix \(\big ( a_{ij}\big )\) whose diagonal entries \(a_{ii}\) are zero and whose off-diagonal entries \(a_{ij}\) for \(i \ne j\) are determined by \( l_i \equiv g_j^{a_{ij}} \pmod {l_j} \). To prove Theorem 3.14 we must show that we may arrange for arbitrary elements of \(\mathbb {Z}/n\mathbb {Z}\) in the off-diagonal positions by choosing the primes \(l_1, \dots , l_s\) appropriately.
By the remarks following Eq. (6), the conjugacy class in \({\text {Gal}}(L K/ \mathbb {Q})\) of the element \(( \lambda _1^{a_1} \ldots \lambda _s^{a_s} , \tau _{g_1}^{b_1} \ldots \tau _{g_s}^{b_s} )\) consists of the elements \(( \lambda _1^{a a_1} \ldots \lambda _s^{a a_s} , \tau _{g_1}^{b_1} \ldots \tau _{g_s}^{b_s} )\) where the \( \lambda _1^{a a_1} \ldots \lambda _s^{a a_s} \) are the generators for the subgroup \(\langle \lambda _1^{a_1} \ldots \lambda _s^{a_s} \rangle \) in \({\text {Gal}}(L / \mathbb {Q})\).
By Chebotarev’s density theorem, there exists a prime p whose Frobenius automorphisms in \({\text {Gal}}(L K / \mathbb {Q})\) give the conjugacy class of \(( \lambda _1^{a_1} \ldots \lambda _s^{a_s} , \tau _{g_1}^{b_1} \ldots \tau _{g_s}^{b_s} )\). Then \(\mathrm {Fr}_{K_n(l_i)/\mathbb {Q}} (p) = \tau _{g_i}^{b_i}\) for \(i = 1, \ldots , s\), so the conditions in (10) are satisfied for p. Also, there is a prime \(\mathfrak p\) lying over p in L with \(\mathrm {Fr}_{L/\mathbb {Q}} (\mathfrak p) = \lambda _1^{a_1} \ldots \lambda _s^{a_s}\). Since \(\lambda _1^{a_1} \ldots \lambda _s^{a_s}\) is trivial on the subfield \(\mathbb {Q}(\zeta _n)\), p splits completely in \(\mathbb {Q}(\zeta _n)\), i.e., \(p \equiv 1 \pmod n\), and if \(\wp = \mathfrak p \cap \mathbb {Q}(\zeta _n)\) then \(\mathrm {Fr}_{L/F} (\wp ) = \lambda _1^{a_1} \ldots \lambda _s^{a_s}\) in the abelian extension L / F.
By the Reciprocity Theorem 3.11, \(\mathrm {Fr}_{L/F} (\wp ) = \lambda _1^{a_1} \dots \lambda _s^{a_s}\) implies \( \mathrm {Fr}_{K_n(p)/\mathbb {Q}} (l_i) = \tau ^{a_i}\), \(1 \le i \le s\), for some generator \(\tau \) of \({\text {Gal}}(K_n(p)/\mathbb {Q})\). If g is a primitive root mod p so that \(\tau = \tau _g\) as in (1), this shows the conditions in (11) are also satisfied for p, completing the proof of Theorem 3.14 by induction. \(\square \)
Remark 3.15
We note that n odd was needed to ensure \(L = \mathbb {Q}(\zeta _n, l_1^{1/n}, \dots , l_s^{1/n})\) and \(K = K_n(l_1) \dots K_n(l_s)\) are linearly disjoint, which allowed us to find a prime p that satisfied both (10) and (11) simultaneously. Since the fields \(\mathbb {Q}( \sqrt{l_1}, \sqrt{l_2})\) and \(\mathbb {Q}( \sqrt{l_1^*}, \sqrt{l_2^*})\) always have a nontrivial intersection, the fields L and K are never linearly disjoint when n is even. This reflects the intervention of quadratic reciprocity constraints preventing some decomposition configurations from being realizable over \(\mathbb {Q}\) for abelian groups of even order as in the previous subsection.
3.4 Finite abelian groups with cyclic or \(\pmb {\mathbb {Z}}/2\pmb {\mathbb {Z}} \times \pmb {\mathbb {Z}}/2\pmb {\mathbb {Z}} \) Sylow-2 subgroup
We have seen that if the abelian group G has trivial Sylow-2 subgroup then all tame decomposition configurations can be realized over \(\mathbb {Q}\), and that if the Sylow-2 subgroup has rank at least 3 or has rank 2 but not exponent 2 then there are configurations that cannot be realized. In this subsection we complete the analysis for finite abelian groups by showing that in the two remaining cases, namely where the Sylow-2 subgroup of the abelian group is either cylic or isomorphic to \(\mathbb {Z}/2\mathbb {Z}\times \mathbb {Z}/2\mathbb {Z}\), then again all tame decomposition configurations can be realized over \(\mathbb {Q}\):
Theorem 3.16
Every tame decomposition configuration \((G,\mathcal T, \mathcal Z)\) with G an abelian group with cyclic or \(\mathbb {Z}/2\mathbb {Z}\times \mathbb {Z}/2\mathbb {Z}\) Sylow-2 subgroup is realizable over \(\mathbb {Q}.\)
In both cases the argument will be by induction on the number of generators of G, with the inductive hypothesis used to provide an ‘initial realization’ for a tame decomposition configuration related to the desired configuration. A Chebotarev density theorem argument will show the existence of an additional prime and corresponding abelian extensions which, when taken together with the initial realization, can be used to construct a realization of the desired decomposition configuration. While somewhat more technically detailed, the arguments are fundamentally similiar to those in the previous subsection, so we indicate the proofs more briefly.
We first note a variant of Proposition 3.1. Suppose \((H,\mathcal S, \mathcal W)\) and \((G,\mathcal T, \mathcal Z)\) are as in Proposition 3.1. Write \(H = H_2 \times H_{\text{ odd } }\) where \(H_2\) is the Sylow-2 subgroup of H and \(H_{\text{ odd } }\) has odd order and write \(G = G_2 \times G_{\text{ odd } }\) similarly. The surjection \(\pi \) in the proof of Proposition 3.1 restricted to \(G_2\) gives a surjection to \(H_2\), and if \(J_2\) denotes the kernel of this latter map, then \(\pi \) induces a surjective homomorphism \(G/J_2 \rightarrow H\), and the induced minimal tame decomposition configuration on \(G/J_2\) has the minimal tame decomposition configuration \((H,\mathcal S, \mathcal W)\) on H as quotient.
- 1.
\(G \simeq \mathbb {Z}/2^A\mathbb {Z}\times (\mathbb {Z}/n\mathbb {Z})^s \), where \(A \ge 1\), \(s \ge 0\), and \(n \ge 1\) is odd, and
- 2.
\(G \simeq (\mathbb {Z}/2 \mathbb {Z}\times \mathbb {Z}/2 \mathbb {Z}) \times (\mathbb {Z}/n\mathbb {Z})^s \), where \(s \ge 0\) and \(n \ge 1\) is odd.
3.4.1 Finite abelian groups with cyclic Sylow-2 subgroup
We now find another prime p to adjust this ‘initial configuration’ to realize the decomposition (13) and (14).
Choose the prime p distinct from \(l_2, \dots , l_s\) so that \(p \equiv 1 \) modulo \(2^A\) and so that for \(i = 2, 3, \dots , s\) the residue degree of \(l_i\) in \(K_{2^A}(p)\) is \(2^{A - b_i}\) and \(l_i\) is otherwise split, i.e., so that \(Z_{K_{2^A}(p)/\mathbb {Q}}(l_i) = \langle {g_1}^{\! 2^{b_i}} \rangle \) if \({\text {Gal}}(K_{2^A}(p) / \mathbb {Q}) = \langle g_1 \rangle \). By the Reciprocity Theorem 3.11, this is a choice of Frobenius for p in the extension \(\mathbb {Q}(\zeta _{2^A})( l_2^{1/2^A}, \dots , l_s^{1/2^A} )\).
Write \({\text {Gal}}(K_0 / \mathbb {Q}) = \langle g_2 \rangle \), so the composite of \(K_0\) and \(K_{2^A}(p)\) has Galois group \({\text {Gal}}(K_0 K_{2^A}(p)/\mathbb {Q}) = {\text {Gal}}(K_{2^A}(p)/\mathbb {Q}) \times {\text {Gal}}(K_0/\mathbb {Q}) = \langle g_1 \rangle \times \langle g_2 \rangle \) where we lift \(g_1\) by having it act trivially on \(K_0\) and we lift \(g_2\) similarly. Define the field F to be the subfield of \(K_0 K_{2^A}(p)\) fixed by the subgroup generated by \({g_1}^{\! 2^{a}} g_2\).
- (1)
p is distinct from \(l_2, \dots , l_s\),
- (2)
a choice of Frobenius for p in the extension \(\mathbb {Q}(\zeta _{2^A})( l_2^{1/2^A}, \dots , l_s^{1/2^A} )\),
- (3)
a choice of Frobenius for p in the extension \(K_n(l_2) \ldots K_n (l_s)\), and
- (4)
a choice of Frobenius for p in the extension \(\mathbb {Q}(\zeta _{n})( l_2^{1/n}, \dots , l_s^{1/n} )\) (which includes the condition \(p \equiv 1 \) modulo n).
3.4.2 Finite abelian groups with Sylow-2 subgroup \(\pmb {\mathbb {Z}}/2\pmb {\mathbb {Z}} \times \pmb {\mathbb {Z}}/2\pmb {\mathbb {Z}}\)
Suppose that \(G \simeq (\mathbb {Z}/2 \mathbb {Z}\times \mathbb {Z}/2 \mathbb {Z}) \times (\mathbb {Z}/n\mathbb {Z})^s \), where \(s \ge 0\) and \(n \ge 1\) is odd. The cases \(s = 0\) (which has already been considered in Sect. 3.1 in any case) and \(s = 1\) are quotients of the case \(s = 2\) in the sense of Definition 2.5, so it suffices to prove Theorem 3.16 when \(s \ge 2\). We proceed by induction on s.
If \(s = 2\), \(G = T_1 \times T_2 \simeq \mathbb {Z}/(2n) \mathbb {Z}\times \mathbb {Z}/(2n) \mathbb {Z}\), so a realization would be the composite \(K_{2n}(p) K_{2n}(q)\) for some primes p and q both congruent to 1 modulo 2n. To prove the existence of appropriate primes p and q we can proceed as we did for abelian groups of odd order, as follows. First let q be any prime congruent to 3 modulo 4 and also congruent to 1 modulo 2n. A tame decomposition configuration specifies the further splitting of the prime q in \(K_{2n}(p)\) for a prime \(p \equiv 1\) modulo n and the further splitting of p in \(K_{2n}(q)\). The splitting for p is the choice of a Frobenius element for p in \(K_{2n}(q)\), and by the Reciprocity Theorem 3.11, the splitting for q (a choice of Frobenius element for q in \(K_{2n}(p)\)) is a choice of a Frobenius element for p in the extension \(\mathbb {Q}(\zeta _{2n}, q^{1/2n})\). Since q was chosen congruent to 3 modulo 4, the quadratic subfield of \(K_{2n}(q)\) is \(\mathbb {Q}(\sqrt{-q})\) and it follows that \(K_{2n}(q)\) and \(\mathbb {Q}(\zeta _{2n}, q^{1/2n})\) are linearly disjoint. By Chebotarev’s density theorem, there exists a prime p satisfying all the required constraints simultaneously, completing the proof when \(s = 2\).
Suppose now that \(s \ge 3\).
To prove the existence of suitable primes \(p,q,l_3, \dots , l_s\), we first apply the inductive hypothesis to a decomposition configuration (that will depend on \(T_s\) and \(Z_s\)) for a group of rank \(s-1\) to obtain the primes \(p,q,l_3, \dots , l_{s-1}\) and then show the existence of a prime \(l_s\) and a modification of this initial configuration that realizes the rank s configuration.
- (1)
\( \genfrac(){0.0pt}0{l_s}{q} = {\left\{ \begin{array}{ll} +1 &{} \text {if } w_s \in \langle \sigma \rangle \\ -1 &{} \text {if } w_s \notin \langle \sigma \rangle , \end{array}\right. } \)
- (2)
\( \genfrac(){0.0pt}0{l_s}{l} = + 1\), for \(l \in \{p, l_3, \dots , l_{s-1} \}\),
- (3)
The Frobenius for \(l_s\) in \(K_n(p) K_n(q) K_n(l_3) \ldots K_n (l_{s-1})\) ensures the odd part of the decomposition of \(l_s\) in \(K_n(p) K_n(q) K_n(l_3) \ldots K_n (l_{s-1})\) is as needed, and
- (4)
The Frobenius for \(l_s\) in \(\mathbb {Q}(\zeta _{n})( p^{1/n}, q^{1/n}, l_3^{1/n}, \ldots , l_{s-1}^{1/n} )\) ensures (by the Reciprocity Theorem (3.11)) the odd part of the decomposition of \(p,q,l_3, \dots , l_{s-1}\) in \(K_n(l_s)\) is as needed.
Remark 3.17
The condition in (2) can be relaxed to include only p and those primes \(l_i\) whose associated \(y_i\) in (22) is not trivial.
Let \(N_\sigma = N'_\sigma \), \(N_\tau = l_s^* N'_\tau = l_s N'_\tau \) and \(N_{\sigma \tau } =l_s^* N'_{\sigma \tau } =l_s N'_{\sigma \tau }\), and define \(K = \mathbb {Q}( \sqrt{N_\sigma } , \sqrt{N_\tau } )\). Then K is a biquadratic extension of \(\mathbb {Q}\) with quadratic subfields \(K_\sigma = \mathbb {Q}( \sqrt{ N_\sigma } )\), \(K_\tau = \mathbb {Q}( \sqrt{ N_\tau } )\), and \(K_{\sigma \tau } = \mathbb {Q}( \sqrt{ N_{\sigma \tau } } )\). It is then straightforward to check that the composite field \(K K_n(p) K_n(q) K_n(l_3) \dots K_n(l_s)\) is a realization of the decomposition configuration (16), (17) and (19). For example, the even part of the decomposition behavior (i.e., the 2-primary parts of the ramification and decomposition groups) is realized in the biquadratic field K, as follows. The field \(K_\sigma \) is the same for \(K_0\) and K, and the fact that \(l_s = l_s^*\) is a square modulo \(p, l_3, \dots , l_{s-1}\) by condition (2) shows the decomposition behavior for these primes in K is as desired.
The decomposition of \(l_s\) in K is the question of whether \(l_s\) is split or inert in \(K_\sigma \) (it is ramified in the other two quadratic subfields), i.e., by the Legendre symbol \(\left( {\begin{array}{c} N_\sigma \\ l_s\end{array}}\right) \), which equals \(\left( {\begin{array}{c} l_s \\ q\end{array}}\right) \) by condition (2) and the fact that \(l_s \equiv 1\) modulo 4. By condition (1), this is precisely the desired decomposition for \(l_s\) in (17), as desired.
The decomposition of q in K is determined by the splitting of q in \(K_\tau \), so by the Legendre symbol \(\left( {\begin{array}{c} N_\tau l_s \\ q\end{array}}\right) = \left( {\begin{array}{c} N_\tau \\ q\end{array}}\right) \left( {\begin{array}{c}l_s \\ q\end{array}}\right) \). By the choice of the inductive configuration, \(\left( {\begin{array}{c} N_\tau \\ q\end{array}}\right) = +1\) if and only if \(\epsilon w_q \in \langle \tau \rangle \) and by condition (2), \(\left( {\begin{array}{c} l_s \\ q\end{array}}\right) = +1\) if and only if \(w_s \in \langle \sigma \rangle \), i.e., if and only if \(T_s = Z_s\). By the definition of \(\epsilon \), a quick check shows \(\left( {\begin{array}{c} N_\tau l_s \\ q\end{array}}\right) = +1\) if and only if \(w_q \in \langle \tau \rangle \), so q decomposes as desired in K.
Finally, if \(T_s = 1\), set \(\epsilon = 1\), take (20)–(22) for the inductive configuration, take \(K = K_0\), and replace conditions (1) and (2) for the prime \(l_s \equiv 1\) modulo 4n by the condition that its Frobenius in K gives the correct decomposition group \(Z_s\).
In all cases, it is easy to check as before that \(K K_n(p) K_n(q) K_n(l_3) \ldots K_n(l_s)\) is a realization of the decomposition configuration, completing the proof of Theorem (3.16).
4 Groups of small order
In this section we consider the realizations of (minimal) tame decomposition configurations of some nonabelian groups. In many cases there are restrictions on the configurations that can be realized (for example, every minimally ramified tame \(Q_8\) extension is necessarily a split tame decomposition configuration), and, for those that can be realized, we give explicit realizations. We also observe that it is a difficult (open) question to determine if a given tame decomposition configuration that can be realized over \(\mathbb {Q}\) in fact has infinitely many different realizations; this is already an interesting problem for the groups considered here.
4.1 Nonabelian groups of order 8
Consider first \(G=Q_8\), the quaternion group of order 8. Then \(s=2\) and a tame decomposition configuration \((G, \mathcal T, \mathcal Z)\) must have \(T_1\) and \(T_2\) cyclic groups of order 4; up to evident equivalence, there are three possible configurations, depending on whether \(T_i = Z_i\) or not. If \(K/\mathbb {Q}\) is a realization then the unique biquadratic subfield F of K, \(F= \mathbb {Q}(\sqrt{p_1^*},\sqrt{p_2^*}),\) must be totally real, hence \(p_1 \equiv p_2 \equiv 1 \pmod 4\). As before, this imposes a quadratic reciprocity constraint that implies \(Z_1 =T_1\) if and only if \(Z_2=T_2\). But \(T_1 \subsetneq Z_1\) means that \(Z_1=Q_8\), and since only \(\mathbb {Z}/8 \mathbb {Z}\) and \(\mathbb {Z}/2\mathbb {Z}\times \mathbb {Z}/4\mathbb {Z}\) occur as Galois groups of order 8 over \(\mathbb {Q}_p\) if \(p \equiv 1 \pmod 4\) this cannot occur. Alternatively, a theorem of Witt [11] states that \(\mathbb {Q}(\sqrt{a}, \sqrt{b})\) can be embedded in a \(Q_8\) extension if and only if \((-a,-b) = (-1,-1)\) (Hilbert symbols), which for \(a = p_1^*\), \(b = p_2^*\) is equivalent to \(p_1 \equiv p_2 \equiv 1 \pmod 4\) and \(\big (\frac{p_1}{p_2}\big )= \big (\frac{p_2}{p_1}\big ) = +1\). Therefore only the configuration with \(Z_1=T_1\) and \(Z_2=T_2\) could be realizable. In [2], Fröhlich shows this Witt condition is both necessary and sufficient for the existence of a (unique) \(Q_8\) extension of \(\mathbb {Q}\) ramified only at the primes \(p_1\) and \(p_2\), and Schmid in [10] identifies it explicitly.
Next consider \(G=D_8 = \langle r,s \mid r^4 = s^2 = 1, sr = r^{-1} s \rangle \), the dihedral group of order 8. Again the rank is 2, and up to an isomorphism of G or an interchange of \(\{ T_1, Z_1 \}\) and \(\{ T_2, Z_2 \}\), there are seven possible tame decomposition configurations for G. Searching the number field data base [3] we find that all seven configurations for \(D_8\) can be realized over \(\mathbb {Q}\); Table 2 gives the possible tame configurations \(\{ T_1, Z_1 \}\) and \(\{ T_2, Z_2 \}\) for \(D_8\), and for each a polynomial and primes \(p_1\) and \(p_2\) (with ramification index e and inertial degree f) realizing the configuration.
4.2 The groups \(D_{10}\), \(A_4\), \(F_{20}\)
The dihedral group of order 10, the alternating group of order 12, and the Frobenius group of order 20 are all of rank \(s = 1\) and have, up to an isomorphism of the group, a unique tame decomposition configuration. Each is realized over \(\mathbb {Q}\):
\(D_{10}{:}\; x^5 - 2 x^4 + 2 x^3 - x^2 + 1 \ (p = 47)\),
\(A_4{:}\; x^4 - x^3 - 7 x^2 + 2 x + 9 \ (p = 163)\),
\(F_{20}{:}\; x^5 - 2 x^4 + 7 x^3 - 4 x^2 + 11 x + 6 \ (p = 101)\).
Remark 4.1
It is not difficult to show that any Frobenius group \(F = K \rtimes H\) whose Frobenius complement H is cyclic is of rank \(s = 1\) and has a unique tame decomposition configuration \(T = Z = H\) up to isomorphism. This includes the dihedral groups \(D_{2n}\) of order 2n where n is odd (H any subgroup of order 2) as well as \(A_4\) (H any subgroup of order 3) and \(F_{20}\) (where H is a cyclic subgroup of order 4). For such groups F the existence of a realization over \(\mathbb {Q}\) is just the question of realizing F as a Galois group over \(\mathbb {Q}\) by an extension with a single (tamely) ramified prime.
Remark 4.2
In any realization \(K/\mathbb {Q}\) of the unique tame decomposition configuration for \(D_{2n}\) with n odd (for example, for the symmetric group \(S_3\)), the (unique) quadratic subfield would be \(k = \mathbb {Q}(\sqrt{(-1)^{(p-1)/2} p})\) for some odd prime \(p\in \mathbb {Z}\) with K / k unramified at finite primes. It follows by class field theory that there is a tame realization for \(D_{2n}\) if and only if the class group of the quadratic field \(\mathbb {Q}(\sqrt{(-1)^{(p-1)/2} p})\) contains an element of order n for the odd prime p not dividing n. For \(S_3\), this occurs (for \(p = 23\) for example), presumably infinitely often, with interesting questions on the statistics.
Decomposition configurations for \(D_8\)
\(\varvec{T_1}\) | \(\varvec{Z_1}\) | \(\varvec{T_2}\) | \(\varvec{Z_2}\) | \(\varvec{p_1 \ (e,f)}\) | \(\varvec{p_2 \ (e,f)}\) | Realization |
---|---|---|---|---|---|---|
\(\langle r \rangle \) | \(\langle r \rangle \) | \(\langle s \rangle \) | \(\langle s \rangle \) | \(5 \ (4,1)\) | \(29 \ (2,1)\) | \(x^8 - x^6 - 4 x^4 - 16 x^2 + 256\) |
\(\langle r \rangle \) | \(\langle r \rangle \) | \(\langle s \rangle \) | \(\langle s,r^2 \rangle \) | \(13 \ (4,1)\) | \(3 \ (2,2)\) | \(x^8 - 9 x^6 + 32 x^4 - 9 x^2 + 1\) |
\(\langle r \rangle \) | G | \(\langle s \rangle \) | \(\langle s \rangle \) | \(23 \ (4,2)\) | \(3 \ (2,1)\) | \(x^8 - 3 x^7 + 7 x^6 - 12 x^5 - 8 x^4 + 84 x^3 + 159 x^2 + 63 x + 9\) |
\(\langle r \rangle \) | G | \(\langle s \rangle \) | \(\langle s,r^2 \rangle \) | \(3 \ (4,2)\) | \(7 \ (2,2)\) | \(x^8 - 3 x^7 + 4 x^6 - 3 x^5 + 3x^4 - 3x^3 + 4x^2 - 3x + 1\) |
\(\langle s \rangle \) | \(\langle s \rangle \) | \(\langle sr \rangle \) | \(\langle sr \rangle \) | \(3 \ (2,1)\) | \(37 \ (2,2)\) | \(x^8 - 5x^6 + 28x^4 + 15x^2 + 9\) |
\(\langle s \rangle \) | \(\langle s \rangle \) | \(\langle sr \rangle \) | \(\langle sr,r^2 \rangle \) | \(5 \ (2,1)\) | \(41 \ (2,2)\) | \(x^8 + 15x^6 + 48x^4 + 15x^2 + 1\) |
\(\langle s \rangle \) | \(\langle s,r^2 \rangle \) | \(\langle sr \rangle \) | \(\langle sr,r^2 \rangle \) | \(3 \ (2,2)\) | \(13 \ (2,2)\) | \(x^8 - x^7 + 2x^6 + 3x^5 - x^4 + 3x^3 + 2x^2 - x + 1\) |
4.3 The groups \(S_4\), \(A_5\), \(S_5\)
Decomposition configurations for \(S_4\)
\(\varvec{T}\) | \(\varvec{Z}\) | \(\varvec{p}\) | Splitting | Realization |
---|---|---|---|---|
\(\langle (1 \ 2) \rangle \) | \(\langle (1 \ 2) \rangle \) | 283 | \( \ \underset{ }{\wp _1^2} \ \underset{ }{\wp _2} \ \underset{ }{\wp _3} \) | \(x^4 - x - 1\) |
\(\langle (1 \ 2) \rangle \) | \(\langle (1 \ 2), \ (3 \ 4) \rangle \) | 229 | \( \ \underset{ }{\wp _1^2} \ \underset{(f=2)}{\wp _2}\) | \(x^4 - x + 1\) |
\(\langle (1 \ 2 \ 3 \ 4) \rangle \) | \(\langle (1 \ 2 \ 3 \ 4) \rangle \) | 229 | \(\ \underset{ }{\wp ^4}\) | \( x^4 - x^3 + 29 x^2 - 43 x + 17\) |
\(\langle (1 \ 2 \ 3 \ 4) \rangle \) | \(\langle (1 \ 2 \ 3 \ 4), \ (1 \ 3) \rangle \) | 59 | \(\ \underset{ }{\wp ^4}\) | \(x^4 - x^3 - 7 x^2 + 11 x + 3\) |
Decomposition configurations for \(A_5\)
\(\varvec{T}\) | \(\varvec{Z}\) | \(\varvec{p}\) | Splitting | Realization |
---|---|---|---|---|
\(\langle (1 \ 2 \ 3) \rangle \) | \(\langle (1 \ 2 \ 3) \rangle \) | 10, 267 | \( \ \underset{}{\wp _1^3} \ \underset{}{\wp _2} \ \underset{}{\wp _3} \) | \(x^5 - 25 x^3 - 7 x^2 + 116 x - 45\) |
\(\langle (1 \ 2 \ 3) \rangle \) | \(\langle (1 \ 2 \ 3), \ (1 \ 2 )(4 \ 5) \rangle \) | 4253 | \(\ \underset{}{\wp _1^3} \ \underset{(f=2)}{\wp _2}\) | \(x^5 - 2 x^4 - 10 x^3 + 23 x^2 - 6 x - 4\) |
\(\langle (1 \ 2 \ 3 \ 4 \ 5) \rangle \) | \(\langle (1 \ 2 \ 3 \ 4 \ 5) \rangle \) | 1951 | \(\ \underset{}{\wp _1^5}\) | \( x^5 - x^4 - 780 x^3 +9911 x^2 - 24208 x + 15952\) |
\(\langle (1 \ 2 \ 3 \ 4 \ 5) \rangle \) | \(\langle (1 \ 2 \ 3 \ 4 \ 5), \ (2 \ 5) (3 \ 4) \rangle \) | 1039 | \(\ \underset{}{\wp _1^5}\) | \(x^5 - 2 x^4 - 414 x^3 + 4945 x^2 - 16574 x + 5191\) |
\(\langle (1 \ 2 ) (3 \ 4 ) \rangle \) | \(\langle (1 \ 2 ) (3 \ 4 ) \rangle \) | 2083 | \( \ \underset{}{\wp _1^2} \ \underset{}{\wp _2^2} \ \underset{}{\wp _3} \) | \(x^5 - x^4 + 5 x^3 + 11 x^2 + 4 x - 1\) |
\(\langle (1 \ 2 ) (3 \ 4 ) \rangle \) | \(\langle (1 \ 2 ) (3 \ 4 ), \ (1 \ 3 ) (2 \ 4 ) \rangle \) | 653 | \(\ \underset{(f=2)}{\wp _1^2} \ \underset{}{\wp _2}\) | \(x^5 + 3 x^3 - 6 x^2 + 2x - 1\) |
Decomposition configurations for \(S_5\)
\(\varvec{T}\) | \(\varvec{Z}\) | \(\varvec{p}\) | Splitting | Realization |
---|---|---|---|---|
\(\langle (1 \ 2) \rangle \) | \( \langle (1 \ 2) \rangle \) | 13, 219 | \( \underset{}{\wp _1^2} \ \underset{}{\wp _2} \ \underset{}{\wp _3} \ \underset{}{\wp _4} \) | \( x^5 - 2 x^2 - x + 1 \) |
\(\langle (1 \ 2) \rangle \) | \( \langle (1 \ 2), \ (3 \ 4) \rangle \) | 1609 | \( \underset{}{\wp _1^2} \ \underset{(f=2)}{\wp _2} \ \underset{}{\wp _3}{} \) | \( x^5 - x^3 - x^2 + x + 1 \) |
\(\langle (1 \ 2) \rangle \) | \(\langle (1 \ 2), \ (3 \ 4 \ 5) \rangle \) | 4903 | \( \underset{}{\wp _1^2} \ \underset{(f=3)}{\wp _2} \) | \( x^5 - x^4 - x^3 + 2 x^2 - x - 1 \) |
\(\langle (1 \ 2) (3 \ 4 \ 5) \rangle \) | \( \langle (1 \ 2) (3 \ 4 \ 5) \rangle \) | 151 | \( \underset{}{\wp _1^2} \ \underset{}{\wp _2^3} \) | \( x^5 - 2 x^4 - x^3 + 7 x^2 - 13 x + 7 \) |
\(\langle (1 \ 2) (3 \ 4 \ 5) \rangle \) | \(\langle (1 \ 2) (3 \ 4 \ 5), \ (3 \ 4) \rangle \) | 101 | \( \underset{}{\wp _1^2} \ \underset{}{\wp _2^3} \) | \( x^5 - x^4 - 6 x^3 + x^2 + 18 x - 4 \) |
\(\langle (1 \ 2 \ 3 \ 4 ) \rangle \) | \( \langle (1 \ 2 \ 3 \ 4 ) \rangle \) | 269 | \( \underset{}{\wp _1^4} \ \underset{}{\wp _2} \) | \( x^5 - x^4 - 15 x^3 - 11 x^2 + 11 x - 10 \) |
\(\langle (1 \ 2 \ 3 \ 4 ) \rangle \) | \(\langle (1 \ 2 \ 3 \ 4 ), \ (1 \ 3) \rangle \) | 619 | \( \underset{}{\wp _1^4} \ \underset{}{\wp _2} \) | \( x^5 - x^4 - 13 x^3 - 6 x^2 + 8 x + 47 \) |
Remark 4.3
We note that a realization K for the tame decomposition configuration \((S_n, \langle (1 \, 2) \rangle ,\langle (1 \, 2) \rangle )\) gives a Galois extension of the quadratic field \(k = Q(\sqrt{(-1)^{(p-1)/2} p}\) with \({\text {Gal}}(K/k) \simeq A_n\) that is unramified over k at all finite primes and in which the prime over p in k splits completely. The existence of quadratic fields k with class number 1 but which nevertheless have nonabelian Galois extensions unramified outside finite primes was noted by Artin, who gave the example \(k = \mathbb {Q}(\sqrt{19 \cdot 151})\). The first realization of the tame decomposition configuration \((S_5, \langle (1 \, 2) \rangle ,\langle (1 \, 2) \rangle )\) where the class number of k is 1 occurs for the splitting field of \( x^5 - 2 x^4 - 3 x^3 + 5 x^2 + x - 1\) where \(p = 36497\), and in this case K is totally real, so K / k is also unramified at the infinite primes.
4.4 The group PSL(2, 7)
The simple group \(G = PSL(2,7) = GL_3(\mathbb {F}_2)\) of order 168 has the presentation \(G = \langle a,b \mid a^2 = b^3 = (a b)^7 = [a,b]^4 = 1 \rangle \) and an embedding in \(S_7\) in which \(a = (1 \ 2)(3 \ 6)\), \(b = (2 \ 6 \ 7)(3 \ 4 \ 5)\), \(a b = (1 \ 2 \ 3 \ 4 \ 5 \ 6 \ 7)\). The nonidentity elements in G have orders 2,3,4 and 7. Let \(r = (1 \ 3 \ 2 \ 6)(5 \ 7) \in G\) and \(s = (1 \ 2)(5 \ 7) \in G\). Then \(r^2 = a\) and \(\langle r,s \rangle \simeq D_8\), the unique Sylow-2 subgroup containing \(\langle a \rangle \) as a normal subgroup, is the normalizer in G of both \(\langle a \rangle \) and \(\langle r \rangle \). The normalizer in G of \(\langle b \rangle \) is \(\langle b, u \rangle \simeq S_3\) where \(u = (2 \ 6)(4 \ 5)\) , and the normalizer in G of ab is the Frobenius group of order 21, \(\langle a b , v \rangle \), where \(v = (1 \ 2 \ 4)(3 \ 6 \ 5) \). Up to isomorphism, there are nine distinct tame decomposition configurations for G. In this case, the number field data base [3] provides realizations for the five configurations whose inertia groups have order 2 or 4. Realizations for the other possible inertia groups would involve totally real fields (see [4]), and there are substantially fewer of these available: of the approximately 100 totally real septic fields currently in [3] and [9], and the 138 currently in [5], none are minimally tamely ramified at a single prime with odd order inertia group. The results for PSL(2, 7) are summarized in Table 6, where all primes have residue degree 1 unless otherwise indicated.
Decomposition configurations for \(G = PSL(2,7) = GL_3(\mathbb {F}_2)\)
\(\varvec{T}\) | \(\varvec{Z}\) | \(\varvec{p}\) | Splitting | Realization |
---|---|---|---|---|
\(\langle a \rangle \) | \(\langle a \rangle \) | 6971 | \(\underset{ }{\wp _1^2} \ \underset{ }{\wp _2^2} \ \underset{ }{\wp _3} \ \underset{ }{\wp _4} \ \underset{ }{\wp _5}\) | \(x^7 - 3 x^6 + 4 x^5 - 3 x^3 + 4 x^2 - x - 1 \) |
\(\langle a \rangle \) | \(\langle r \rangle \) | 3803 | \(\underset{(f=2)}{\wp _1^2} \ \underset{(f=2)}{\wp _2} \ \underset{}{\wp _3} \) | \(x^7 - 2 x^5 - 4 x^4 - x^3 + 5 x^2 + 5 x + 1\) |
\(\langle a \rangle \) | \(\langle a, s \rangle \) | 2741 | \(\underset{ }{\wp _1^2} \ \underset{ }{\wp _2^2} \ \underset{(f=2)}{\wp _3} \ \underset{ }{\wp _4}\) | \(x^7 - x^6 + 2 x^5 - 3 x^4 - 4 x^3 + 2 x^2 + 3 x + 1 \) |
\(\langle b \rangle \) | \(\langle b \rangle \) | \(\underset{ }{\wp _1^3} \ \underset{ }{\wp _2^3} \ \underset{ }{\wp _3} \) | Unknown | |
\(\langle b \rangle \) | \(\langle b, u \rangle \) | \(\underset{ }{\wp _1^3} \ \underset{ }{\wp _2^3} \ \underset{ }{\wp _3} \) | Unknown | |
\(\langle r \rangle \) | \(\langle r \rangle \) | 373 | \(\underset{ }{\wp _1^4} \ \underset{ }{\wp _2^2} \ \underset{ }{\wp _3} \) | \(x^7 - x^6 - 10 x^5 + 14 x^4 + x^3 - 4 x^2 - 3 x + 5\) |
\(\langle r \rangle \) | \(\langle r,s \rangle \) | 227 | \(\underset{ }{\wp _1^4} \ \underset{ }{\wp _2^2} \ \underset{ }{\wp _3} \) | \( x^7 + 2 x^5 - 4 x^4 - 5 x^3 - 4 x^2 - 3 x + 10 \) |
\(\langle a b \rangle \) | \(\langle a b \rangle \) | \(\underset{ }{\wp _1^7}\) | Unknown | |
\(\langle a b \rangle \) | \(\langle a b , v \rangle \) | \(\underset{ }{\wp _1^7}\) | Unknown |
Remark 4.4
The configurations \((G, \langle a \rangle , \langle a, s \rangle )\) and \((G, \langle a \rangle , \langle a, s r^3 \rangle )\) are isomorphic under the outer automorphism of G that maps a to a and b to \(b^{-1}\) (but are not isomorphic under an inner automorphism), hence define the same tame decomposition configuration for G. We note that this configuration manifests itself in the two nonisomorphic (‘sibling’ and arithmetically equivalent) subfields of degree 7 in any realization as different splittings of the prime p (making them appear at first to be distinct decomposition configurations in the [3] database). For example, the sibling septic to that in the table above for the configuration \((G, \langle a \rangle , \langle a, s \rangle )\) is the field defined by \(f = x^7 - x^6 - 4 x^5 + x^4 + 4 x^3 - 3 x + 1\), in which the prime \(p = 2741\) splits as \(\underset{(f=2)}{\wp _1^2} \ \underset{ }{\wp _2} \ \underset{ }{\wp _3} \ \underset{ }{\wp _4}\).
5 Conclusion
For finite abelian Galois groups, the only obstruction to obtaining a realization for a (minimal) tame decomposition configuration arises from constraints imposed by quadratic reciprocity and for nonabelian groups of odd order we have no examples of minimal tame decomposition configurations that cannot be realized. Our computations suggest, for example, that every tame decomposition configuration can be realized for groups normally generated by a single element, so in particular for every finite simple group and for the symmetric groups \(S_n\).
Declarations
Authors' contributions
Both authors contributed equally to this work, although each believes the other contributed more. Both authors read and approved the final manuscript.
Open Access
This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
Acknowledgements
We would like to thank Richard Foote for many helpful conversations. The second author was supported in part by a grant from NSERC.
Competing interests
The authors declare that they have no competing interests.
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Authors’ Affiliations
References
- Dummit, D., Dummit, E., Kisilevsky, H.: A characterization of quadratic residue matrices. J. Number Theory 168, 167–179 (2016)MathSciNetView ArticleMATHGoogle Scholar
- Fröhlich, A.: Artin root numbers and normal integral bases for quaternion fields. Invent. Math. 17, 143–166 (1972)MathSciNetView ArticleMATHGoogle Scholar
- Jones, J.: A database of number fields. LMS J. Comput. Math. 17(1), 595–618 (2014)MathSciNetView ArticleMATHGoogle Scholar
- Jones, J., Roberts, D.: Mixed degree number field computations, preprint, arXiv:1602.09119v1 (2016)
- Klüners, J., Malle, G.: A database for field extensions of the rationals. LMS J. Comput. Math. 4, 182–196 (2001)MathSciNetView ArticleMATHGoogle Scholar
- Kutzko, P.: On groups of finite weight. Proc. Am. Math. Soc. 55(2), 279–280 (1976)MathSciNetView ArticleMATHGoogle Scholar
- Kisilevsky, H., Sonn, J.: On the minimal ramification problem for \(l\)-groups. Compos. Math. 146(3), 599–606 (2010)MathSciNetView ArticleMATHGoogle Scholar
- Kisilevsky, H., Neftin, D., Sonn, J.: On the minimal ramification problem for semiabelian groups. Algebra Number Theory 4(8), 1077–1090 (2010)MathSciNetView ArticleMATHGoogle Scholar
- The LMFDB Collaboration: The L-functions and modular forms database. http://www.lmfdb.org. Accessed Aug 2016 (2013)
- Schmid, P.: Quaternion extensions with restricted ramification. Acta Arith. 165(2), 123–140 (2014)MathSciNetView ArticleMATHGoogle Scholar
- Witt, E.: Konstruktion von galoisschen Körpern der Charakteristik \(p\) zu vorgegebener Gruppe der Ordnung \(p^f\). J. Crelle 174, 237–245 (1936)MathSciNetMATHGoogle Scholar