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): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
Set OpenAlex properties. |
||
(3 intermediate revisions by 2 users not shown) | |||
Property / author | |||
Property / author: Mikhail Vladimirovich Bondarko / rank | |||
Property / author | |||
Property / author: Mikhail Vladimirovich Bondarko / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1023/a:1020374315167 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W23091729 / rank | |||
Normal rank |
Latest revision as of 10:02, 30 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | 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 |
scientific article |
Statements
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 (English)
0 references
21 July 2003
0 references
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.
0 references