Towards a generalisation of Noether's theorem to nonclassical Hopf-Galois structures
type: Item
instance of: scholarly article
title: Towards a generalisation of Noether's theorem to nonclassical Hopf-Galois structures
zbMATH Open document ID: 1250.11098
author: Paul J. Truman
published in: The New York Journal of Mathematics
publication date: 2012-05-10T00:00:00Z
full work available at URL: https://arxiv.org/abs/1001.1639
full work available at URL: 17-34.html
reviewed by: Cornelius Greither
Mathematics Subject Classification ID: 11R33
Mathematics Subject Classification ID: 14L30
zbMATH DE Number: 6032696
zbMATH Keywords: Noether's theorem
zbMATH Keywords: integral normal basis
zbMATH Keywords: Hopf orders
zbMATH Keywords: associated orders
zbMATH Keywords: descent
MaRDI profile type: Publication
arXiv ID: 1001.1639
review text: This paper offers an interesting contribution to Galois module theory in the setting of Hopf Galois theory. The governing question is the following: Given a finite extension \(L/K\) of local fields and a \(K\)-algebra \(A\) acting on \(L\), under which conditions will the ring \(O_L\) of integers be free over the so-called associated order \(\mathfrak A=\{\alpha\in A \mid \alpha O_L\subset O_L\}\)? The classical setting is a \(G\)-Galois extension \(L/K\), and \(A=K[G]\). If \(L/K\) is tame, then the associated order \(\mathfrak A\) is exactly \(O_K[G]\), and Noether's theorem says that \(O_K\) is free over it. Childs' monograph [\textit{L. N. Childs}, Taming wild extensions: Hopf algebras and local Galois module theory. Mathematical Surveys and Monographs. 80. Providence, RI: American Mathematical Society (AMS) (2000; Zbl 0944.11038)] proved much more generally that we have freeness if \(\mathfrak A\) is a Hopf order in \(A=K[G]\). Without any hypothesis one should not expect an affirmative answer, there are counterexamples.NEWLINENEWLINEThe present paper generalises this result to Hopf Galois extensions \(L/K\) in the sense of Greither-Pareigis (see loc. cit. or the original paper in [\textit{C. Greither} and \textit{B. Pareigis}, J. Algebra 106, 239--258 (1987; Zbl 0615.12026)]). The Hopf algebra \(H\) which plays the role of \(A\) now is a form of a group ring. The extension \(L/K\) need not even be Galois in the classical sense. There are two cases that are captured: either \(L/K\) is unramified, or the degree of \(L/K\) is coprime to the residue characteristic and \(H\) is commutative. In both cases the author shows that the associated order is Hopf. Basically this is descent theory. In the latter case the associated order turns out to be the \textit{maximal} order. In the former case, the situation is just the opposite: if \(E/K\) is a Galois extension splitting \(H\) (so \(E\otimes_K H\) is a group ring \(E[N]\)), then \(\mathfrak A\) is gotten by taking the…
description: scientific article; zbMATH DE number 6032696