Galois cohomology of ambiguous ideals (Q2533653): Difference between revisions

Das Hauptergebnis der Arbeit ist der folgende Satz: Sei \(O_F\) ein Dedekindscher Ring mit endlichen Restklassenkörpern und Quotitientenkörper \(F\), \(K/F\) eine normale endliche Erweiterung und \(O_K\) die ganze Abschließung von \(O_F\) in \(K\). Weiter sei \(A\) ein Ideal von \(O_K\), das bei \(G(K/F)\) in sich überführt wird. \(H^n(H,A)=\{0\}\), für alle \(n\in\mathbb Z\) und alle Untergruppen \(H\) von \(G(K/F)\), gilt genau dann, wenn für alle Primideale \(P\) von \(K\) gilt \(H^0(V(P),A)=\{0\}\), wobei \(V(P)\) die erste Verzweigungsgruppe bezeichnet.