Did you know? · Science & Medicine

Emmy Noether's 1921 paper gave us Noetherian rings

In her 1921 paper Idealtheorie in Ringbereichen, Emmy Noether turned the theory of ideals into a powerful general tool, and objects with her chain condition are still called Noetherian.

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

The story

After the First World War Emmy Noether, by then lecturing at Göttingen, turned from invariant theory to the foundations of algebra. Her habilitation was finally approved in 1919, and in 1920, with her protégé Werner Schmeidler, she published a paper on the theory of ideals that defined left and right ideals in a ring. Hermann Weyl later said that in this period she began work that changed the face of algebra.

Her classic paper Idealtheorie in Ringbereichen (Theory of Ideals in Ring Domains) appeared in 1921. Before it, most results in commutative algebra were restricted to particular examples, such as polynomial rings over fields or rings of algebraic integers. Noether's paper gave one of the first general definitions of a commutative ring and is regarded as the foundation of general commutative ring theory. Instead of calculating with particular equations, she looked for the general structures that make such calculations unnecessary.

Her key tool was the ascending chain condition: any increasing chain of ideals must eventually stop growing. From this simple finiteness condition she drew powerful results. She proved that in such a ring every ideal is finitely generated, and she proved in full generality the Lasker–Noether theorem, which says that ideals can be decomposed into primary ideals. It extended a result that Emanuel Lasker, the mathematician and world chess champion, had proved for polynomial rings, and it can be seen as a far-reaching generalisation of the fact that every whole number factors uniquely into primes. The algebraist Irving Kaplansky called the work revolutionary.

A few years later she characterised, by five simple conditions, the rings in which ideals factor uniquely into prime ideals, now called Dedekind domains. The same paper contains what are now known as the isomorphism theorems, among the most basic results of abstract algebra. Her student Bartel van der Waerden spread these ideas worldwide in his 1931 textbook Moderne Algebra.

Objects that satisfy her ascending chain condition are named Noetherian in her honour, and in 1943 the French mathematician Claude Chevalley coined the term Noetherian ring. Today there are Noetherian rings, modules, groups and spaces, and the historian Jeremy Gray has observed that every textbook on abstract algebra shows her influence, because mathematicians simply do ring theory her way.

Why it matters

Noether's ideal theory became a foundation of modern algebra and algebraic geometry, used by mathematicians everywhere.

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