Arithmetische Charakterisierung von algebraisch auflösbaren Körpern und Gleichungen von Primzahlgrad. (Q2602058)

Ein auflösbarer Erweiterungskörper \(K/\varOmega\) vom Primzahlgrad \(l\) wird aus dem Verhalten gewisser Idealmengen aus \(K\) arithmetisch charakterisiert. Dabei tritt eine Idealgruppe \(H\) auf, die dadurch bestimmt ist, daß alle und nur die in \(K\) unverzweigten Primideale aus \(H\) in \(K\) entweder voll zerfallen oder unverzweigt bleiben. Die Klassengruppe nach \(H\) ist zyklisch und hat eine in \(l-1\) aufgehende Ordnung. Die Umkehrung dieses Satzes ergibt ein Kriterium dafür, daß \(K/\varOmega\) auflösbar ist. Im zweiten Teil wird angegeben, welche Diskriminantenteiler von \(K/\varOmega\) im Führer von \(H\) vorkommen. Schließlich wird an einem Beispiel gezeigt, wie sich diese Kriterien zum Nachweis der Nichtauflösbarkeit einer Gleichung anwenden lassen.