Editing Emmy Noether (section)

====Invariant theory of finite groups====
Techniques such as Hilbert's original non-constructive solution to the finite basis problem could not be used to get quantitative information about the invariants of a group action, and furthermore, they did not apply to all group actions. In her 1915 paper,{{Sfn | Noether| 1915}} Noether found a solution to the finite basis problem for a finite group of transformations {{math|''G''}} acting on a finite-dimensional vector space over a field of characteristic zero. Her solution shows that the ring of invariants is generated by homogeneous invariants whose degree is less than, or equal to, the order of the finite group; this is called '''Noether's bound'''. Her paper gave two proofs of Noether's bound, both of which also work when the characteristic of the field is [[coprime]] to <math>\left|G\right|!</math> (the [[factorial]] of the order <math>\left|G\right|</math> of the group {{math|''G''}}). The degrees of generators need not satisfy Noether's bound when the characteristic of the field divides the number <math>\left|G\right|</math>,{{Sfn |Fleischmann | 2000 |p = 24}} but Noether was not able to determine whether this bound was correct when the characteristic of the field divides <math>\left|G\right|!</math> but not <math>\left|G\right|</math>. For many years, determining the truth or falsehood of this bound for this particular case was an open problem, called "Noether's gap". It was finally solved independently by Fleischmann in 2000 and Fogarty in 2001, who both showed that the bound remains true.{{Sfn |Fleischmann|2000|p=25}}{{Sfn | Fogarty |2001|p=5}}

In her 1926 paper,{{Sfn |Noether|1926}} Noether extended Hilbert's theorem to representations of a finite group over any field; the new case that did not follow from Hilbert's work is when the characteristic of the field divides the order of the group. Noether's result was later extended by [[William Haboush]] to all reductive groups by his proof of the [[Haboush's theorem|Mumford conjecture]].{{sfn|Haboush|1975}} In this paper Noether also introduced the ''[[Noether normalization lemma]]'', showing that a finitely generated [[integral domain|domain]] {{math|''A''}} over a field {{math|''k''}} has a set {{math|1={''x''<sub>1</sub>, ..., ''x''<sub>''n''</sub>}}} of [[algebraic independence|algebraically independent]] elements such that {{math|''A''}} is [[integrality|integral]] over {{math|1=''k''[''x''<sub>1</sub>, ..., ''x''<sub>''n''</sub>]}}.