Über die Adjunktion von Wurzeln

Eine beliebte Aufgabe aus der Algebra ist es, den Grad und die Galoisgruppe von Erweiterungen der Form $\IQ(\sqrt{p},\sqrt{q},\dotsc)$ für konkrete Beispiele von Primzahlen $p,q,\dotsc$ zu bestimmen, zum Beispiel von $\IQ(\sqrt{2},\sqrt{3})$. Außerdem soll oftmals ein primitives Element und dessen Minimalpolynom gefunden werden. In diesem Artikel behandeln wir allgemeiner Erweiterungen der Form $K(\sqrt{\Delta})$ eines Körpers $K$ der Charakteristik $\neq 2$ für beliebige Untergruppen $\Delta \subseteq K^{\times}$. Es handelt sich um einen relativ einfachen Spezialfall der Kummertheorie, nämlich für den Exponenten $2$.

Über Berührungen und Ableitungen

In dem Buch 'Grundzüge der modernen Analysis' von Dieudonné wird der Begriff der Differenzierbarkeit einer Funktion zwischen normierten Räumen sehr anschaulich und geometrisch mithilfe einer Berührungsrelation eingeführt. Die Differenzierbarkeit einer Funktion in einem Punkt wird dadurch definiert, dass sie dort von einer affin-linearen Funktion berührt wird. Leider taucht diese Relation dort nur kurz in der Definition auf und wird nicht weiter benutzt, und andere Quellen verwenden ohnehin einen eher rechnerischen Zugang. In diesem Artikel möchte ich die Berührungsrelation in den Vordergrund stellen und die Ableitungsregeln, insbesondere die Kettenregel, konzeptionell aus entsprechenden Eigenschaften der Berührungsrelation ableiten. Schließlich gibt es auch noch eine kategorientheoretische Einordnung der ganzen Theorie.