##
**New relative extension examples without normal basis.
(Nouveaux exemples d’extension relatives sans base normale.)**
*(French)*
Zbl 1012.11099

The setup is the following: All fields are supposed abelian over \(\mathbb{Q}\); \(N\) is the disjoint compositum of two other fields \(K\) and \(k\), \(K\) is tame over \(\mathbb{Q}\) with Galois group \(H\) of odd prime order \(l\), and the question is whether \(N/k\) has NIB or at least WNIB, where NIB means “normal integral basis”, i.e. \(O_N\) is free as an \(O_k[H]\)-module; and WNIB (weak NIB) means that \({\mathcal M}O_N\) is free over the maximal order \({\mathcal M}\) of \(O_k[H]\). In the case \(N={\mathbb{Q}}(\zeta_p)\) it was shown by J. Brinkhuis [J. Reine Angw. Math. 375/376, 157-166 (1987; Zbl 0609.12009)] and by J. Cougnard [J. Number Theory 23, 336-346 (1986; Zbl 0588.12003)] that \(N/k\) does not have NIB. (Note that the above assumptions imply that \(l\) divides \(p-1\) exactly once.) In the present paper, more choices are allowed for \(k\), with \(K\) still the degree \(l\) field of prime conductor \(p\), and it is proved that most of the time \(N/k\) does not even have WNIB. The exact conditions on \(k\) are: \(k\) is cyclic of degree \(n\) over the rationals; \(p\) is totally ramified in \(k\), and the non-\(p\)-part \(n_0\) of \(n\) is not divisible by \(l\). The exact result is: If then \(N/k\) has WNIB, then \(k\) is \(\mathbb{Q}(\sqrt{p})\) or \({\mathbb{Q}}(\sqrt{-p})\); and even in this case, there is no NIB. The reviewer [ibid. 35, 180-193 (1990; Zbl 0718.11053)] showed some 10 years ago that one has WNIB rather often in this special case, but the question whether this is always so remains undecided.

The author puts the established methods (resolvents in particular) to very good use. One main point is the fact that in the minus part the classes of totally ramified prime ideals tend to generate a part of the class group that is as large as possible. There is a very cleverly contrived example on p. 499 where one can explicitly “see” the nonexistence of a WNIB.

A few small comments: The initial of Brinkhuis in the abstract should be {J}. On p. 495, the disjointness of \(N\) and \(\mathbb{Q}(\zeta_l)\) is already a consequence of the fact that \(p\) ramifies totally in \(N\) and not at all in \(\mathbb{Q}(\zeta_l)\). Perhaps the condition (H) can thus be avoided? Possibly there is an assumption in Corollary 4 which is not made explicit, i.e. that \({\mathcal P}O_{k^{(l)}}\) is principal. (If the latter condition does not hold, we are done anyway by Corollary 3.) The italic Q’s on p. 501 seem to denote the rationals, which are also denoted by the usual \(\mathbb{Q}\) symbol in the paper.

This paper considerably strengthens previous results. The assumption that \(N/k\) has prime degree might seem restrictive at first glance, but it isn’t really, since the nonexistence results automatically carry over to any larger tame extension \(N'/k\). The condition that the degrees of \(K\) and \(k\) are relatively prime remains a certain restriction.

The author puts the established methods (resolvents in particular) to very good use. One main point is the fact that in the minus part the classes of totally ramified prime ideals tend to generate a part of the class group that is as large as possible. There is a very cleverly contrived example on p. 499 where one can explicitly “see” the nonexistence of a WNIB.

A few small comments: The initial of Brinkhuis in the abstract should be {J}. On p. 495, the disjointness of \(N\) and \(\mathbb{Q}(\zeta_l)\) is already a consequence of the fact that \(p\) ramifies totally in \(N\) and not at all in \(\mathbb{Q}(\zeta_l)\). Perhaps the condition (H) can thus be avoided? Possibly there is an assumption in Corollary 4 which is not made explicit, i.e. that \({\mathcal P}O_{k^{(l)}}\) is principal. (If the latter condition does not hold, we are done anyway by Corollary 3.) The italic Q’s on p. 501 seem to denote the rationals, which are also denoted by the usual \(\mathbb{Q}\) symbol in the paper.

This paper considerably strengthens previous results. The assumption that \(N/k\) has prime degree might seem restrictive at first glance, but it isn’t really, since the nonexistence results automatically carry over to any larger tame extension \(N'/k\). The condition that the degrees of \(K\) and \(k\) are relatively prime remains a certain restriction.

Reviewer: Cornelius Greither (Neubiberg)

### MSC:

11R33 | Integral representations related to algebraic numbers; Galois module structure of rings of integers |

PDFBibTeX
XMLCite

\textit{J. Cougnard}, Ann. Fac. Sci. Toulouse, Math. (6) 10, No. 3, 493--505 (2001; Zbl 1012.11099)

### References:

[1] | Brinkhuis, J.). - Galois modules and embedding problems, J. reine angewandte Mathematik, 346 (1984), p. 141-165. · Zbl 0525.12008 |

[2] | Brinkhuis, J.). - normal integral bases and complex conjugation, J. reine angewandte Mathematik, 375-376 (1987), p. 157-166. · Zbl 0609.12009 |

[3] | Cougnard, J.). - Bases normales relatives dans certaines extensions cyclotomiques, J. Number Theory, 23 no 3 (1986), p. 336-346. · Zbl 0588.12003 |

[4] | Fröhlich, A.). - Arithmetic and Galois module structure for tame extensions, J. reine angewandte Mathematik, 286-287 (1976), p. 380-480. · Zbl 0385.12004 |

[5] | Gras, G.). - Nombre de φ classes invariantes. Application aux classes des corps abéliens, Bull. Soc. Math. France, 106 (1978), p. 337-364. · Zbl 0392.12005 |

[6] | Greither, C.). - Relative Integral Normal Bases in Q(ζp), J. Number Theory, 35 (1990), p. 180-193. · Zbl 0718.11053 |

[7] | Lang, S.). - Cyclotomic fields, Springer verlag G.T.M., 59 (1978). · Zbl 0395.12005 |

[8] | Milnor. - Introduction to algebraic K-theory, Annals of Math. Studies, 72 (1971). · Zbl 0237.18005 |

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.