Kurzer Beweis des Diskriminantensatzes. (Q2611667)

Für den \textit{Dedekind}schen Diskriminantensatz in der Formulierung ``Dann und nur dann geht die Primzahl \(p\) in der Diskriminante des Körpers \(K\) auf, wenn sie in bezug auf ihn kritisch ist, d. h. wenn es für ein \(e\) in \(K\) eine ganze Zahl \(\xi\) gibt, so daß \(\xi\not\equiv 0\), \(\xi^e\equiv 0\) mod \(p\)'' gibt Verf. einen Beweis, der aus der Idealtheorie nur das Zerlegungsgesetz, nicht aber den Begriff der Idealnorm verwendet, hingegen die \textit{Galois}gruppe des Körpers und die Existenz einer \textit{Sylow}untergruppe. Das ``dann'' wird rein zahlentheoretisch bewiesen.