Noether veröffentlichte nie etwas zur algebraischen Topologie, gab aber in Diskussionen mit Heinz Hopf und Pawel Alexandrow einen entscheidenden Impetus für deren Entwicklung: man solle basisfrei Kern und Bild des Randoperators als Moduln betrachten statt wie Poincaré den Randoperator durch Inzidenzmatrizen darzustellen. Entsprechend solle man mit den Homologiegruppen arbeiten statt mit Betti-Zahlen und Torsionskoeffizienten, und mit Gruppenhomomorphismen statt mit Matrizen.
Ihr einziger schriftlicher Beitrag zur algebraischen Topologie war eine kurze Bemerkung in der Arbeit “Ableitung der Elementarteilertheorie aus der Gruppentheorie”, in der sie beiläufig erwähnte, dass auch für Anwendungen beispielsweise in der Topologie ein Zurückgehen auf die Elementarteilertheorie (zur Bestimmung der Invarianten) nicht notwendig sei, sondern die Klassifikation der endlich erzeugten abelschen Gruppen völlig ausreiche.
Mit dem Ansatz, stetigen Abbildungen die Homomorphismen der simplizialen Kettenkomplexe und Homologiegruppen zuzuordnen – in heutiger Sprache: die Funktorialität der Homologiegruppen auszunutzen – konnte Hopf einen neuen Beweis des Lefschetzschen Fixpunktsatzes geben. Er ergab sich als Folgerung aus einer mit linearer Algebra leicht zu beweisenden Spurformel: für eine Kettenabbildung f:C_*\to C_* eines Kettenkomplexes C* mit Homologie H* gilt \Sigma_i(-1)^i Spur(f:C_i\to C_i)=\Sigma_i(-1)^i Spur(f_*:H_i\to H_i).
Mit Hopfs Spurformel bekommt man auch sofort, dass für einen Simplizialkomplex die Wechselsumme über die Dimensionen der Homologiegruppen mit der Euler-Charakteristik – der Wechselsummen über die Anzahlen der i-Simplizes – übereinstimmt. Insbesondere erhält man die Eulersche Polyederformel: weil ein konvexer Polyeder homöomorph zur 2-Sphäre ist, deren Homologiegruppen die Dimensionen 1,0,1 haben, hat man E-K+F=1-0+1=2.

Auch in anderen Gebieten, insbesondere in der Darstellungstheorie, „befreite“ Emmy Noether die lineare Algebra von Matrizen und Determinanten. Schon auf der DMV-Tagung 1925 in Danzig propagierte sie in ihrem Vortrag, Darstellungstheorie im Kontext abstrakter Algebren zu betreiben. In ihrer 1929 in Mathematische Zeitschrift erschienenen Arbeit „Hyperkomplexe Größen und Darstellungstheorie“ ordnete sie jeder Darstellung \rho\colon G\to GL(n,K) einer Gruppe G auf einem Vektorraum V=Kn ihren Darstellungsmodul zu, d.h. sie betrachtete V als Modul über dem Gruppenring K[G]. Man hat so eine 1:1-Korrespondenz zwischen einerseits Darstellungen der Gruppe G auf K-Vektorräumen und andererseits Moduln über dem Gruppenring K[G].
Mittels dieser Korrespondenz kann man die Strukturtheorie von Moduln auf V anwenden und auch die Strukturtheorie der (damals noch als „hyperkomplexe Systeme“ bezeichneten) assoziativen Algebren auf K[G].
Eigenschaften von Algebren und Moduln übertragen sich in die Darstellungstheorie. Zwei Darstellungen sind äquivalent, wenn ihre Darstellungsmoduln isomorph sind. Eine Darstellung ist irreduzibel, wenn ihr Darstellungsmodul einfach ist. Sätze der Darstellungstheorie lassen sich in der Sprache der Moduln formulieren und haben dort oft einfachere Beweise. Schurs Lemma besagt, dass für einen einfachen A-Modul M (über einem beliebigen Ring A) der Endomorphismenring EndA(M) ein Schiefkörper ist. Frobenius‘ Reziprozitätssatz besagt, dass man für einen R[G]-Modul M und einen R[H]-Modul L (für eine Untergruppe H von G) einen Isomorphismus von R-Moduln Hom_{RH}(L,M\vert_H)\cong Hom_{RG}(L^G,M) hat. Der Satz von Maschke bedeutet, dass für char(K)=0 und endliche Gruppen G die Gruppenalgebra K[G] halbeinfach ist.

Emil Artin hoffte damals, dass sich mit einfachen Algebren und nichtkommutativen Kohomologiegruppen eine Klassenkörpertheorie für nichtabelsche Erweiterungen begründen ließe, was sich so nicht erfüllte. Noether konnte aber beispielsweise den Satz 90 aus Hilberts Zahlbericht in kohomologischer Sprache als H1(G,L*)=0 für Körpererweiterungen L/K mit zyklischer Galois-Gruppe G formulieren und ihn in dieser Formulierung H1(G,GL(m,L))=0 dann auch für nicht-zyklische, endliche Körpererweiterungen verallgemeinern - was allerdings (wie sie in ihrer Arbeit erwähnte) äquivalent zu einem schon zehn Jahre zuvor von Speiser bewiesenen Satz war. Das war eines von vielen Beispielen, wo es in ihrer Arbeit mehr um begriffliche Durchdringung als um neue Sätze ging.

Mit dem Zahlentheoretiker Helmut Hasse führte Noether einen regelmäßigen Briefwechsel, der zumindest in den ersten Jahren etwas von einer Lehrer-Schüler-Beziehung hatte: sie kritisierte und lobte, gab gute und nicht so gute Noten, ermutigte und lehrte ihn. Skeptisch war sie zunächst bezüglich einer Vermutung Hasses, einem Lokal-Global-Prinzip für Algebren. So wie sich - laut Hasses Lokal-Global-Prinzip für quadratische Formen - die Isotropie einer quadratischen Form (über Q oder einem Zahlkörper) durch Betrachten der p-adischen Vervollständigungen entscheiden lasse, so sollte sich nach Hasses Vermutung der Zerfall einer Algebra (über Q oder einem Zahlkörper) durch Betrachten der p-adischen Vervollständigungen entscheiden lassen.
Man sagt, dass eine Algebra über einem Körper K zerfällt, wenn sie isomorph zu einer Matrizenalgebra Mat(n,K) ist. Theodor Molien hatte 1891 bewiesen, dass jede einfache Algebra über C zerfällt. Das war von Élie Cartan dahingehend verallgemeinert worden, dass einfache Algebren über R stets Matrizenalgebren über einer R-Divisionsalgebra sind, also nach Frobenius über R, C oder H. Joseph Wedderburn hatte schließlich 1907 einen Struktursatz für Algebren über beliebigen Körpern K bewiesen: jede assoziative Algebra ist die Summe einer nilpotenten und einer halbeinfachen Algebra, jede halbeinfache Algebra ist die Summe einfacher Algebren, und jede einfache Algebra ist eine Matrixalgebra Mat(n,D), wobei D eine K-Divisionsalgebra ist. Für algebraisch abgeschlossene Körper bedeutet das, dass jede einfache K-Algebra über K zerfällt.

1 / 2 / 3

Kommentare (14)

  1. #1 Fluffy
    26. Juni 2020

    Mit Hopfs Spurformel bekommt man auch sofort, dass für einen Simplizialkomplex die Wechselsumme über die Dimensionen der Homologiegruppen mit der Euler-Charakteristik – der Wechselsummen über die Anzahlen der i-Simplizes – übereinstimmt.

    Mit dem Satz toppe ich jedes Date

  2. #2 Кай Слива
    26. Juni 2020

    Übrigens, wussten sie schon,
    dass Emmy Noether Emanuel Lasker das Schachspielen beigebracht hat?

  3. #3 Thilo
    26. Juni 2020

    sehr witzig

  4. #4 rolak
    26. Juni 2020

    sehr witzig

    Aus reiner Neugier nachgefragt, Thilo: bezieht sich das auf den faden äußeren oder den blödsinnigen inneren ‘Scherz’?

  5. #5 Thilo
    26. Juni 2020

    Ich nehme an, dass es eine Anspielung darauf sein sollte, dass v.d.Waerden und Hasse, die ja als führende Mathematiker ihrer Zeit galten, hier als de-facto-Schüler Noethers dargestellt sind. (Was auf Lasker natürlich nicht zutrifft, schon weil sein Teil des Lasker-Noether-Theorems der ältere ist.)

  6. #6 rolak
    26. Juni 2020

    Anspielung darauf (..) als de-facto-Schüler Noethers dargestellt

    Im Sinne einer verspielten Leugnung des Faktischen?

    Auch wenn der Mist zu viel Aufmerksamkeit bekommt: auf mich wirkte die Kombination innen-außen bzw nick-Text wie irgendetwas sexuell aufgeladenes Pejoratives.

  7. #7 Fluffy
    26. Juni 2020

    Weder noch.
    Ich hatte eher eine Mischung aus Big Bang Theorie und Wer weiß denn Sowas im Sinn .
    Es liegt mir fern, den ästhetischen Genuss der hier still Lesenden zu schmälern. Moderne Algebra interessierte mich schon, die oben verwendete Formalschreibweise erschwert mir allerdings den Zugang.
    Im Übrigen glaube ich, dass die Schnittmenge derer, die Emmy Noether und Emanuel Lasker in einen Kontext bringen können relativ überschaubar ist.

  8. #8 rolak
    26. Juni 2020

    Weder noch

    öhm Fluffy: 100%ig sicher kann ich mir naturgemäß bei Thilo nicht sein, doch ich vermute stark, daß auch er sich auf die (um mal vom Obst wegzukommen) Rübennase #2 bezog, nicht auf Deinen durchaus interessanten GrobfilterAnsatz für die nächste Partnerwahl.

  9. #9 Thilo
    26. Juni 2020

    Ja, natürlich.

  10. #10 Lutz Fehling
    29. Juni 2020

    Sehr geehrte Damen und Herren,

    nichts gegen die, die sich Wissenschaft von ZAHLEN verschrieben haben.

    Als “esoterisch” bezeichnet man auch Themen, die nur noch von Insidern verstanden werden.

    Heißt: Das sind Esoteriker im Fach Esoterik.

    Zudem versklavt man dann seinen Geist (so war mein Versuch, Mathe zu studieren).

    Dann wieder, auch diese Zeitschrift, blind für, was zählt; ich hatte SMS ‘rübergeschickt (Gewalt müsse, wenn sie vorliegt, abgebildet werden) – ob das die taz ist, die ZEIT, der “Spiegel”, selbst konkret-magazin.de, in allen (!) Deutschen Medien, überall AutistInnen, die zudem vor der Digitalisierung bzw. noch während dieser, an Einbildung und Selbstbeweihräucherung fast starben (!)

    Gruß
    Lutz Fehling

  11. #11 rolak
    29. Juni 2020

    bezeichnet man auch Themen, die nur noch von Insidern verstanden werden

    Falls das eine Aussage sein soll: citation needed.
    Falls das nach Gefühl ging: lokale Gebräuche rechtfertigen kein ‘man’.
    Falls das von Duden-2s ‘Eingeweihte’n kommt, ists ein Malapropismus.
    Falls der Text danach maßgeblich ist, wäre ‘weltfern’ sehr freundlich wertend.

  12. #12 Lutz Fehling
    30. Juni 2020

    Danke für Ihre Entgegnung.

    Wie ich Mathe versuchte, zu studieren, war ich auch wie Sie: Übergenau.

    Dann noch Amalgam-geschädigt.

    Der Gebrauch “esoterisch” als “nur noch Insidern zugänglich” ist nicht lokal begrenzt.

    Zur Ergänzung: Beispiel: “Supinum” ist nicht so schwer zu begreifen.

    Wenn es aber mit der mathematischen Formelsprache, die zudem, soweit ich weiß, nicht gänzlich standardisiert ist, “ausgedrückt” wird, sieht man vor lauter Bäumen den Wald nicht.

    “Weltfern” sind erwähnte linksliberale Spinn-Medien (im Gegensatz zu früher!).

    Geben Sie mal eine (1) wahre Aussage an über “Corona”.

    Ich wollte hier zugegeben kühne These aufstellen:

    Dass der z w e i t e Induktionsschritt nicht erforderlich ist (ich bin nicht 100 % sicher); den Eulerschen e hoch pi mal i = -1 habe ich praktisch widerlegt (kann man googeln).

  13. #13 Quanteder
    (1)-Erde
    30. Juni 2020

    #12
    Gratulation! Sie haben entdeckt, selbst Insider (Teilhaber) dieser unseren kleinen Gemeinschaft von geistig tätigen Menschen zu sein. Sie sind herzlich willkommen, den Geist diesen Blogs zu tragen und diesen in ihrem Selbst ein zu Hause zu geben. Das er ihr Selbst bereits berührt hat, haben sie bereits erfahren. Vergessen sie dabei nicht: Mathematik ist eine Geistes-Wissenschaft . . . ..

    Hier eine (1) wahre Aussage zu „Corona„:
    • Störung(-1)=Entstörung(+1) demzufolge -1+1=0 im Rahmen von (1)-Erde
    • (1)-Erde ist eingebettet in (1)-Universum

    Problem: Geistige Tätigkeit in (1)-Erde kann interpretiert werden. Wie interpretieren sie Geistige Tätigkeit für (1)-Universum?

    Viel Spass bei der Lösungsfindung! 🙂

  14. #14 Lutz Fehling
    Heiligenhafen
    1. Juli 2020

    Wollen Sie mich verarschen ?