Idempotents in the endomorphism ring of an ideal in a \(p\)-extension of a complete, discrete valuation field with residue field of characteristic \(p\) as a Galois module (Q1854793)

This note considers the Galois module structure of fractional ideals \(I\) in \(K\) where \(K/k\) is a \(G\)-Galois extension of \(p\)-adic fields. It complements the results in a previous paper of \textit{S. V. Vostokov, I. B. Zhukov} and the author [St. Petersbg. Math. 9, 675--693 (1998); translation from Algebra Anal. 9, No. 4, 28--46 (1997; Zbl 0902.11050)], in that it allows the group \(G\) to be nonabelian. More precisely, it shows that the \(O_k[G]\)-endomorphism \(B\) of \(I\) is indecomposable as a ring (which is weaker than saying that \(B\) is indecomposable as a \(B\)-module). In order to appreciate the arguments the reader should be familiar with this kind of theory and the work cited above. Reviewer's remarks: The phrase ``of a greater field'' in the introduction probably means ``of the top field (\(K\))''. The result of [1] quoted to prove Lemma 2.1 should be Lemma 3.1 or Prop. 2.2. The reviewer was a little puzzled by the statement of the main result ``Theorem 1.2'' for two reasons. Firstly, the phrase ``totally widely ramified'' is presumably a misprint for ``totally wildly ramified''. Secondly, the condition that \(K/k\) be nonabelian is only mentioned in the introduction and in Lemma 1.1, but looking at case 2 of the proof of Thm.~1.2, or by considering examples, one is led to the conclusion that it should be present in Thm.~1.2 just as well.