The search session has expired. Please query the service again.

The search session has expired. Please query the service again.

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 - 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 2 the étale wild kernels W K 2 i - 2 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 [ 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 0 ( m o d 8 ) , or n 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 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 𝒪 N Γ Γ 𝒪 N ' 𝒪 N ' Γ .

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 ρ 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 · 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...