Nontrivial Galois module structure of cyclotomic fields
نویسندگان
چکیده
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.
منابع مشابه
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