Hostname: page-component-76fb5796d-5g6vh Total loading time: 0 Render date: 2024-04-26T10:49:34.077Z Has data issue: false hasContentIssue false

A simple proof of Noether's theorem

Published online by Cambridge University Press:  18 May 2009

Robin J. Chapman
Affiliation:
Department of Mathematics, University of Exeter, Exeter EX4 4QE, UK
Rights & Permissions [Opens in a new window]

Extract

Core share and HTML view are not available for this content. However, as you have access to this content, a full PDF is available via the ‘Save PDF’ action button.

We present an elementary proof of the theorem, usually attributed to Noether, that if L/K is a tame finite Galois extension of local fields, then is a free -module where Γ=Gal(L/K. The attribution to Noether is slightly misleading as she only states and proves the result in the case where the residual characteristic of K does not divide the order of Γ [4]. In this case is a maximal order in KΓ which is not true for general groups Γ. There is an elegant proof in the standard reference [2], but this relies on a difficult result in representation theory due to Swan. Our proof depends on a close examination of the structure of tame local extensions, and uses only elementary facts about local fields. It also gives an explicit construction of a generator element, and the same proof works both for localizations of number fields and of global function fields.

Type
Research Article
Copyright
Copyright © Glasgow Mathematical Journal Trust 1996

References

REFERENCES

1.Cohn, P. M., Algebra, vol. 3 (2nd ed.) (Wiley, 1991).Google Scholar
2.Fröhlich, A., Galois module structure of algebraic integers (Springer, 1983).CrossRefGoogle Scholar
3.Matsumura, H., Commutative ring theory (Cambridge University Press, 1986).Google Scholar
4.Noether, E., Normalbasis bei Körpern ohne höhere Verzweigung, J. Reine Angew. Math. 167 (1932), 147152.Google Scholar
5.Serre, J.-P., Local fields (Springer, 1979).Google Scholar