2026-07-072026-07-07http://salesiana.dossiersoluciones.com/handle/123456789/108906Let p be an odd prime and S a finite set of primes = 1 mod p. We give an effective criterion for determining when the Galois group G=G_S(p) of the maximal p-extension of Q unramified outside of S is mild when |S|=4 and the cup product H^1(G,Z/pZ) \otimes H^1(G,Z/pZ) --> H^2(G,Z/pZ) is surjective.12 pages. No figures. LaTeXNumber TheoryGroup Theory11R34 (primary); 12G10, 20F05, 20F14, 20F40 (secondary)Mild pro-p-groups with 4 generatorstext