Advanced Search

Dans cet article, nous étudions la structure galoisienne des anneaux d’entiers des corps de fonctions cyclotomiques dans le cas modéré. Nous montrons qu’en général, si le corps de base est de genre plus grand que $1$, ces anneaux ne sont pas libres sur les anneaux de groupes considérés.

Let $p\ge 3$ be a prime. Let $n\in \mathbb{N}$ such that $n\ge 1$, let ${\chi }_1,...,{\chi }_n$ be characters of conductor $d$ not divided by $p$ and let $\omega$ be the Teichmüller character. For all $i$ between $1$ and $n$, for all $j$ between $0$ and $(p-3)/2$, set $${\theta }_{i,j}=\left\{\begin{array}{cc}{\chi }_i{\omega }^{2j+1}\hfill & \text{if}{\chi }_i\mathrm{is}\mathrm{odd};\hfill \\ {\chi }_i{\omega }^{2j}\hfill & \text{if}{\chi }_i\mathrm{is}\mathrm{even}.\hfill \end{array}\right.$$ Let $K={\mathbb{Q}}_p({\chi }_1,...,{\chi }_n)$ and let $\pi$ be a prime of the valuation ring ${𝒪}_K$ of $K$. For all $i,j$ let $f(T,{\theta }_{i,j})$ be the Iwasawa series associated to ${\theta }_{i,j}$ and $\overline{f(T,{\theta }_{i,j})}$ its reduction modulo $\left(\pi \right)$. Finally let $\overline{{𝔽}_p}$ be an algebraic closure of ${𝔽}_p$. Our main result is that if the characters ${\chi }_i$ are all distinct modulo $\left(\pi \right)$, then $1$ and the series $\overline{f(T,{\theta }_{i,j})}$ are linearly...