Nous étudions la structure de certains espaces homogènes principaux associés aux éléments du groupe de Selmer d’une courbe elliptique à multiplication complexe. Nous utilisons des résultats de Rubin pour construire, à partir des unités elliptiques, des espaces homogènes principaux de structure galoisienne non triviale. Cette construction fournit un lien nouveau entre un problème de structure galoisienne et certaines fonctions $L-p$-adiques.

Let $L/K$ be an abelian extension of $p$-adic fields, and let $𝒪$ denote the valuation ring of $K$. We study ideals of the valuation ring of $L$ as integral representations of the Galois group $\mathrm{Gal}(L/K)$. Assuming $K$ is absolutely unramified we use techniques from the theory of factorisability to investigate which ideals are isomorphic to an $𝒪$-order in the group algebra $K\left[\mathrm{Gal}\right(l/K\left)\right]$. We obtain several general and also explicit new results.

The main results of this paper may be loosely stated as follows.Theorem.— Let $N$ and $N^{\text{'}}$ be sums of Galois algebras with group $\Gamma$ over algebraic number fields. Suppose that $N$ and $N^{\text{'}}$ have the same dimension $\mathbb{Q}$ and that they are identical at their wildly ramified primes. Then (writing ${𝒪}_N$ for the maximal order in $N$)$${𝒪}_N\oplus {𝒪}_N\oplus \mathbb{Z}\Gamma {\cong }_{\mathbb{Z}\Gamma }\oplus {𝒪}_N^{\text{'}}\oplus {𝒪}_{N^{\text{'}}}\oplus \mathbb{Z}\Gamma .$$In many cases ${𝒪}_N{\cong }_{\mathbb{Z}\Gamma }{𝒪}_{N^{\text{'}}}.$The role played by the root numbers of $N$ and $N^{\text{'}}$ at the symplectic characters of $\Gamma$ in determining the relationship between the $\mathbb{Z}\Gamma$-modules ${𝒪}_N$ and ${𝒪}_{N^{\text{'}}}$ is described. The theorem includes...

Let $p$ be a prime number. We say that a number field $F$ satisfies the condition $\left(H_{p^n}^{\prime }\right)$ when any abelian extension $N/F$ of exponent dividing $p^n$ has a normal integral basis with respect to the ring of $p$-integers. We also say that $F$ satisfies $\left(H_{p^{\infty }}^{\prime }\right)$ when it satisfies $\left(H_{p^n}^{\prime }\right)$ for all $n\ge 1$. It is known that the rationals $\mathbb{Q}$ satisfy $\left(H_{p^{\infty }}^{\prime }\right)$ for all prime numbers $p$. In this paper, we give a simple condition for a number field $F$ to satisfy $\left(H_{p^n}^{\prime }\right)$ in terms of the ideal class group of $K=F\left({\zeta }_{p^n}\right)$ and a “Stickelberger ideal” associated to the Galois group...

In [14] we studied the nonclassical Hopf-Galois module structure of rings of algebraic integers in some tamely ramified extensions of local and global fields, and proved a partial generalisation of Noether’s theorem to this setting. In this paper we consider tame Galois extensions of number fields $L/K$ with group $G\cong C_2\times C_2$ and study in detail the local and global structure of the ring of integers ${𝔒}_L$ as a module over its associated order ${𝔄}_H$ in each of the Hopf algebras $H$ giving a nonclassical Hopf-Galois structure...