�Safarevi�c's Theorem on Solvable Groupsas Galois Groupsby Alexander Schmidt and Kay WingbergThe aim of this article is to give a complete proof of the following famoustheorem of I. R. �SAFAREVI�C:Theorem 1 Let k be a global �eld and let G be a �nite solvable group. Thenthere exists a �nite Galois extension Kjk with Galois group G(Kjk) �= G.�Safarevi�c proved this result in 1954. The intricate proof uses arguments whichare spread over several papers and unfortunately, it contains a mistake relativeto the prime 2. 1In the course of the years, several mathematicians tried to simplify this highlycomplicated proof using the new development in number theory since then. Nev-ertheless, so far no complete proof has been published.In the following we want to present an up to date proof of theorem 1 which alsocorrects the mistake in the original article. Of course, we will use the original ideasof �Safarevi�c, in particular the remarkable technique of shrinking obstructions,which is highly instructive. The authors do not know any other argument innumber theory, which utilizes a similar technique.1. IntroductionThe �rst attempt to prove a statement like theorem 1 was made in 1936independently by A. SCHOLZ and H. REICHARDT, see [10]. Their approach appliesonly to groups of order prime to #�(k), the order of the group of roots of unitycontained in the global �eld k. In particular, it can be used to prove that every(solvable) group of odd order is a Galois group over Q. The reader can �nd aproof of this statement for nilpotent groups in the spirit of Scholz and Reichardtin Serre's book [16].As shown by J. NEUKIRCH, the method of Scholz and Reichardt can even bestrengthened in order to construct global solvable extensions which realize �nitelymany given local extensions:1�Safarevi�c in his collected papers explains shortly how to correct this and we will follow hissuggestion here. 1

Theorem (Neukirch [7]) Let k be an algebraic number �eld and let S be a�nite set of primes of k. Let G be a pro-solvable group of �nite exponent primeto #�(k) and for p 2 S let Kpjkp be Galois extensions whose Galois groupsG(Kpjkp) are embedable into G. Then there exists a Galois extension Kjk withGalois group isomorphic to G, which for the primes p 2 S has the given extensionsKpjkp as completions.The same problem for groups of arbitrary order remains unsolved, we haveonly the weaker result of �Safarevi�c which uses an entire di�erent technique.Let us shortly explain the ideas behind both approaches, the �Safarevi�c andthe Scholz-Reichardt method. By de�nition, a solvable group is built up by suc-cessive extensions of abelian groups. Constructing the required global extensioninductively step by step in an abelian way, the �rst step is given by the theoremof Grunwald-Wang. In the second, and every further step, we have to solve em-bedding problems with abelian kernel. These are not always solvable, in fact wecan reach a dead lock very soon as the following example might indicate (for aproof see [16], Thm. 1.2.4):Suppose that k is a �eld of characteristic p 6= 2. Then the quadratic extensionk(pa)jk can be embedded into a cyclic extension of degree 4 if and only if a is asum of two squares in k.The above example shows that, although we did not put local conditions, theremight be a global arithmetic obstruction to the existence of a solution of ourembedding problem. Therefore it is not very promising to solve the embeddingproblems of every induction step separately. Exactly at this point the methodsof Scholz-Reichardt and of �Safarevi�c di�er.In the Scholz-Reichardt approach (which is not always applicable, see above)one chooses the solutions of the inductively given embedding problems in a veryspecial way, in order to avoid dead locks. Moreover, as Neukirch has shown, onecan choose the inductive solutions in such a way, that they satisfy given localconditions at �nitely many places.�Safarevi�c uses the same special kind of solutions of the inductively givenembedding problems ("Scholz solutions"), but in the general situation one canrun into a dead lock. The key idea of �Safarevi�c's approach is to modify thealready found solutions of the �rst i� 1 induction steps, in order to leave a deadlock within the i-th step. This happens in a rather complicated way within ashrinking procedure. This method works without restrictive assumptions on thegroup, but unfortunately it seems to be impossible, to let given local conditionsbe untouched within the shrinking procedure. Therefore, as the best result of�Safarevi�c's approach, one can say that every solvable group occurs as a Galoisgroup over k such that the associated local extensions are of a very special type.But we cannot realize given local conditions.2

Let us give an outline of our proof of theorem 1 which follows �Safarevi�c'smethod:A �rst reduction reduces the problem to the solution of split embedding prob-lems with nilpotent kernel. At this point we prove a little bit more than required,namely that a so-called "Scholz-solution" exists, satisfying additional local con-ditions. (This turns out to be necessary within an induction process.) Let usconsider the split embedding problem of �nite groups with a p-group N as kernel������ 1 :GEN1 GkIn order to solve these split embedding problems it su�ces to consider the generickernel, i.e. N = F(n)=F(n)(�) where F(n) is a free pro-p-G operator group ofrank n and F(n)(�) denotes the �-th term of a �ltration of F(n) which we willde�ne below and which re�nes the descending p-central series. 2We proceed by induction on � whereas n is arbitrary. The case � = 1 istrivial. The problems which have to be solved within every induction step are ofthe form��� 1:F(n)=F(n)(�)oGF(n)=F(n)(�+1)oGF(n)(�)=F(n)(�+1)1 GkThis induction step is proved in four substeps: In the �rst step one showsthat this problem is locally solvable everywhere, i.e. for every prime p of k theinduced local problem�� �� 1(F(n)=F(n)(�) o G)pEpF(n)(�)=F(n)(�+1)1 Gkphas a solution. This can be done, if the old solution Nn� jk with G(Nn� jk) =F(n)=F(n)(�) o G is locally of certain type.In the second step one uses the local-global principle in order to show that aglobal solution exists.In step three and four we modify the global solution, in order to get a properScholz-solution, such that the new local problems for the next induction step� + 1 will be solvable.2This re�nement, which was proposed by �Safarevi�c in his correction note, is necessary inorder to deal with the case p = 2. 3

Within the induction steps, obstructions to the existence of solutions of thegiven embedding problems occur. These obstructions really exist and are non-trivial. �Safarevi�c's idea how to overcome this problem is the following:We revise the solution found in the (� � 1)-th induction step. Instead weuse the (� � 1)-th induction step not for n but for a very large m > n. Thesolution of that problem (which exists by the induction hypothesis) induces a newsolution for our starting problem via any surjective G-invariant homomorphism : F(m) � F(n). The shrinking lemma, which we will explain in a moment,tells us that for large enough m, we can �nd in such a way, that all obstructionsfor the embedding problem in the �-th induction step for F(n) vanish. In thisway one proves the induction step from � � 1 to � and for every n. Having theresult for all n, we can use the shrinking procedure in the next induction stepagain.2. The shrinking procedureThe next proposition is the pure technical skeleton of the shrinking lemma.A similar statement is already contained in the original paper [14].Proposition 2 Let G be a �nite group. Suppose that M and N are �nitelygenerated IFp[G]-modules and let s, t 2 IN. Then for large enough3 r 2 IN thefollowing holds:For given elements z1; : : : ; zt 2 (Mr M)s Nthere exist a = (ai)i=1;:::;r 2 IFrp, such that� (xi)i=1;:::;r 7�! rXi=1aixiM;'a :Mr Mis a surjective IFp[G]-homomorphism (i.e. not all ai are zero) and such that theinduced homomorphism a = ('sa ) id : (Mr M)s N �!Ms Nmaps all zi; i = 1; : : : ; t, to zero.Proof: 4 Let r be arbitrary. Then 'a is IFp[G]-invariant and surjective if a 6= 0.Let n = t dimIFp(Ms N) and suppose that r > sn. Consider the setV = fa 2 IFrp j a(z1) = : : : = a(zt) = 0g :3i.e. for all r � r04This proof is based on an idea of J.SONN. We also want to thank A. DEITMAR.4

Then V is the set of common zeroes of n polynomials of degree s. It containsthe trivial element and by the theorem of Chevalley-Warning (see [15] Chap.1,x2,Thm. 3)) it follows that it also must contain a non-trivial point a. Then 'a hasall desired properties. 2Let us recall some �ltrations:De�nition 3 Let P be a pro-p-group. Then the descending p-central series ofP is the �ltration fP igi�1 recurrently de�ned byP = P 1; P i+1 = (P i)p[P i; P ];and the descending central series fPigi�1 of P is given byP = P1; Pi+1 = [Pi; P ] :Furthermore, we de�ne a re�nement fP (i;j)g, i; j � 1, of the descending p-centralseries of P by P (i;j) := (P i \ Pj)P i+1:Obviously we have P (i;1) = P i and P (i;j) = P i+1 for j > i � 1:We introduce the following notational convention:The letter � always stands for a pair (i; j), i � j � 1, and we order these pairslexicographically. We say that � + 1 = (i; j + 1) if i > j and � + 1 = (i+ 1; 1) if� = (i; i).Lemma 4 (i) Let P be a pro-p-group and let x 2 P i, y 2 P j and a 2 prZZp. Then(xy)a � xaya(y; x)(a2 ) mod P i+j+maxf1;rg,(xa; y) � (x; y)a((x; y); x)(a2 ) mod P i+j+1+maxf1;rg,(x; ya) � (x; y)a((x; y); y)(a2 ) mod P i+j+1+maxf1;rg.(ii) Let P = F be a free pro-p-group. ThenF i \ Fj = (Fj)pi�j � (Fj+1)pi�j�1 � � � � � Fifor all i � j � 1.Proof: All statements are well known and easily proved using induction. For thesecond statement one uses the fact that Fj=Fj+1 is a free ZZp-module, which followsfrom the corresponding theorem of Witt [18] for discrete (�nitely generated) freegroups. 25

Proposition 5 For every � = (i; j) the IFp-vector space homomorphism � : (P=P 2)j �! P (�)=P (�+1)�x1 � � � �xj 7�! ([x1; [x2; [� � � ; xj]] � � �])pi�j mod P (�+1)is well-de�ned and surjective.Proof: Let S = fx�g�2I be a minimal system of generators of P . Thenits image �S := S mod P p[P;P ] in P=P 2 = P=P p[P;P ] is an IFp-basis of P=P 2.Hence the tensors �x�1 � � � �x�j , �1; : : : ; �j 2 I de�ne a basis of (P=P 2)j.Regarding the de�nition of the (�)-�ltration it follows from lemma 4(ii) (for freegroups and then for all pro-p-groups), that the elements([x�1; [x�2; [� � � ; x�j ]] � � �])pi�j ; �1; : : : ; �j 2 Igenerate P (�) modulo P (�+1). Finally an inductive application of lemma 4(i)shows that � is well-de�ned. 2Recall the de�nition of a free pro-p-G operator group: If G is a �nite groupand Fd a free pro-p-group of rank d, then we setF(d) = �G Fdfor a free pro-p-G operator group of rank d. The group F(d) is a free object inthe category of pro-p-groups with a continuous G-action. As pro-p-group F(d)is free of rank #G�d and one can choose a basis xi;g, i = 1; : : : ; d; g 2 G of F(d)such that G acts by g0xi;g = xi;g0g.Now we will apply the shrinking process to cohomology groups with respectto G and F(d) in order to annihilate given cohomology classes.Proposition 6 Let G be a �nite group and let F(d) be the free pro-p-G operatorgroup of rank d. Let n; t 2 IN, k 2 ZZ, a �nitely generated IFp[G]-module T and� = (i; j) be given. Then there exists an m0 � n such that for all m � m0 thefollowing holds:For given elementsx1; : : : ; xt 2 Hk(G;F(m)(�)=F(m)(�+1) T )there exists a surjective pro-p-G operator homomorphism� F(n) : F(m)such that the induced homomorphism � : Hk(G;F(m)(�)=F(m)(�+1) T )�! Hk(G;F(n)(�)=F(n)(�+1) T )maps x1; : : : ; xt to zero. 6

Proof: We set E(n; �) = F(n)(�)=F(n)(�+1). Using dimension shifting we havean isomorphismHk(G; E(n; �) T ) �!� H�1(G; E(n; �) T Ak) ;where Ak = I�(k+1)G . Here IG denotes the augmentation ideal of IFp[G] and wehave set I0G = IFp and I�sG = Hom(IsG ; IFp) for s 2 IN.Since T was arbitrary, we may restrict to the case k = �1.Observe, that for every d � 1 the canonical surjective IFp-homomorphism de�nedin lemma 5��(d) : � F(d)(�)=F(d)(�+1):(F(d)=F(d)2)jis obviously G-invariant. For a pro-p-G operator homomorphism :F(d0)!F(d)we have the compatibility ��(d0) � = ���(d).Now let m = rn, r large enough, such that we can apply proposition 2 with theG-module T : For given elementsz1; : : : ; zt 2 (F(m)=F(m)2)j T = (IFp[G]rn)j T ;there exists a surjective IFp[G]-homomorphism� F(n)=F(n)2 ;� : F(m)=F(m)2such that ( � j id)(z�) = 0, � = 1; : : : ; t. By the universal property of freepro-p-G operator groups � extends to a pro-p-G operator homomorphism� F(n) ; : F(m)which is necessarily surjective (by the Frattini argument).Now we consider the commutative diagram��� �id� �� � jid�� H�1(G; E(n; �) T )(E(n; �) T )G(F(n)=F(n)2)j T H�1(G; E(m; �) T )(E(m; �) T )G(F(m)=F(m)2)j Tand choose z� as a pre-image of the image of x� in the group (E(m; �) T )G.Choosing an appropriate , the diagram shows that �(x�) = 0 for � = 1; : : : ; t.This proves the proposition. 2We will apply proposition 6 only for k = 2 and k = �2 and for k = �2 wealso need the following variant of it, which goes back to an idea of V.V. I�SHANOV.7

Proposition 7 Let G be a �nite group and let F(d) be the free pro-p-G operatorgroup of rank d. Let n; t 2 IN, a �nitely generated IFp[G]-module T and � = (i; j)be given. Then for large enough m � n the following holds:(i) For given elementsx1; : : : ; xt 2 H�2(F(m)=F(m)(�) o G;F(m)(�)=F(m)(�+1) T )there exists a surjective pro-p-G operator homomorphism� F(n) ; : F(m)such that the induced homomorphism � : H�2(F(m)=F(m)(�) o G;F(m)(�)=F(m)(�+1) T )�!H�2(F(n)=F(n)(�) o G;F(n)(�)=F(n)(�+1) T )maps x1; : : : ; xt to zero.(ii) For given elementsx1; : : : ; xt 2 H�2(F(m)=F(m)(�);F(m)(�)=F(m)(�+1) T )there exists a surjective pro-p-G operator homomorphism� F(n) ; : F(m)such that the induced homomorphism � : H�2(F(m)=F(m)(�);F(m)(�)=F(m)(�+1) T )�!H�2(F(n)=F(n)(�);F(n)(�)=F(n)(�+1) T )maps x1; : : : ; xt to zero.Proof: We keep the notationsF(n)=� = F(n)=F(n)(�) and E(n; �) = F(n)(�)=F(n)(�+1):If � = 1, then the statement to prove is just a special case of proposition 6. Sowe may assume that � = (i; j) � (2; 1). Recall that H�2 = H1 and consider theexact sequenceH1(F(n)=�; E(n; �) T ) �! H1(F(n)=� o G; E(n; �) T ) �!H1(G; E(n; �) T ) �! 0;which is induced by the homological Hochschild-Serre sequence. Since E(n; �) isa trivial F(n)=�-module, the universal coe�cient formula yields:H1(F(n)=�; E(n; �) T ) �= F(n)=F(n)2 E(n; �) Tand proposition 5 implies the existence of a G-invariant surjection(F(n)=F(n)2)(j+1) T � H1(F(n)=�; E(n; �) T );8

where � = (i; j). This is obviously true for arbitrary n, and the maps are compat-ible. Let r � n be the number which has the property, that arbitrary t elementsin (F(r)=F(r)2)(j+1) T are annihilated by the homomorphism induced by asuitable chosen G-invariant surjection F(r)� F(n) (and which exists by propo-sition 2). The above surjection shows that r has the same property with respectto t arbitrary given elements inH1(F(r)=�; E(r; �) T ):This proves (ii). In order to show (i), let m � r be the number, which has theproperty that arbitrary t elements inH1(G; E(m; �) T )are annihilated by the homomorphism induced by a suitable chosen G-invariantsurjection F(m) � F(r) (and which exists by proposition 6). We obtain thecommutative and exact diagram�� � �!"#$% "& �'() H1(G; E(n; �)T )H1(F(n)=�oG; E(n; �)T )H1(F(n)=�; E(n; �)T ) H1(G; E(r; �)T )H1(F(r)=�oG; E(r; �)T )H1(F(r)=�; E(r; �)T ) H1(G; E(m; �)T )H1(F(m)=�oG; E(m; �)T )H1(F(m)=�; E(m; �)T )in which the vertical maps are induced by G-invariant surjectionsF(m)� F(r)� F(n);which we choose in the following way:Let arbitrary elements x1; : : : ; xt 2 H1(F(m)=� o G; E(m; �) T ) be given.Choose F(m) � F(r) such that the induced homomorphism annihilates theelements �(x1); : : : ; �(xt). Hence �(x1); : : : ; �(xt) are contained in the image of� and we choose the surjection F(r) � F(n) such that " annihilates arbitrarychosen �-preimages of �(x1); : : : ; �(xt). The composite F(m) � F(n) has thedesired property. 23. Some related duality statementsWe keep the assumption that k is a global �eld and introduce some furthernotations. 9

De�nition 8 If jk is a �nite extension of k, then we denote by�(S) = �(S())the Dirichlet density of the set S() of primes of given by all extensions ofS = S(k) to . For sets S1 and S2 of primes we use the notationS1 �� S2 :() �(S1nS2) = 0;i.e. S1 is contained in S2 up to a set of primes of density zero.Furthermore, we set for a �nite Galois extension jkcs(jk) := fp a prime of k j p splits completely in jkg;Ram(jk) := fp a prime of k j p rami�es in jkg:Let T � S be sets of primes of k where S is non-empty and contains thearchimedean primes S1 in the number �eld case. Let A be a �nite GS(k)-modulewhose order #A is invertible in Ok;S and let A0 = Hom(A;O�S ).De�nition 9 We de�ne the groupsX1(kS; T;A) and coker(kS ; T;A) by the ex-act sequenceX1(kS ; T;A) ,! H1(kS jk;A) res�!YT H1(kp; A)� coker(kS ; T;A) ;whereY denotes the restricted product with respect to the subgroups H1nr(kp; A).If the Dirichlet density of the set T is equal to 1 and A is a trivial GS(k)-module, then the Hasse-principle holds, i.e.X1(kS ; T;A) = 0 :This is well known for number �elds, [8] VII 13.6, and for functions �elds it canbe found in [2] Ch.5 x4.Assume that T is �nite, then so is coker(kS ; T;A). From the local and globalduality theorems we obtain the commutative and exact diagram*+,-./012345coker(kS ; T;A)�:YT H1(kp; A)�YT H1(kp; A0) H1(kS jk;A)�YS H1(kp; A0)H1(kSjk;A0)X1(kS ; A0) YSnTH1(kp; A0)H1(kSjk;A0)X1(kS ; SnT;A0)

This diagram implies the 10

Lemma 10 Assume that T is �nite, then there is a canonical exact sequence6789 0:coker(kS ; T;A)�X1(kS; SnT;A0)X1(kS; A0)0Under a mild restriction, the Hasse-principle also holds for the module �m. Vialemma 10 one can deduce the theorem of Grunwald-Wang :coker(kS ; T;A) = 0;if the density �(S) is equal to 1, A is a trivial GS(k)-module and T is �nitenot containing primes above 2 in the number �eld case (the last assumptionguarantees that we avoid the so-called special case).We have the following application of the Grunwald-Wang theorem to embed-ding problems with induced G-modules as kernel.Proposition 11 Let Kjk be a �nite Galois extension of global �elds with Galoisgroup G = G(Kjk) and let A = IFp[G]n. Then the embedding problem:;<=> 1GEA1 Gkis properly solvable.Proof: Since H2(G;A) = 0, the embedding problem has a solution 0 :Gk �!E. Let p1; : : : ; pr be primes of k which split completely in K and let'i : Gkpi �!A be homomorphisms such that their images generate A. Further-more we assume that the primes pi do not divide 2 if k is a number �eld. Thenby the Grunwald-Wang theorem the map res = (res i)i? res@ABC rYi=1 YPjpiH1(KP; IFpn)H1(K; IFpn) rYi=1Hom(Gkpi ; A)rYi=1H1(kpi; A)H1(k;A)is surjective. Let [x] 2 H1(k;A) such that res i[x] = 'i � 0jGkpi for i = 1; : : : ; r.Then = x � 0 : Gk �!E is a new solution of the embedding problem which isproper, since jGkpi = 'i for i = 1; : : : ; r, hence (GK) = A. 2We introduce some additional notations. For a prime number p 6= char(k)we denote the set of primes of k with residue characteristic p by Sp = Sp(k).The set Sp(k) is �nite and it is empty if k is a function �eld. In the number11

�eld case we denote by S1 = S1(k) the set of archimedean places of k. In thefunction �eld case we choose any �nite, non-empty set of primes of k and call itS1 = S1(k). For every extension �eld Kjk we denote by S1(K) the set ofprimes of K which lie over S1(k). For a Gk-module A we denote by k(A) theminimal trivializing extension of k, i.e. Gk(A) is the kernel of the homomorphismGk!Aut(A) given by the action of Gk on A. The next technical lemma will beneeded later.Lemma 12 Let k be a global �eld, p 6= char(k) a prime number and assumethat we are given sets of primes of kS0 � S � T � Sp [ S1 ;where T is �nite. Let A be a �nite GS -module which is annihilated by p. Inaddition suppose that we are given a �nite subextension N � kS , witha) k(A) � N ,b) S 0rT � cs(N jk),c) �p � N .Consider the diagram with solid arrows (the lines are not exact)DE �FG �0HI �J H1(N jk;A0)�X1(kS0 ; S0rT;A0)�coker(kS0 ; T;A) H1(N jk;A0)�X1(kS; S rT;A0)�coker(kS ; T;A)in which A0 := A�(1) = Hom(A;�p). The horizontal maps on the left are inducedby lemma 10 and those on the right come from the Hochschild-Serre sequenceand from conditions a),b),c).Then in the above situation a natural dotted arrow � making the diagram com-mutative exists. If in addition cs(N jk)�� S0rT;then the surjection �0 is an isomorphism.Proof: First observe that the homomorphism �0 is obtained from the followingcommutative and exact diagramK �LMNOPQ 0R (�0)� H1(N jk;A0) YS0nTH1(kp; A0)H1(kS0 ; A0)X1(kS0 ; S0nT;A0) YS0nT H1(NP; A0)H1(NS0 ; A0)12

and in a similar way we get the homomorphism �.Now consider the exact and commutative diagram with natural homomor-phisms: STUVW �XY�

Z �[ "\]^_`aYS0nSH1(Tp; A0)Gkp ;H1(kS0 jkS ; A0)GS YSnT H1(kp; A0)� YS0nSH1(kp; A0)H1(GS0 ; A0)X1(kS0 ; S0nT;A0) YSnT H1(kp; A0)�YS0nSH1nr(kp; A0)H1(GS ; A0)ker(�) YSnT H1(kp; A0)H1(GS ; A0)X1(kS ; SnT;A0)

in which Tp � Gkp denotes the inertia group. Observe that � is injective, since A0is a trivial G(kS0 jkS)-module and since kS has by de�nition no extensions in kS0which are unrami�ed at all places in S0rS. Diagram chasing then shows that "is an isomorphism. We can now de�ne � as the dual homomorphism to � � ("�1).Conditions a),b),c) imply, thatH1(N jk;A0) is canonically contained in the groupsX1(kS; SnT;A0), ker(�) andX1(kS0 ; S0nT;A0). Thus we have constructed � andwe see that the right part of the diagram is commutative. But that the left partof the diagram is also commutative can be seen from the diagram before lemma10 which de�nes the occurring maps.Now assume that cs(N jk)�� S0rT . Then �N(S0nT ) = 1 and by the Hasse-principle the homomorphism � in the exact commutative diagram at the beginningof the proof is injective. Hence the inclusion (�0)� is an isomorphism. 24. Construction of certain cohomology classesLet kp be a local �eld and let A be a Gkp-module. We call a class xp 2H1(kp; A) cyclic, if it is split by a cyclic extension of kp, i.e. if there existsa cyclic extension Kpjkp such that xp lies in the kernel of the restriction mapH1(kp; A)!H1(Kp; A). If A is unrami�ed (i.e. the inertia group acts trivially),then we call xp unrami�ed if it is contained in the unrami�ed part H1nr(kp; A)of H1(kp; A). In particular, if xp is unrami�ed, then it is cyclic.The following existence theorem is based on �Cebotarev's density theorem andwill be used in step 4 of the proof of theorem 15 below. In the case A = �p,13

via Kummer theory, theorem 13 is equivalent to �Safarevi�c's theorem about theexistence of certain algebraic numbers ([12]).Theorem 13 Let p be a prime number and let jKjk be �nite Galois extensionsof global �elds of characteristic di�erent to p, where K contains the group �p ofp-th roots of unity. Let T be a �nite set of primes of k containing Ram(jk) [Sp [ S15 and let S = cs(jk) [ T .Let A be a �nite IFp[G(Kjk)]-module and assume we are given a class y inH1(kS jK;A) such thatyP is unrami�ed for P 2 T (K) and yP = 0 for P\ k 2 Ram(Kjk)[Sp[S1.Then there exists an element x 2 H1(kSjk;A) such thatxp = (cor Kk y)p for p 2 T and xp is cyclic for all p 2= T .Proof: Putting x = cor Kk z, it su�ces to construct a z 2 H1(kS jK;A) with(a) zP = yP for P 2 T (K),(b) If P 2= T (K) and zP is rami�ed (i.e. not contained in H1nr(KP; A)), then zPis cyclic and z�P = 0 for every � 2 G(Kjk)rf1g.We �rst prove the existence of z in the case A = �p, where the cyclicity conditionis trivially satis�ed. Assume �rst that p is odd. We will apply the method of [12]in order to obtain the element z which we are looking for as a product of twomembers of a sequence z1; z2; z3; : : : 2 H1(kSjK;�p) ;which will be constructed having the following properties.(1) There exists a prime Pi 2 SrT (K), such that� (zi)Pi � Frob Pi modulo H1nr(KPi ; �p),� (zi)P 2 H1nr(KP; �p) for all P 6= Pi,(2) (zi)P = 12yP for P 2 T (K),(3) (zn+1)�Pi = �(zi)�Pi for i � n and all � 2 G(Kjk)rf1g.In (1) we view FrobP as an element of H1(KP; �p)=H1nr(KP; �p) viaG(KnrP jKP)� H1nr(KP;ZZ=pZZ)_ �= H1(KP; �p)=H1nr(KP; �p):where the isomorphism is induced by the local duality theorem, see [17] chap.IIx5.2, x5.5. Assume that we have already constructed z1; : : : ; zn (n � 0) and setTn = T [f(P1\k); : : : ; (Pn\k)g, i.e. Tn(K) consists of T (K) and of all G(Kjk)-conjugates of P1; : : : ;Pn. Observe that Tn � S and consider the commutativeand exact diagram5Regard our notational convention concerning Sp [ S1 in the function �eld case.14

bcdefghij H1(kS jK;ZZ=pZZ)_;YS H1(KP; �p)H1(kS jK;�p) H1(jK;ZZ=pZZ)_YT H1(KP; �p) H1(kTnjK;ZZ=pZZ)_YTn H1(KP; �p) �MSnTnH1(KP; �p)=H1nrH1(kS jK;�p)in which Y denotes the product of local cohomology groups restricted with re-spect their subgroups of unrami�ed elements and _ is the Pontrjagin dual. Thelower line is part of the long exact sequence of Tate-Poitou.Consider the element� 2YTn H1(KP; �p)� MSnTnH1(KP; �p)=H1nrgiven by �P = 12yP for P 2 T (K), ��Pi = �(zi)�Pi for i � n, � 2 G(Kjk)rf1gand �P = 0 for all other P. Then � has the same image in H1(jK;ZZ=pZZ)_ as y(2 H1(kS jK;�p)). By the exactness of the lower line, this image is trivial. Using�Cebotarev's density theorem, we can choose a primePn+1 2 SrTn(K) such thatthe image of �� in H1(kTn jK;ZZ=pZZ)_ is equal to Frob Pn+1. By the exactness ofthe upper line we �nd a class zn+1 2 H1(kS jK;�p) with properties (1),(2),(3).Let G(Kjk)rf1g = f�1; : : : ; �rg and consider for n = 1; 2; : : : the maps n : fz1; : : : ; zng �! rY1 �p ;given by n(zi) = �(zi)�1Pi(Frob �1Pi); : : : ; (zi)�rPi(Frob �rPi)�:(Observe that by construction zi 2 H1nr(K�jPi; �p) for j = 1; : : : ; r.)By the shoe box principle, there exists an N with N (zN) = N(zi) for somei < N . We claim that z = zi + zN 2 H1(kS jK;�p)satis�es conditions (a) and (b) above. Indeed, (a) is trivial by condition (2). Ittherefore remains to show that, if zP is rami�ed for some P, then P 2 S rT (K)and z�P = 0 for � 2 G(Kjk)rf1g. By construction, z is only rami�ed at Pi andPN and by condition (3) we know that z�Pi = 0 for � 6= 1. In order to showthe corresponding statement at �PN (� 6= 1), recall that for arbitrary classesa; b 2 H1(kS jK;�p) we have the product formulaYP2S(K)(a; b)P = 1;15

for the Hilbert symbol ((a; b)P is de�ned as the image of a [ b under the tracehomomorphism H2(KP; �2p ) �!� �p). Since zi and zN are unrami�ed at �PN ,it su�ces to show that their values on Frob �PN are mutually inverse in �p. WehavezN (Frob �PN ) = zi(Frob �Pi) because n(zi) = n(zN);= (zi; �zi)�Pi by condition (1) for zi;= (zi; �zi)�1Pi by the product formula and by (1), (2),= (zi; �zN)Pi by condition (3),= (zi; �zN)�1�PN by the product formula and by (1), (2),= zi(Frob �PN )�1 by condition (1) for zN :This �nishes the case A = �p, p odd. In the case p = 2 we have to modify themethod and we will obtain z as a product of three other elements. We use thecombinatorial method of [5] chap.5 x3.Let fG1; G2; G3g be a partition of the set G(Kjk)rf1g such that G1 consistsof all elements of order 2 and G2 = G�13 .We construct recurrently a sequence z1; z2; : : : of elements in H1(kS jK;�2) satis-fying the following properties(1) There exists a prime Pi 2 SrT (K), such that� (zi)Pi � Frob Pi modulo H1nr(KPi ; �2),� (zi)P 2 H1nr(KP; �2) for all P 6= Pi,(2) (zi)P = yP for P 2 T (K),(3) (zn+1)�Pi = 0 for i � n and all � 2 G1.(4) If n(zi) 6= n(zj) for all j with n � j > i, then(zn+1)�Pi = ( 0 if � 2 G2;(�2zi)�Pi if � 2 G3;and otherwise: (zn+1)�Pi = ( (zi)�Pi if � 2 G2;0 if � 2 G3:The existence of the sequence of classes z1; z2; : : : is proved similar to the case ofodd p. In addition, we obtainClaim: (zi)�Pi = 0 for � 2 G1.Proof of the claim: Let ~zi 2 K� be a representative of zi 2 H1(kSjK;�2) �H1(K;�2) �= K�=K�2. By condition (1) we have (~zi) = PiA2 with a fractionalideal A of OK;S1. By �Cebotarev's density theorem there exists a prime idealQ 2= T (K) of OK;S1 with Q 6= �Q such that Q = A � (x) with x 2 K�. Hence inOK;S1 we have (~zix2) = PiQ2. Thus we may assume (using condition (2)) that~zi 2 OK;S1 , vPi(~zi) = 1, vP(~zi) = 0 for P 2 T (K), (~zi)P is a square in KP forP 2 S1 and ~zi and �~zi are coprime in OK;S1.In addition, choose � 2 OK;S1 such that K = K�(�) and �2 2 OK� ;S1 , whereK� is the �xed �eld of K with respect to h�i. Then there are a; b 2 K� with16

~zi = a + b�. In particular, 2a 2 OK�;S1 and 2b� 2 OK;S1 . Let � be the set ofprime divisors of 2b� which are not in S2 [ S1 [ Ram(KjK�). We obtainzi(Frob �Pi) = (~zi; �~zi)�Pi by de�nition of ~zi,= (2b�; �~zi)�Pi since (~zi � �~zi)�1~zi 2 U1�Pi ;= QP 6=�Pi(2b�; �~zi)P by the product formula,= QPj2b�1(2b�; �~zi)P if Pj�~zi and P 6= �Pi; then2jvP(�~zi) and vP(2b�) = 0;= QP2�(2b�; �~zi)P �~zi 2 K�2P for P 2 S2[S1[ Ram(Kjk)by condition (2);= QP2�(2b�; a)P �~zi = a� b� and P - �~zi for P 2 �:The last product is easily seen to be unity: If P 2 � is inert in KjK�, thena 2 K�2P , hence (2b�; a)P = 1 and if P 2 � splits in KjK�, then �P 2 � and(2b�; a)P � (2b�; a)�P = (�1; a)P = 1:This proves the claim.Now choose N minimal, such that N(zi) = N(zj) = N(zN )for numbers i < j < N . We claim that z = zi + zj + zN satis�es conditions(a) and (b). Indeed, (a) follows immediately from (2). It therefore remains toshow that, if zP is rami�ed for some P, then P 2 SrT (K) and z�P = 0 for� 2 G(Kjk)rf1g. By construction, z is only rami�ed at Pi;Pj and PN .For � 2 G1 and N � s; t � 1 we havezs(Frob �Pt) = 1:which is seen by condition (3) for s > t, by the claim for s = t and follows fors < t by (1)-(3) and the product formulazs(Frob �Pt) = (zs; �zt)�Pt = (�zs; zt)Pt = (�zs; zt)�Ps = zt(Frob �Ps) = 1:Summing up, we obtain z�Pi = z�Pj = z�PN = 0 for � 2 G1.If � 2 G2, then by condition (4)z�Pi = (zi)�Pi + (zj)�Pi + (zN )�Pi = (zi)�Pi + 0 + (zi)�Pi = 0:17

Furthermore, since (zN)�Pj = 0 by condition (4) andzi(Frob �Pj) = (zi; �zj)�Pj by condition (1),= (zi; �zj)Pi by the product formula,= (��1zi; zj)��1Pi using Galois invariance,= zj(Frob ��1Pi) by condition (1),= ��2zi(Frob ��1Pi) by condition (4),= zi(Frob �Pi) using Galois invariance,= zj(Frob �Pj ) because N (zi) = N(zj) ;we obtain z�Pj = 0 for � 2 G2. Similar calculations show that z�PN = 0 for� 2 G2 and in the same way one veri�es that the local classes z�Pi, z�Pj and z�PNalso vanish if � 2 G3. This �nishes the proof for A = �p.The general case will be proven by induction on dimIFp A. Let A = A0 � �p.For each z 2 H1(KS jK;A) let z = z0 + z00 be the decomposition of z into thecomponents z0 2 H1(KSjK;A0) and z00 2 H1(KS jK;�p), and similarly zP = z0P +z00P for zP 2 H1(KP; A). By induction we �nd an element z0 2 H1(KS jK;A0) suchthat(a') z0P = y0P for P 2 T (K).(b') If P 2= T (K) and z0P is rami�ed, then z0P is cyclic and z0�P = 0 for every� 2 G(Kjk)rf1g.Let K 0jK be the extension de�ned by the homomorphism z0 (i.e. z0 : G(kS jK)�G(K 0jK) � A0) and let ~K be its Galois closure over k. By construction, K 0jKand hence also ~K jK is unrami�ed at all primes in T (K) and it only rami�es atprimes in cs(jk)(K).Set T 0 = T [ Ram( ~Kjk), 0 = ~K, S 0 = cs(0jk) [ T 0 and suppose we havefound a class ~y 2 H1(KS0 jK;�p) with� ~yP = y00P for P 2 T (K),� ~yP = 0 for P 2 T 0r T (K).Then we can apply the induction hypothesis to the �eld extensions 0jKjk, thesets T 0, S0 and the module A = �p in order to �nd a class z00 2 H1(KS0 jK;�p)with(a") z00P = ~yP for P 2 T 0(K).(b") If P 2= T 0(K) and z00P is rami�ed, then z00P is cyclic and z00�P = 0 for every� 2 G(Kjk)rf1g.Regarding T 0rT � cs(jk), hence S0 � S, it is now easily veri�ed, that theclass z = z0 + inf z00 2 H1(KS jK;A) satis�es conditions (a) and (b). Indeed, forP 2 T (K) we have zP = z0P + z00P = y0P + y00P = yP :For P 2 T 0nT we get zP = z0P + z00P = z0P :18

Therefore zP is cyclic and if zP = z0P is rami�ed, then the underlying primep of P splits completely in and z�P = z0�P = 0 for � 2 G(Kjk)nf1g. Let�nally P 2= T 0. If zP is unrami�ed, then it is cyclic. Let zP be rami�ed. SincezP = z0P+z00P and z0P is unrami�ed, z00P must be rami�ed. Thus p splits completelyin 0, hence in K 0. From this we obtain z0�P = 0 for all � 2 G(Kjk), since byde�nition of K 0 the element z0 becomes zero in H1(K 0; A0) and thus z0�P is zeroin H1(K 0Q; A0) = H1(K�P; A0), where Q is a prime of K 0 above �P. ThereforezP = z00P, i.e. zP is cyclic and z�P = z00�P = 0 for � 2 G(Kjk)nf1g.It therefore remains to construct a class ~y with the above properties. Considerthe commutative and exact diagramklmn �opqr H1(0jK;ZZ=pZZ)_:YT 0 H1(KP; �p) H1(kS0 jK;ZZ=pZZ)_YS0 H1(KP; �p)H1(kS0jK;�p) � YS0nT 0H1(KP;ZZ=pZZ)�_YS0nT 0H1(KP; �p)If we can show that � annihilates the element � = (�P)P2T 0(K) 2 QT 0H1(KP; �p)given by �P = y00P for P 2 T (K) and �P = 0 for P 2 T 0rT (K), then the existenceof ~y follows by diagram chasing. We use the injectionH1(0jK;ZZ=pZZ)_ ,! H1(jK;ZZ=pZZ)_ �H1( ~KjK;ZZ=pZZ)_in order to write the image of � in the form �(�) = (�1(�); �2(�)). Since ~KjK isunrami�ed at all P 2 T (K), �2 factorizes over the quotientYT 0 H1(KP; �p)=(YT H1nr(KP; �p)� YT 0nTf0g):Hence �2(�) = 0. Finally the diagrams �tuvwxyz H1(kSjK;ZZ=pZZ)_YS H1(KP; �p)H1(kS jK;�p) H1(jK;ZZ=pZZ)_YT H1(KP; �p) H1(0jK;ZZ=pZZ)_YT 0 H1(KP; �p)

19

shows that �1(�) is equal to the image of y00 (2 H1(kS jK;�p)) inH1(jK;ZZ=pZZ)_,hence trivial by the exactness of the lower line. This �nishes the proof. 25. Proof of �Safarevic's theoremThe essential step in the proof of theorem 1 is the followingTheorem 14 Let Kjk be a �nite Galois extension of the global �eld k and let' : Gk � G(Kjk) = G. Then every split embedding problem{|}~�� 1GH o GH1 Gkwith �nite nilpotent kernel H has a proper solution.Since a �nite nilpotent group is the direct product of its p-Sylow subgroupsand since every �nite G-operator p-group is a quotient of F(n)=F(n)(�) for somen; �, it su�ces to show the following assertion:For every prime number p, all n 2 IN and all � = (i; j) the split embeddingproblem ������ 1GF(n)=F(n)(�) o GF(n)=F(n)(�)1 Gkhas a proper solution Nn� jk.Let us �rst assume that p 6= char(k). We will proceed by induction on �whereas n will be arbitrary. If � = (1; 1) nothing is to show. Now we assumethat we have already found a solution 'n;� : Gk � F(n)=F(n)(�) o G and weconsider the embedding problem� 'n;���(�) F(n)=F(n)(�) o G:F(n)=F(n)(�+1) o GF(n)(�)=F(n)(�+1) GkThis embedding problem is in general not solvable, but we are going to solve itafter replacing 'n;� by another solution ~'n;� for the induction step � on the leveln. This new solution is induced by a solution'm;� : Gk ! F(m)=F(m)(�) o G20

for some large m � n via a suitable chosen G-invariant surjection : F(m) �F(n). Let us consider the associated commutative and exact diagram� 'm;������ � � �+1� �(��) F(n)=F(n)(�) o G:F(n)=F(n)(�+1) o GF(n)(�)=F(n)(�+1) F(m)=F(m)(�) o GF(m)=F(m)(�+1) o GF(m)(�)=F(m)(�+1) GkTo shorten notations we set again:F(n)=� = F(n)=F(n)(�); E(n; �) = F(n)(�)=F(n)(�+1):Since E(n; �) is contained in the center of F(n)=� +1, the action of F(n)=� o Gon E(n; �) factors over the canonical projectionF(n)=� o G� G;in particular GK � Gk acts trivially on E(n; �).Let �m and �n denote the 2-classes corresponding to the group extensions in (��)and consider the commutative exact diagram� '�m;�� '�m;�� '�n;��� � � � �� �� � H2(k; E(n; �)) :H2(F(n)=� o G; E(n; �)) H2(k; E(n; �))H2(F(m)=� o G; E(n; �)) H2(k; E(m; �))H2(F(m)=� o G; E(m; �))Now [1] chap.13 th.2 asserts that ��(�n) = � �(�m) and by [3] Satz 1.1 theembedding problem on the level n is solvable if and only if '�n;�(�n) = 0. We aresearching for an m � n, a solution 'm;� on the level m and a suitable surjectiveG-homomorphism : F(m)� F(n), such that� �('�m;�(�m)) = 0 2 H2(k; E(n; �)):As we will show below, this can be achieved for large enough m if the solution'm;� is of a special type. If we can guarantee that the new solution is also of thisspecial type, then the induction process works for a modi�ed, stronger statement.In fact we are going to prove the sharpened21

Theorem 15 Let Kjk be a �nite Galois extension of the global �eld k and let' : Gk � G(Kjk) = G. Then for every prime number p, all n 2 IN and all� = (i; j) the split embedding problem� '����� 1GF(n)=F(n)(�) o GF(n)=F(n)(�)1 Gkhas a proper solution Nn� jk. If p 6= char k, we can choose the solution in such away that the following conditions are satis�ed:(i) All p 2 Ram(Kjk) [ Sp [ S1 are completely decomposed in Nn� jK.(ii) If p is rami�ed in Nn� jK, then p splits completely in Kjk and Nn�;pjkp is a(cyclic) totally rami�ed extension of local �elds.Proof: We prove the theorem by induction on �, whereas n and G are arbitrary.We defer the case char(k) = p and assume that char(k) 6= p. If � = (1; 1), nothingis to show. We prove the induction step, i.e. we solve the embedding problemde�ned by the diagram (�) above in four substeps. Furthermore, for the inductionstep v 7! v + 1, we may assume that �pe � K, where pe is the exponent of thegroup F(n)=F(n)(�+1) (which does depend on � but not on n and G). Otherwisewe lift the embedding problem via Gk � G(K(�pe)jk) � G(Kjk), thus makingG bigger. Note that this does not in uence conditions (i) and (ii).First Step: The problem (�) induces local split embedding problems at allp 2 Ram(Kjk) [ Sp [ S1 and is locally solvable (not necessarily proper) at everyprime p after changing 'n;� .a) If p 2 Ram(Kjk)[Sp[S1, then Gp(Nn� jk) = (F(n)=F(n)(�) o G)p �= Gp(Kjk)by (i). We show that, after changing 'n;� , the local group extensions corre-sponding to these primes are split extensions. In particular, the associated localembedding problems are solvable in a trivial way.Let �n(p) be the 2-class in H2((F(n)=F(n)(�) o G)p;F(n)(�)=F(n)(�+1)) whichcorresponds to the group extension given by the upper line of the diagram� ¡¢£¤¥ F(n)=F(n)(�) o G :F(n)=F(n)(�+1) o GF(n)(�)=F(n)(�+1) (F(n)=F(n)(�) o G)pEpF(n)(�)=F(n)(�+1)Apply the induction hypothesis to the corresponding embedding problem ona large level m. The number m and a surjective G-invariant homomorphism : F(m) � F(n) will be chosen below. By (i) we know that p is completely22

decomposed in Nm� jK and we have a commutative diagram for the associatedlocal groups (writing Gp for Gp(Kjk))):¦§¨© Gp(F(n)=� o G)p Gp(F(m)=� o G)pTherefore we obtain the diagramª inf« inf¬ inf­ � �® � �¯ ��° H2(Gp; E(n; �))H2((F(n)=� o G)p; E(n; �)) H2(Gp; E(n; �))H2((F(m)=� o G)p; E(n; �)) H2(Gp; E(m; �))H2((F(m)=� o G)p; E(m; �))Using proposition 6 with G, k = 2 and T = IndGpG IFp we �nd an m � n and a sur-jective pro-p-G homomorphism : F(m)� F(n) such that the homomorphism± � �H2(G; E(n; �) T )H2(Gp; E(n; �)) = H2(G; E(m; �) T ))H2(Gp; E(m; �)) =maps inf �1(�m(p)) to 0, hence the above diagram implies that �n(p) = 0.Now we can execute the above procedure for all the �nitely many primes p 2Ram(Kjk)[Sp[S1, makingm each times bigger. Note that we do not destroy thealready achieved success for the primes say p1; : : : ; pr for which the local embed-ding problems already split. Indeed, the property of inducing a split embeddingproblem at a prime p survives the shrinking process from m to n if p is com-pletely decomposed is Nm� jK (and we suppose this for p 2 Ram(Kjk)[Sp [S1).Therefore we can execute a shrinking process for pr+1, inducing a solution fromF(m), which has already the desired property for p1; : : : ; pr (and which we couldhave produced by another shrinking F(m0)� F(m)).An alternative way to proceed at this point is to replace the module T in theabove argument by the direct sum of IndGpG IFp, where p runs through Ram(Kjk)[Sp [ S1. In this way we deal with all these primes within one shrinking process.Finally we see that the embedding problem23

² 'm;�³ � ´µ F(n)=F(n)(�) o GF(n)=F(n)(�+1) o GF(n)(�)=F(n)(�+1) F(m)=F(m)(�) o GGkinduces split group extensions for all p 2 Ram(Kjk) [ Sp [ S1.We have just changed 'n;� to � �'m;� , thus Nn� to some ~Nn� . But by assumptionconditions (i) and (ii) are also satis�ed for Nm� hence for the new �eld ~Nn� . Wewill not change the notations.b) If p is unrami�ed in Nn� jk, then the homomorphism¶ 'p Gp(Nn� jk)ZZ �= Gp(k)=Tp(k)extends obviously since ZZ is free.c) Let p 2 Ram(Nn� jK). Then p splits completely inKjk and Gp(Nn� jK) �= ZZ=paZZby condition (ii). We assumed that �pe � K, where pe is the exponent of the groupF(n)=F(n)(�+1). Since Nn�;pjKp is totally rami�ed by assumption, there exists aprime element �p of Kp such that Nn�;p = Kp( pap�p). An arbitrary chosen pre-image of a generator of the cyclic group Gp(Nn� jK) in F(n)=F(n)(�+1) o G hasorder pa+", where 0 � " � 1. We can solve our embedding problem by taking apa+"-th root of �p, since �pa+" � �pe � K � Kp.Second Step: The problem (�) induces local split embedding problems at allp 2 Ram(Kjk) [ Sp [ S1 and is globally solvable (not necessarily proper) afterchanging 'n;�.As above we consider the problem for di�erent numbers m � n:· 'm;�¸¹º»¼ � ½ �+1¾ �F(n)=F(n)(�) o G:F(n)=F(n)(�+1) o GF(n)(�)=F(n)(�+1) F(m)=F(m)(�) o GF(m)=F(m)(�+1) o GF(m)(�)=F(m)(�+1) GkLet �m and �n denote the 2-classes corresponding to the above group extensions.A surjective pro-p-G homomorphism : F(m) � F(n) (inducing � , �+1 and� ) will be de�ned below. Both problems (for m with 'm;� and for n with 'n;� = � � 'm;�) are locally solvable by step 1.24

In order to show the existence of a solution 'n;�+1 we have to prove that the2-class �n maps to zero under the in ation map '�n;� , see [3] Satz 1.1:¿À '�n;�Á X2(k; E(n; �)):H2(k; E(n; �))H2(F(n)=F(n)(�) o G ; E(n; �)) Yp H2(kp; E(n; �))Here we have set as before E(n; �) = F(n)(�)=F(n)(�+1). By the �rst step we canassume that'�n;�(�n) 2X2(k; E(n; �)) ; '�m;�(�m) 2X2(k; E(m; �)) :As we have already observed at the beginning ��(�n) = � �(�m)which gives us '�n;�(�n) = ( � � 'm;�)�(�n) = ('�m;� � ��)(�n)= ('�m;� � � �)(�m) = ( � � � '�m;�)(�m):In order to shrink the obstruction, we look for a surjective homomorphism ontoX2(k; E(n; �)), which has a "shrinkable" source, i.e. a source to which proposi-tion 6 applies.Claim: We have a commutative diagramÂà � �ÄÅ � �X2(k; E(n; �))H�2(G; E(n; �)(�1)) X2(k; E(m; �))H�2(G; E(m; �)(�1))with surjective horizontal maps, where (�1) denotes the (�1)-Tate twist.Using this claim and proposition 6 with k = �2, the IFp[G]-module T =Hom(�p;ZZ=pZZ) and an element x1 which is a pre-image of '�m;�(�m) in the groupH�2(G; E(m; �)(�1)), we obtain a surjective pro-p-G operator homomorphism : F(m) � F(n) such that � �'�m;�(�m) = 0, hence '�n;�(�n) = 0. Thus theembedding problem is solvable. Furthermore, as explained in the �rst step, thelocal condition at the primes in Ram(Kjk) [ Sp [ S1 remains untouched withinthe shrinking process. In order to �nish step 2 it remains to give the25

Proof of the claim: Let E(n; �)0 = Hom(E(n; �); �p). By the Tate-Poitou dualitytheorem we know thatX2(k; E(n; �)) �=X1(k; E(n; �)0)� :Using the Hasse-principle and the fact that E(n; �)0 is a trivial GK -module (�p �K) we obtain that the homomorphisms � in the commutative and exact diagramÆ �ÇÈÉÊËÌÍ0H1(Kjk; E(n; �)0) Yp H1(kp; E(n; �)0)H1(k; E(n; �)0)X1(k; E(n; �)0)0 YP H1(KP; E(n; �)0)H1(K; E(n; �)0)

is injective. Hence we get an injectionX1(k; E(n; �)0) ,! H1(Kjk; E(n; �)0) andregarding that the dual of cohomology is homology (hence for �nite groups co-homology in negative dimensions), we obtain a canonical surjectionÎÏÐ X2(k; E(n; �)) :H�2(G; E(n; �)(�1)) X1(k; E(n; �)0)�H1(G; E(n; �)0)�This proves the claim.Third step: After changing 'n;� , the problem (�) has a proper global solution,which satis�es condition (i) and all primes p 2 Ram(Nn�+1jNn� )rRam(Nn� jK) arecompletely decomposed in Nn� jk. Furthermore, the local extension Nn�+1;pjKp is(cyclic) totally rami�ed for p 2 Ram(Nn� jK).We achieve this by the following procedure: Consider a solution 'n;�+1 of theembedding problem (�) which we have obtained in step 2. Its equivalence class['n;�+1] is an element of the space S(�) of solutions of (�) modulo equivalence.Conditions (i),(ii), properness and the other conditions that we want to achieve inthis third step only depend on the equivalence class of a solution. The space S(�)is a principal homogeneous space over H1(Gk; E(n; �)) (see [6] Satz 1.3). Recallthat the action is de�ned as follows: Choose a representing cocycle Gk ! E(n; �)and multiply a solution Gk ! F(n)=�+1 o G of the embedding problem with thecocycle. This yields a map Gk ! F(n)=� + 1 o G which is a homomorphism (!)and the equivalence class of this new solution is independent of the made choices.26

Now we look for a suitable cohomology class " 2 H1(Gk; E(n; �)), such thatthe new solution ~'n;�+1 = "'n;�+1has the required properties. We assume that 'm;�+1 is obtained from step 2 andthat 'm;� satis�es (i) and (ii). Note that the properness of the solution is onlya problem for the �rst step (1; 1) ! (2; 1) since in all higher induction stepsthe properness follows automatically from the induction hypothesis and from theFrattini argument.Let us consider how the local behaviour of ~'n;�+1 = "'n;�+1 is connected tothat of 'n;�+1. By this we mean, that we want to compare the rami�cation anddecomposition of primes in the associated �eld extensions ~Nn�+1jNnv and Nn�+1jNnv .(Since we do not know, whether the solutions are proper, one or both of these�eld extensions might be trivial.) Let p be a prime in Nn� . The behaviour of p inNn�+1jNnv is characterized by the homomorphism'n;�+1 jG(Nn� )p2 Hom(G(Nn� )p; E(n; �)):SinceG(Nn� )p acts trivially on E(n; �), we can interpret 'n;�+1 jG(Nn� )p as an elementin H1((Nn� )p; E(n; �))Gkp :Consider the exact sequence0�!H1((Nn� )pjkp)�!H1(kp) ��!H1((Nn� )p)Gkp ��!H2((Nn� )pjkp) ;which is obtained from the Hochschild-Serre sequence for the tower �kp j (Nn� )p j kpand in which E(n; �) are the (not written) coe�cients of the cohomology groups.We see that ~'n;�+1 jG(Nn� )p is given by'n;�+1 jG(Nn� )p + �(") 2 H1((Nn� )p; E(n; �))Gkp :Now we choose a �nite set T 0 of primes in cs(Nn� jk) and homomorphismsxp : Gkp=Tkp = G(Nn� )p=T(Nn� )p �!E(n; �)for p 2 T 0 such that their images generate E(n; �). (The set T 0 will be responsiblefor the properness of the new solution.)Set T 1 = Ram(Kjk) [ Sp [ S1 ;T 2 = Ram(Nn� jK) ;T 3 = Ram(Nn�+1jK)n(Ram(Nn� jk) [ Sp [ S1) ;T = T 0 [ T 1 [ T 2 [ T 3 andS = cs(Nn� jk) [ T : 27

Since p 2 T 0 splits completely in Nn� jk, there exists a �p 2 H1(kp; E(n; �)) with�(�p) = xp : G(Nn� )p �!E(n; �) :Let p 2 T 1. Then, by the induction hypothesis, the extension (Nn� )pjKp is trivialand the group extension in the diagramÑ 'n;� jGkpÒ 'n;�+1 jGkpÓÔÕÖ 1Gp(Nn� jk)EpE(n; �)1 Gkpsplits. Hence �('n;�+1 jG(Nn� )p ) = 0 and we therefore �nd �p 2 H1(kp; E(n; �)) suchthat �(�p) = �'n;�+1jG(Nn� )p : G(Nn� )p �!E(n; �) :If p 2 T 2, then by the induction hypothesis p 2= T 1, Kpjkp is trivial and (Nn� )pjKpis a (cyclic) totally rami�ed extension. We consider the exact and commutativediagram, ×ØÙ �ÚÛ H1((Nn� )p)Gkp :H1(kp)H1((Nn� )pjkp) H1nr((Nn� )p)GkpH1nr(kp)Since p 2 T 2, the dotted arrow in the diagram above is an isomorphism. Thusthere is a �p 2 H1(kp; E(n; �)) such that'n;�+1jG(Nn� )p + �(�p) : G(Nn� )p �!E(n; �)is either trivial (if 'n;�+1jG(Nn� )p is unrami�ed) or induces a totally rami�ed ex-tension of degree p of (Nn� )p.If p 2 T 3, then we have a commutative and exact diagramÜÝÞ �ßà resH1(T(Nn� )p)GkpH1(Tkp)Gkp H1((Nn� )p)GkpH1(kp)H1((Nn� )pjkp)where now the lower dotted arrow is an isomorphism, since (Nn� )pjkp is unrami�ed.Let �p 2 H1(kp; E(n; �)) such that'n;�+1jG(Nn� )p + �(�p) : G(Nn� )p �!E(n; �)is unrami�ed.In order to complete step 3, it is therefore su�cient to show the existence ofan element " 2 H1(GS ; E(n; �)) � H1(Gk; E(n; �)) with "p = �p for all p 2 T .28

The exact sequenceáâ �n coker(kS ; T; E(n; �))YT H1(kp; E(n; �))H1(GS ; E(n; �))shows that the obstruction to the existence of such an " is the vanishing of �n(�n)with �n = Yp2Tn �p 2 Yp2TnH1(kp; E(n; �)):(In the following we denote the sets T i and T by T in and Tn, respectively, in orderto indicate on which level the embedding problem is considered.) By lemma 10we have a canonical injection(1) coker(kSn ; Tn; E(n; �)) ,!X1(kSn ; SnrTn; E(n; �)0)�;where E(n; �)0 = Hom(E(n; �); �p).Recall that H�2 = H1 and that by the induction hypothesis, the solution 'n;�is proper. Thus we obtainH1(F(n)=� o G; E(n; �)(�1)) �= H1(F(n)=� o G; E(n; �)�(1))��= H1(Nn� jk; E(n; �)0)�:Therefore it exists a canonical isomorphism(2) H�2(F(n)=� o G; E(n; �)(�1)) �!� H1(Nn� jk; E(n; �)0)�:Now we are going to shrink the obstruction to the existence of a 1-class "as above. If 'n;� is induced by a 'm;� for m � n via a G-invariant surjectionF(m)� F(n), then the inclusion (1) is obviously also true in the form(1)0 coker(kSm ; Tm; E(n; �)) ,!X1(kSm ; SmrTm; E(n; �))�;where Sm and Tm are chosen as above but on the level Nm� . Using proposition 7we choose m � n such that an (one) arbitrary chosen element in H�2(F(m)=� oG; E(m; �)(�1)) is annihilated by the map, which is induced by a suitable chosensurjection F(m) � F(n). Then we consider the diagrams, in which we write cfor coker, Ed for E(d; �) (d = m;n) and ~Sn = cs(Nn� jk) [ Tm:ãä �åæ �çè �é êëì infíîïðñòó X1(k~Sn ; ~SnnTm; E 0n)� ;X1(kSm ; SmnTm; E 0n)�X1(kSm ; SmnTm; E 0m)�c(k~Sn ; Tm; En)YTm H1(kp; En)H1(k~Sn jk; En) c(kSm ; Tm; En)YTm H1(kp; En)H1(kSm jk; En) c(kSm ; Tm; Em)YTm H1(kp; Em))H1(kSm jk; Em)29

ôõö÷øùúûüý H�2(F(n)=� o G; En(�1)):H1(Nn� jk; E 0n)�X1(k~Sn ; ~SnnTm; E 0n)� H1(Nn� jk; E 0n)�X1(kSm ; SmnTm; E 0n)� H�2(F(m)=� o G; Em(�1))H1(Nm� jk; E 0m)�X1(kSm ; SmnTm; E 0m)�The existence of all maps and the fact that the diagrams are commutative followsfrom the arguments above and from lemma 12.Now let �m = Yp2Tm �p 2 Yp2TmH1(kp; E(n; �)):be arbitrary. By theorem 7(i) that we can choose a G-invariant surjection :F(m)� F(n) such that �n �(�m) = 0.Observe that we did not get precisely what we wanted, because " has therequired property with respect to the sets of primes T im and ~Sn. Nevertheless,one easily veri�es that, if we modify the solution that we have obtained after theshrinking by the cocycle " (which now exists), then we obtain a solution satisfyingall required properties. This �nishes step 3.Fourth Step: After changing 'n;� again, there exists a proper solution 'n;�+1of (�) which satis�es properties (i) and (ii).The solution 'n;�+1, which we have obtained in step 3, has almost all propertieswe need, except that for p 2 Ram(Nn�+1jK)nRam(Nn� jK) the local extension(Nn�+1)pjkp might not be (cyclic) totally rami�ed. But we know that for such aprime p the extension (Nn� )pjkp is trivial. In order to get a totally rami�ed cyclicextension, we have to remove the unrami�ed part of the extension (Nn�+1)pj(Nn� )pand to make sure that at places, where new rami�cation occurs by this procedure,we have (cyclic) totally rami�ed local extensions.In order to save the properness of the solution, obtained in step 3, we choosea �nite set of primes T 0 � cs(Nn� jk)r(Ram(Nn�+1jk) [ Sp [ S1) such that theirdecomposition groups Gp(Nn�+1jNn� ), p 2 T 0 generate G(Nn�+1jNn� ).We want to alter the solution found in step 3 once again using a class x inH1(kS jK; E(n; �)), where� S = cs(Nn� jk) [ T and T = Ram(Nn�+1jk) [ Sp [ S1 [ T 0 ,� for p 2 Ram(Nn� jk) [ Sp [ S1 [ T 0 we have xp = 0 ,� if the prolongations of p to K are in Ram(Nn�+1jK)nRam(Nn� jK), thenxp 2 H1nr(kp; E(n; �)) = H1nr((Nn� )p; E(n; �)) has the property that30

'n;�+1jG(Nn� )p + xp 2 H1((Nn� )p; E(n; �))is cyclic.� xp is cyclic for all p 2= T .For every p 2 S(k) such that prolongations of p to K are in Ram(Nn�+1jK) but notin Ram(Nn� jK) we �x one (p splits completely in Kjk) prolongation p0 2 S(K)of p to K. Let � 2 QT H1(KP; E(n; �)) be such that� �P = 0 if P \ k 2 Ram(Nn� jk) [ Sp [ S1 [ T 0,� if P 2 Ram(Nn�+1jK)nRam(Nn� jK) and P 6= (P \ k)0 , then �P = 0,� if P 2 Ram(Nn�+1jK)nRam(Nn� jK) and P = (P \ k)0 , then�p 2 H1nr(KP; E(n; �)) = H1nr((Nn� )P; E(n; �)) has the property that'n;�+1jG(Nn� )P + �P 2 H1((Nn� )P; E(n; �))is cyclic.Applying theorem 13 in the situation where is the �eld Nn� and A = E(n; �),we see that in order to �nish the proof, it su�ces to construct an element y inH1(kS jK; E(n; �)) with yP = �P for all P 2 T . Indeed, by this procedure weget new rami�cation only at places which are completely decomposed in Nn� jk.Hence their decomposition groups are cyclic (by theorem 13) and contained inthe p-elementary abelian group G(Nn�+1jNn� ) �= E(n; �). Thus the local extensionsassociated to these new rami�cation primes are cyclic of order p, in particular,totally rami�ed. Furthermore, by the choice of T 0, the new solution remainsproper.Similar to the situation with the class " in step 3, the exact sequenceþÿ �n coker(KS ; T; E(n; �))YT H1(Kp; E(n; �))H1(KS jK; E(n; �))shows that the obstruction to the existence of such a y is �n(�) = 0. Now weapply the shrinking procedure as in step 3, but the commutative diagrams whichare used there have to be modi�ed as follows: Replace in the �rst diagram k byK and consider instead of the second the following diagram��������� H�2(F(n)=�; En(�1)):H1(Nn� jK; E 0n)�X1(K~Sn ; ~SnnTm; E 0n)� H1(Nn� jK; E 0n)�X1(KSm ; SmnTm; E 0n)� H�2(F(m)=�; Em(�1))H1(Nm� jK; E 0m)�X1(KSm ; SmnTm; E 0m)�Then we use part (ii) theorem 7 instead of part (i).Therefore, after a further shrinking, we get a class y with the properties above.Now theorem 13 induces the existence of the desired class x 2 H1(kS jk; E(n; �)).31

The new solution ~'n;�+1 = x'n;�+1 ful�lls condition (i) and (ii), hence step 4 andthe proof in the case p 6= char(k) of theorem 15 are complete.The proof in the case p = char(k) is comparatively easy: Again we proceedby induction on �, where n is arbitrary. The case � = (1; 1) is trivial. In thecase � = (2; 1) we get an embedding problem with abelian kernel isomorphicto IFp[G]n, which is properly solvable by proposition 11. In the next inductionsteps we do not have to care about the properness of the solutions, because theyare automatically proper by the Frattini argument. By [17] II x2 prop.3 we havecdpGk = 1, hence Gk is p-projective by [17] I x3 prop.16 and we can solve theembedding problems in all induction steps. Therefore the proof of theorem 15and also that of theorem 14 is complete. 2In order to deduce the theorem of �Safarevi�c, we use an argument which goesback to O. ORE [9]. We need two facts from group theory and we recall thefollowing notations:Let G be a �nite non-trivial group, then�(G) is the intersection of all maximal subgroups of G and is called Frattinigroup of G,F (G) is the composite of all nilpotent normal subgroups of G and is calledFitting group of G.The group �(G) is a characteristic subgroup of G and is contained in F (G). Thegroup F (G) is obviously a normal subgroup of G. We cite the following two facts,see [4] Kap. III Satz 3.2 (b) and Satz 4.2 (c):Proposition 16 Let N be a normal subgroup of the �nite group G such thatN �= �(G). Then there exists a proper supplement U of N in G, i.e. U 6= G andG = N � U .Proposition 17 Let G be a non-trivial �nite solvable group. Then �(G) is aproper subgroup of F (G).Proof of �Safarevi�c's theorem: Let F (G) be the Fitting subgroup of G 6= f1g.By the two propositions above, F (G) has a proper (solvable) supplement U G,hence there exists a surjection G :F (G) o UAssuming inductively (on the order of G) that U is the Galois group of a �nitenormal extension of k, we obtain the result using theorem 14. 2Acknowledgment: The authors want to thank B.H. MATZAT for pointing outan error in an earlier version of this article.32

References[1] Artin, E., Tate, J. Class Field Theory. Benjamin New York, Amsterdam1967[2] Fried, M.D., Jarden, M. Field Arithmetic. Springer 1996[3] Hoechsmann, K. Zum Einbettungsproblem. J. reine u. angew. Math. 229(1968) 81-106[4] Huppert, B. Endliche Gruppen I. Springer 1967[5] I�shanov, V.V., Lur'e, B.B., Faddeev, D.K. The Embedding Problem in Ga-lois Theory. Trans. of Math. Monographs 165 AMS Providence 1997[6] Neukirch, J. �Uber das Einbettungsproplem der algebraischen ZahlentheorieInvent. Math. 21 (1973) 59-116[7] Neukirch, J. On solvable number �elds. Invent. Math. 53 (1979) 135-164[8] Neukirch, J. Algebraische Zahlentheorie. Springer 1992, Engl.tranl: Alge-braic Number Theory. Springer 1998[9] Ore, O. Contributions to the theory of groups of �nite order. Duke Math.J. 5 (1939) 431-460[10] Reichardt, H. Konstruktion von Zahlk�orpern mit gegebener Galoisgruppevon Primzahlpotenzordnung. J. reine u. angew. Math. 177 (1937) 1-5[11] �Safarevi�c, I.R. On the construction of �elds with a given Galois group oforder `�. Izv. Akad. Nauk SSSR 18 (1954) 261-296 (in Russian), Englishtranslation in Amer. Math. Soc. Transl. 4 (1956) 107-142[12] �Safarevi�c, I.R. On an existence theorem in the theory of algebraic numbers.Izv. Akad. Nauk SSSR 18 (1954) 327-334 (in Russian), English translationin Amer. Math. Soc. Transl. 4 (1956) 143-150[13] �Safarevi�c, I.R. On the problem of imbedding �elds. Izv. Akad. Nauk SSSR18 (1954) 389-418 (in Russian), English translation in Amer. Math. Soc.Transl. 4 (1956) 151-183[14] �Safarevi�c, I.R. Construction of �elds of algebraic numbers with given solv-able groups. Izv. Akad. Nauk SSSR 18 (1954) 525-578 (in Russian), Englishtranslation in Amer. Math. Soc. Transl. 4 (1956) 185-237[15] Serre, J.-P. A Course in Arithmetic. Springer 1973[16] Serre, J.-P. Topics in Galois Theory. Jones and Bartlett Publ. Boston 199233

[17] Serre, J.-P. Cohomologie Galoisienne. Lecture Notes in Mathematics 5,Springer 1964 (Cinqui�eme �edition 1994).[18] Witt, E. Treue Darstellung Liescher Ringe. J. reine u. angew. Math. 177(1937) 152-160Mathematisches Institut Mathematisches Institutder Universit�at Heidelberg der Universit�at HeidelbergIm Neuenheimer Feld 288 Im Neuenheimer Feld 28869120 Heidelberg 69120 HeidelbergGermany Germanye-mail: schmidt@mathi.uni-heidelberg.dewingberg@mathi.uni-heidelberg.de

34