×

Corrigendum to: “Real abelian fields satisfying the Hilbert-Speiser condition for some small primes \(p\)”. (English) Zbl 1436.11136

Summary: We correct and change Proposition 1 and the proof of Proposition 2 of the previous paper [H. Ichimura, Proc. Japan Acad., Ser. A 92, No. 1, 19–22 (2016; Zbl 1411.11113)].

MSC:

11R33 Integral representations related to algebraic numbers; Galois module structure of rings of integers
11R18 Cyclotomic extensions

Citations:

Zbl 1411.11113
PDFBibTeX XMLCite
Full Text: DOI Euclid

References:

[1] ðp; FÞ. Now let us look at thoseKwithG6¼ ð2;2Þ,[ 1 ]J. Brinkhuis, Normal integral bases and complex
[2] ð2;2;2Þ. TheseKare parametrized with a set ofconjugation, J. Reine Angew. Math.375/376
[3] generators of the groupXKof the associated(1987), 157-166. · Zbl 0633.62089
[4] Dirichlet characters. In our caseK¼FðpffiffiffiffiffiffiffipÞ,XK[ 2 ]K.-Y. Chang and S.-H. Kwon, Class numberproblem for imaginary cyclic number fields, J. ðp1Þ=2
[5] containspwherepis a Dirichlet character ofNumber Theory73(1998), no. 2, 318-338. · Zbl 0920.11077
[6] conductorpand orderp1. For eachKin the table,[ 3 ]K.-Y. Chang and S.-H. Kwon, Class numbers of
[7] we checked thatpis ramified inKþfrom the dataimaginary abelian number fields, Proc. Amer. Math. Soc.128(2000), no. 9, 2517-2528. · Zbl 0983.11064
[8] onXK. Therefore, we obtain no desired pairðp; FÞ[ 4 ]C. Greither and H. Johnston, On totally real · Zbl 1247.11141
[9] from thoseK.Hilbert-Speiser fields of typeCp, Acta Arith. Therefore, we obtain 8 pairsðp; FÞsuch that138(2009), no. 4, 329-336. · Zbl 1247.11141
[10] F =Qis unramified atpandhN¼1, namely those[ 5 ]F. Ferri and C. Greither, Tame Galois module structure revisited, Ann. Mat. Pura Appl. · Zbl 1473.11208
[11] listed in (i)-(iv) above. Fortunately, these 8 pairs (2019), doi: 10.1007/s10231-019-00852-x.
[12] coincide with the pairs which we dealt with in [7].[ 6 ]A. Fro¨hlich and M. J. Taylor,Algebraic number · Zbl 0744.11001
[13] We have already shown in [7] thatpðHffiffiffipÞis satisfiedpffiffiffiffiffitheory, Cambridge Studies in Advanced Math
[14] whenp¼7(resp. 11) andF¼Qð5ÞorQð13Þematics, 27, Cambridge University Press, Cam
[15] (resp.Qðcos 2=7Þ), and thatðHpÞis not satisfiedbridge, 1993. [ 7 ]H. Ichimura, Real abelian fields satisfying the
[16] for the other 5 pairs. Thus the proof of Proposi-Hilbert-Speiser condition for some small primes
[17] tion 2 is corrected.p, Proc. Japan Acad. Ser. A Math. Sci.92 Remark 1.Letpbe as in Proposition 2, and(2016), no. 1, 19-22.
[18] letFbe a real abelian field satisfyingðHpÞ. Then,[ 8 ]S. Louboutin, CM-fields with cyclic ideal class groups of 2-power orders, J. Number Theory67 · Zbl 0881.11078
[19] Proposition 1 assertshN¼1, while Proposition 3(1997), no. 1, 1-10.
[20] asserts thathN¼1. So what we have actually[ 9 ]L. R. McCulloh, Galois module structure of
[21] determined in [7] using Proposition 1 is all realelementary abelian extensions, J. Algebra82
[22] abelian fieldsF6¼QsatisfyingðHpÞandhN¼1.(1983), no. 1, 102-134. [ 10 ]Y.-H. Park and S.-H. Kwon, Determination of all
[23] is also given in F. Ferri and C. Greither [5, §6]. Itclass number11, Acta Arith.82(1997), no. 1,
[24] is slightly different from ours. The subject of [5] is27-43.
[25] a ‘‘Cp-Leopoldt field’’, a number field satisfying a[ 11 ]Y.-H. Park and S.-H. Kwon, Determination of all
[26] condition somewhat weaker thanðHpÞ. They ob-non-quadratic imaginary cyclic number fields of 2-power degree with relative class number20,
[27] tained several conditions for a fieldFto beActa Arith.83(1998), no. 3, 211-223.
[28] Cp-Leopoldt using the main theorem of [9]. One of[ 12 ]W. Sinnott, On the Stickelberger ideal and the
[29] them asserts that ifhðQðpffiffiffiffiffiffiffipÞÞ ¼1, then a realcircular units of an abelian field, Invent. Math. 62(1980/81), no. 2, 181-234. · Zbl 0465.12001
[30] abelian fieldFunramified atpisCp-Leopoldt only
[31] whenhN¼1withN¼FðpffiffiffiffiffiffiffipÞ. Again, they show[ 13 ]L. C. Washington,fields, 2nd ed., Graduate Texts in Mathematics,Introduction to cyclotomic
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.