Hostname: page-component-6898cfcb55-zsp5v Total loading time: 0 Render date: 2026-11-11T14:02:31.259Z 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.

Information

Type
Research Article
Copyright
Copyright © Glasgow Mathematical Journal Trust 1996