Hamburg, am 9. Juli
19231
Lieber Herr Hasse!
Endlich die Antwort werden Sie sagen. Also ich bitte kniefällig um Entschuldigung für mein so spätes Schreiben aber…na Sie kennen mich ja. Ich hatte mir ein so schönes System von Ausreden konstruiert sehe aber, dass das schliesslich keinen Zweck hat.2 Zunächst meinen besten Dank für Ihre freundliche Einladung. Nun wissen Sie aber, dass ich Samstag Kolleg habe. Ich könnte also erst nachmittag gegen 5 wegfahren, da kein anderer Zug geht. Wenn es Ihnen also passt und ich Sie nicht störe, würde ich nächsten Samstag abends gegen 8h mit dem D-Zug – ich glaube 7h35 in Kiel eintreffen. Sollte ich einen früheren Zug finden, so schreib’ ich Ihnen noch. Ebenso bitte ich Sie, mir eine Karte zu schreiben, wenn Ihnen etwas dazwischen kommen sollte, wir also die Sache verschieben müssten. Ich komme aber nur wenn ich Ihrer Frau Gemahlin und Ihnen keine Unannehmlichkeiten verursache.
Zunächst möchte ich zeigen dass man Ihre schöne Formel3
doch nach meiner Methode4 herleiten kann und zwar direkt und für beliebige Körper.
k enthalte , ist also Oberkörper vom Kreiskörper R(). S() sei die Relativspur von in bezug auf R(), S die Absolutspur in k, die in R(). Dann ist S() = (S()).
Nach Takagi (Reziprozitätsgesetz) gilt nun, (§2 Satz 5) unter N die Relativnorm von verstanden (in Bezug auf R()) :
Nun soll 1 (mod 0) sein, also:
Nun aber kommt das Schöne! Die Formel gilt nicht nur für 1 (mod 0) sondern sogar schon:
Also genau dasselbe. Sie werden sagen, dass im Exponenten keine ganze Zahl steht? Doch! Zunächst ist nach Voraussetzung = ganz, also auch ' = S().
Nach dem Satz von Landsberg hat nun jede Zahl aus dem Ideal ( Differente) eine ganze Spur.6 Also ist = S ganz da in R() : = 0 ist.
Übrigens stammt diese Formel von Ihnen. Es ist nämlich nach Ihrer zweiten Mitteilung = , wenn a (mod ) und im Kreiskörper liegt. Drücken Sie den Exponenten durch Spuren aus und steigen Sie dann wie vorhin von einem beliebigen Körper zum Kreiskörper herab, so erhalten Sie für beliebige Körper diese Formel. Ist a (mod ) und a rational, so ist einfach zu ersetzen durch . Das ist selbstverständlich.
Um Ihnen noch etwas Neues mitzuteilen: Ich habe jetzt die allgemeinen L-Reihen mit Frobenius’schen Gruppencharakteren gefunden, die bei beliebigen Körpern dasselbe leisten wie die gewöhnlichen L-Reihen bei Abelschen.7 Mit ihnen die -Relationen in beliebigen Körpern.8 Nebenbei die Formulierung des allgemeinen Reziprozitätsgesetzes in beliebigen Körpern (ohne dass Einheitswurzel im Körper liegt)9 und Beweis bei Primzahlgrad. Ferner eine Vermutung (bestimmter Form) über das Zerlegungsgesetz der in der Diskr[iminante] aufgehenden Primzahlen eines Körpers mit einfacher Gruppe – sagen wir mal des Ikosaederkörpers.10 Die Arbeit ist schon im Druck, vielleicht kann ich Ihnen Samstag schon Fahnen zeigen. Wenn also noch etwas dazwischen kommt – Karte genügt. Mit herzlichen Grüssen und Handküssen an Frau Gemahlin
Ihr Artin