1 research outputs found

    Certain Unramified Metabelian Extensions Using Lemmermeyer Factorizations

    Full text link
    We study solutions to the Brauer embedding problem with restricted ramification. Suppose GG and AA are a abelian groups, EE is a central extension of GG by AA, and f:Gal(Qβ€Ύ/Q)β†’Gf:\text{Gal}(\overline{\mathbf{Q}}/\mathbf{Q})\rightarrow G a continuous homomorphism. We determine conditions on the discriminant of ff that are equivalent to the existence of an unramified lift f~:Gal(Qβ€Ύ/Q)β†’E\widetilde{f}:\text{Gal}(\overline{\mathbf{Q}}/\mathbf{Q})\rightarrow E of ff. As a consequence of this result, we use conditions on the discriminant of KK for K/QK/\mathbf{Q} abelian to classify and count unramified nonabelian extensions L/KL/K normal over Q\mathbf{Q} where the (nontrivial) commutator subgroup of Gal(L/Q)\text{Gal}(L/\mathbf{Q}) is contained in its center. This generalizes a result due to Lemmermeyer, which states that a quadratic field Q(d)\mathbf{Q}(\sqrt{d}) has an unramified extension normal over Q\mathbf{Q} with Galois group H8H_8 the quaternion group if and only if the discriminant factors d=d1d2d3d=d_1 d_2 d_3 as a product of three coprime discriminants, at most one of which is negative, satisfying the following condition on Legendre symbols: (didjpk)=1 \left(\frac{d_i d_j}{p_k}\right)=1 for {i,j,k}={1,2,3}\{i,j,k\}=\{1,2,3\} and pip_i any prime dividing did_i
    corecore