^^^ J Neukirch

Ist % ein Primelement von Ag^, so ist î^l(%) = %(%) = U dh die Abbildung v* ist surjektiv und damit bijektiv wegen *H^(G(L\KyAj) = n Hieraus folgt H\G(L\KyUJ = l

( 2 3) Definition. Sei L\K eine endliche galoissche Erweiterung Wir definieren die Reziprozitatsabbildung

r^^f , G(L\K)-^AJN^^f,A^ durch

^LfxH = ^ii^(^i) mod N^i^ Aj^

wobei E der Fixkorper eines Urbildes оеф(ЦК) von GeG(L\K) ist und n^eAj^ ein Primelement

Wir müssen natürlich zeigen, daß die Definition von Гц^г(о) unabhängig ist von der Auswahl der Liftung ö von g und des Primelementes tü^ Wir schicken diesem Nachweis die folgende Betrachtung voraus Wir setzen

Sei F\K eine Teilerweiterung von L\K mit F I? = L und sei / = [F^ X] Dann ist

N\p = Np^PO

Wir wählen eine feste Fortsetzung (реф(ЦК) von cpg^ auf L und erhalten eine Zerlegung

NfiK^Noj^p , (1)

wobei der Homomorphismus Жр Ap-^Aj^ durch

v=0

definiert ist Die Gruppe G(F^\K) hat namlich die Ordnung / und wird durch (Ppo^j^ = (p\po erzeugt, so daß

/ - 1

iV ( ^^W ) = П ^F|FO«^ = iVFO|K(iVF|Fo(«)) = Np,^(a) v=0

( 2 4) bemm^i. Seien G^,02,0ъ^ф(ЦК) und sei G^^G^ Gj Ist I^ der Fixkorper von G^ und ж^еА^^ ein Primelement, ï = 1,2,3, so gilt

^1з|х ( ) = ^1,(^1) Ni2\Ki^2)^odNL^gAj^

Beweis Sei I der Fixkorper von (p Dann ist I^=:InK = K Wir dürfen men, daß I,I^^L, 1 = 1,2,3, denn sonst gehen wir zu einer in L enthaltenen galoisschen Erweiterung E\K über mit I,I^,L^L, ï = 1,2,3 Fur diese gilt L =L, und wenn die Kongruenz modN^^^j^Aj^ gilt, so erst recht modiV^^ij^^^^ Sei jetzt n = [L-X] und sei M\L die in L enthaltene Erweiterung vom Grade n Dann ist M\K galoissch vom Grade n^ Wir stellen die Lage der auftretenden