Nontrivial Galois module structure of cyclotomic fields

نویسندگان

  • Marc Conrad
  • Daniel R. Replogle
چکیده

We say a tame Galois field extension L/K with Galois group G has trivial Galois module structure if the rings of integers have the property that OL is a free OK [G]-module. The work of Greither, Replogle, Rubin, and Srivastav shows that for each algebraic number field other than the rational numbers there will exist infinitely many primes l so that for each there is a tame Galois field extension of degree l so that L/K has nontrivial Galois module structure. However, the proof does not directly yield specific primes l for a given algebraic number field K. For K any cyclotomic field we find an explicit l so that there is a tame degree l extension L/K with nontrivial Galois module structure.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Nontrivial Galois Module Structure of . . .

We say a tame Galois field extension L/K with Galois group G has trivial Galois module structure if the rings of integers have the property that OL is a free OK [G]-module. The work of Greither, Replogle, Rubin, and Srivastav shows that for each algebraic number field other than the rational numbers there will exist infinitely many primes l so that for each there is a tame Galois field extensio...

متن کامل

Projective extensions of fields

A field K admits proper projective extensions, i.e. Galois extensions where the Galois group is a nontrivial projective group, unless K is separably closed or K is a pythagorean formally real field without cyclic extensions of odd degree. As a consequence, it turns out that almost all absolute Galois groups decompose as proper semidirect products. We show that each local field has a unique maxi...

متن کامل

Kernel Groups and Nontrivial Galois Module Structure of Imaginary Quadratic Fields

Let K be an algebraic number field with ring of integers OK , p > 2, be a rational prime and G the cyclic group of order p. Let Λ denote the order OK [G]. Let Cl(Λ) denote the locally free class group of Λ and D(Λ) the kernel group, the subgroup of Cl(Λ) consisting of classes that become trivial upon extension of scalars to the maximal order. If p is unramified in K, then D(Λ) = T (Λ), where T ...

متن کامل

5 Some additive galois cohomology rings

Let p ≥ 3 be a prime. We consider the cyclotomic extension Z (p) [ζ p 2 ] | Z (p) , with galois group G = (Z/p 2) *. Since this extension is wildly ramified, the Z (p) G-module Z (p) [ζ p 2 ] is not projective. We calculate its cohomology ring H * (G, Z (p) [ζ p 2 ]; Z (p)), carrying the cup product induced by the ring structure of Z (p) [ζ p 2 ]. Formulated in a somewhat greater generality, ou...

متن کامل

Some cyclotomic additive Galois cohomology rings

Let p ≥ 3 be a prime. We consider the cyclotomic extension Z(p)[ζp2] of Z(p), with Galois group G := (Z/p2)∗. Since this extension is wildly ramified, Z(p)[ζp2] is not projective as a module over the group ring Z(p)G (Speiser). Extending this module structure, we can regard Z(p)[ζp2 ] as a module over the twisted group ring Z(p)[ζp2] ≀G; as such, it remains faithful and non projective. We calcu...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:
  • Math. Comput.

دوره 72  شماره 

صفحات  -

تاریخ انتشار 2003