Did you know? · Science & Medicine

Emmy Noether's bound solved a problem in invariant theory

In 1915 Emmy Noether solved the finite basis problem for finite groups, proving a degree limit now called Noether's bound. A last open case was settled only in 2000 and 2001.

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

The story

Invariant theory, the field in which Emmy Noether began her career, studies expressions that stay the same when a group of transformations is applied. A simple example is a metre stick: rotate it and the coordinates of its ends change, but its length does not. A central question was the "finite basis problem": can all the invariants of a given situation be built, by adding and multiplying, from a finite list of basic ones?

Noether's doctoral adviser at Erlangen, Paul Gordan, known as the "king of invariant theory", had solved the problem in 1870 for polynomials in two variables by explicit construction. In 1890 David Hilbert proved a similar result for any number of variables, but his famous proof was non-constructive: it showed a finite basis existed without giving practical information about it. Noether's own 1907 thesis followed Gordan's computational style and ended with a list of more than 300 worked-out invariants. Under the influence of Ernst Fischer, Gordan's successor, she then turned to Hilbert's more abstract methods, and between 1913 and 1916 she applied them to problems including the invariants of finite groups.

In a 1915 paper she solved the finite basis problem for a finite group of transformations acting on a finite-dimensional vector space over a field of characteristic zero. She showed that all the invariants can be generated by homogeneous invariants whose degree is at most the number of elements in the group. This limit is called Noether's bound. Her paper gave two proofs, both of which also work for some fields of prime characteristic, provided the characteristic does not divide the factorial of the group's order.

One case escaped her: fields whose characteristic divides the factorial of the group's order but not the order itself. Whether her bound still held there became a long-standing open question known as "Noether's gap". It was finally settled independently by Fleischmann in 2000 and Fogarty in 2001, who both showed the bound remains true.

In 1926 Noether extended Hilbert's finiteness theorem to representations of a finite group over any field, including the difficult case where the field's characteristic divides the group's order. William Haboush later extended her result to all reductive groups. The same paper introduced the Noether normalization lemma, now a basic tool in commutative algebra and algebraic geometry. Hermann Weyl later contrasted the formal computations of her thesis with the grand conceptual thinking of her mature work, and her invariant theory papers show that transition under way.

Why it matters

Noether's bound and normalization lemma remain standard results taught and used in algebra and algebraic geometry.

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