Relative Galois module structure of integers of abelian fields

Nigel P. Byott; Günter Lettl

Displaying similar documents to “Relative Galois module structure of integers of abelian fields”

Some remarks on Hilbert-Speiser and Leopoldt fields of given type

James E. Carter (2007)

Colloquium Mathematicae

Similarity:

Let p be a rational prime, G a group of order p, and K a number field containing a primitive pth root of unity. We show that every tamely ramified Galois extension of K with Galois group isomorphic to G has a normal integral basis if and only if for every Galois extension L/K with Galois group isomorphic to G, the ring of integers $O_{L}$ in L is free as a module over the associated order $_{L / K}$ . We also give examples, some of which show that this result can still hold without the assumption that...

Galois structure of ideals in wildly ramified abelian $p$ -extensions of a $p$ -adic field, and some applications

Nigel P. Byott (1997)

Journal de théorie des nombres de Bordeaux

Similarity:

Let $K$ be a finite extension of $ℚ_{p}$ with ramification index $e$ , and let $L / K$ be a finite abelian $p$ -extension with Galois group $Γ$ and ramification index $p^{n}$ . We give a criterion in terms of the ramification numbers $t_{i}$ for a fractional ideal $𝔓^{h}$ of the valuation ring $S$ of $L$ not to be free over its associated order $𝔄 (K Γ; 𝔓^{h})$ . In particular, if $t_{n} - [t_{n} / p] < p^{n - 1} e$ then the inverse different can be free over its associated order only when $t_{i} \equiv - 1$ (mod $p^{n}$ ) for all $i$ . We give three consequences of this. Firstly, if $𝔄 (K Γ; S)$ is a Hopf order and...

Galois co-descent for étale wild kernels and capitulation

Manfred Kolster, Abbas Movahhedi (2000)

Annales de l'institut Fourier

Similarity:

Let $F$ be a number field with ring of integers $o_{F}$ . For a fixed prime number $p$ and $i \geq 2$ the étale wild kernels $W K_{2 i - 2}^{\overset{´}{e} t} (F)$ are defined as kernels of certain localization maps on the $i$ -fold twist of the $p$ -adic étale cohomology groups of $spec o_{F} [\frac{1}{p}]$ . These groups are finite and coincide for $i = 2$ with the $p$ -part of the classical wild kernel $W K_{2} (F)$ . They play a role similar to the $p$ -part of the $p$ -class group of $F$ . For class groups, Galois co-descent in a cyclic extension $L / F$ is described by the ambiguous class formula given...

Galois module structure of rings of integers

Martin J. Taylor (1980)

Annales de l'institut Fourier

Similarity:

Let $E / F$ be a Galois extension of number fields with $Γ =$ Gal $(E / F)$ and with property that the divisors of $(E : F)$ are non-ramified in $E / Q$ . We denote the ring of integers of $E$ by $𝒪_{E}$ and we study $𝒪_{E}$ as a $Z Γ$ -module. In particular we show that the fourth power of the (locally free) class of $𝒪_{E}$ is the trivial class. To obtain this result we use Fröhlich’s description of class groups of modules and his representative for the class of $ℰ_{E}$ , together with new determinantal congruences for cyclic group rings and corresponding...

Polynomials over $Q$ solving an embedding problem

Nuria Vila (1985)

Annales de l'institut Fourier

Similarity:

The fields defined by the polynomials constructed in E. Nart and the author in J. Number Theory 16, (1983), 6–13, Th. 2.1, with absolute Galois group the alternating group $A_{n}$ , can be embedded in any central extension of $A_{n}$ if and only if $n \equiv 0 (m o d 8)$ , or $n \equiv 2 (m o d 8)$ and $n$ is a sum of two squares. Consequently, for theses values of $n$ , every central extension of $A_{n}$ occurs as a Galois group over $Q$ .

Quaternion extensions with restricted ramification

Peter Schmid (2014)

Acta Arithmetica

Similarity:

In any normal number field having Q₈, the quaternion group of order 8, as Galois group over the rationals, at least two finite primes must ramify. The classical example by Dedekind of such a field is extraordinary in that it is totally real and only the primes 2 and 3 are ramified. In this note we describe in detail all Q₈-fields over the rationals where only two (finite) primes are ramified. We also show that, for any integer n>3 and any prime $p \equiv 1 (m o d 2^{n - 1})$ , there exist unique real and complex...

Galois module structure of the rings of integers in wildly ramified extensions

Stephen M. J. Wilson (1989)

Annales de l'institut Fourier

Similarity:

The main results of this paper may be loosely stated as follows. Theorem.— Let $N$ and $N^{'}$ be sums of Galois algebras with group $Γ$ over algebraic number fields. Suppose that $N$ and $N^{'}$ have the same dimension $ℚ$ and that they are identical at their wildly ramified primes. Then (writing $𝒪_{N}$ for the maximal order in $N$ ) $𝒪_{N} \oplus 𝒪_{N} \oplus ℤ Γ ≅_{ℤ Γ} \oplus 𝒪_{N}^{'} \oplus 𝒪_{N^{'}} \oplus ℤ Γ .$

On a notion of “Galois closure” for extensions of rings

Manjul Bhargava, Matthew Satriano (2014)

Journal of the European Mathematical Society

Similarity:

We introduce a notion of “Galois closure” for extensions of rings. We show that the notion agrees with the usual notion of Galois closure in the case of an $S_{n}$ degree $n$ extension of fields. Moreover, we prove a number of properties of this construction; for example, we show that it is functorial and respects base change. We also investigate the behavior of this Galois closure construction for various natural classes of ring extensions.

A note on free pro- $p$ -extensions of algebraic number fields

Masakazu Yamagishi (1993)

Journal de théorie des nombres de Bordeaux

Similarity:

For an algebraic number field $k$ and a prime $p$ , define the number $ρ$ to be the maximal number $d$ such that there exists a Galois extension of $k$ whose Galois group is a free pro- $p$ -group of rank $d$ . The Leopoldt conjecture implies $1 \leq ρ \leq r_{2} + 1$ , ( $r_{2}$ denotes the number of complex places of $k$ ). Some examples of $k$ and $p$ with $ρ = r_{2} + 1$ have been known so far. In this note, the invariant $ρ$ is studied, and among other things some examples with $ρ < r_{2} + 1$ are given.

On Galois structure of the integers in cyclic extensions of local number fields

G. Griffith Elder (2002)

Journal de théorie des nombres de Bordeaux

Similarity:

Let $p$ be a rational prime, $K$ be a finite extension of the field of $p$ -adic numbers, and let $L / K$ be a totally ramified cyclic extension of degree $p^{n}$ . Restrict the first ramification number of $L / K$ to about half of its possible values, $b_{1} > 1 / 2 \cdot p e_{0} / (p - 1)$ where $e_{0}$ denotes the absolute ramification index of $K$ . Under this loose condition, we explicitly determine the $ℤ_{p} [G]$ -module structure of the ring of integers of $L$ , where $ℤ_{p}$ denotes the $p$ -adic integers and $G$ denotes the Galois group Gal $(L / K)$ . In the process of determining...