Did you know? · Science & Medicine

Emmy Noether helped classify division algebras

With Richard Brauer and Helmut Hasse, Emmy Noether proved the Brauer–Hasse–Noether theorem, which allows all central division algebras over a number field to be classified.

Emmy Noether
Emmy Noether · 1882–1935
Person
Emmy Noether
Lived
1882–1935
Field
Mathematics
From
German

The story

By the late 1920s Emmy Noether had transformed commutative algebra with her theory of ideals. Hermann Weyl described the third period of her work, from 1927 until her death in 1935, as devoted to noncommutative algebras, their representations and their application to the arithmetic of number fields. Beginning in 1927 she worked closely with Emil Artin, Richard Brauer and Helmut Hasse, and together they founded the theory of central simple algebras.

A key object in this theory is a division algebra, an algebraic system in which, as with ordinary numbers, division is always possible, but in which multiplication need not be commutative. Number theorists wanted to know which such algebras can exist over a given number field. Noether, Brauer and Hasse answered the question in a joint paper, "Beweis eines Hauptsatzes in der Theorie der Algebren" (Proof of a Main Theorem in the Theory of Algebras), published in 1932. MacTutor describes it as a beautiful paper.

They proved two important theorems. The first is a local-global principle: if a finite-dimensional central division algebra over a number field splits locally at every place, then it splits globally, which means it is trivial. From this they deduced their main theorem, that every such algebra over an algebraic number field splits over a cyclic cyclotomic extension. Together these results make it possible to classify all finite-dimensional central division algebras over a given number field.

Noether carried the work further. A subsequent paper showed that all maximal subfields of a division algebra are splitting fields, and it contains what is now called the Skolem–Noether theorem, which states that any two embeddings of a field extension into a finite-dimensional central simple algebra are conjugate. The related Brauer–Noether theorem characterises the splitting fields of a central division algebra. In 1932, for her fiftieth birthday, Hasse dedicated a paper to her proving a noncommutative reciprocity law, confirming her hunch that some noncommutative questions are simpler than commutative ones. That September she addressed the International Congress of Mathematicians in Zürich on hypercomplex systems and their relations to commutative algebra and number theory.

The result is a landmark in the theory of algebras. It showed Noether's abstract, conceptual methods solving concrete problems in number theory, and it remains a standard part of the theory of central simple algebras today.

Why it matters

The theorem gave number theorists a complete classification that remains a standard part of the theory of algebras.

About Emmy Noether

Erlangen-born mathematician who linked symmetry to conservation laws and reshaped abstract algebra, despite years of unpaid work as a woman and dismissal by the Nazis as a Jew.

Read the full profile
Emmy Noether
1882–1935 · Mathematics
View profile →

More about Emmy Noether

Sources

Another act of tikkun olam. This is part of tikkun olam, the Jewish idea of repairing the world, and every one of us can add to it.

More in Science & Medicine

On kindness & the treatment of others
“A friend is devoted at all times; a brother is born to share adversity.”
Proverbs 17:17