Galois module structure of the units modulo $$p^m$$ of cyclic extensions of degree $$p^n$$

@article{Min2022GaloisMS,
  title={Galois module structure of the units modulo \$\$p^m\$\$ of cyclic extensions of degree \$\$p^n\$\$},
  author={J{\'a}n Min{\'a}{\vc} and Andrew Schultz and John Swallow},
  journal={manuscripta mathematica},
  year={2022}
}
Let p be prime, and n,m ∈ N. When K/F is a cyclic extension of degree p, we determine the Z/pZ[Gal(K/F )]-module structure of K/K m . With at most one exception, each indecomposable summand is cyclic and free over some quotient group of Gal(K/F ). For fixed values of m and n, there are only finitely many possible isomorphism classes for the non-free indecomposable summand. These Galois modules act as parameterizing spaces for solutions to certain inverse Galois problems, and therefore this… 
4 Citations

Arithmetic properties encoded in the Galois module structure of $K^\times/K^{\times p^m}$

. The power classes of a field are well-known for their ability to parameterize elementary p -abelian Galois extensions. These classical objects have recently been reexamined through the lens of their

Quaternion algebras and square power classes over biquadratic extensions

Recently the Galois module structure of square power classes of a field K has been computed under the action of Gal(K/F ) in the case where Gal(K/F ) is the Klein 4group. Despite the fact that the

References

SHOWING 1-10 OF 114 REFERENCES

Galois module structure of Milnor K-theory in characteristic p

Let E be a cyclic extension of degree p^n of a field F of characteristic p. Using arithmetic invariants of E/F we determine k_mE, the Milnor K-groups K_mE modulo p, as Fp[Gal(E/F)]-modules for all m

Galois module structure of square power classes for biquadratic extensions

This paper marks the first time that the Galois module structure of power classes of a field has been fully determined when the modular representation theory allows for an infinite number of

Galois module structure of Galois cohomology and partial Euler-Poincaré characteristics

Abstract Let F be a field containing a primitive pth root of unity, and let U be an open normal subgroup of index p of the absolute Galois group GF of F. Using the Bloch-Kato Conjecture we determine

Galois module structure of Galois cohomology for embeddable cyclic extensions of degree pn

Let p > 2 be prime and let n, m ∈ ℕ be given. For cyclic extensions E/F of degree pn that contain a primitive pth root of unity, we show that the associated 𝔽p[Gal(E/F)]‐modules Hm(GE, μp) have a

Detecting pro-p-groups that are not absolute Galois groups

Abstract Let p be a prime. It is a fundamental problem to classify the absolute Galois groups GF of fields F containing a primitive pth root of unity ξ p . In this paper we present several

Galois module structure of Milnor K-theory mod p s in characteristic p

Let E be a cyclic extension of pth-power degree of a field F of characteristic p. For all m, s ∈ N, we determine KmE/p s KmE as a( Z/p s Z)(Gal(E/F))-module. We also provide examples of extensions

The Normal Closures of Certain Kummer Extensions

Abstract Let F be a field containing a primitive p-th root of unity, let K / F be a cyclic extension with group 〈σ〉 of order pn , and choose a in K. This paper shows how the Galois group of the

Quotients of absolute Galois groups which determine the entire Galois cohomology

For a prime power q = pd and a field F containing a root of unity of order q we show that the Galois cohomology ring $${H^*(G_F,\mathbb{Z}/q)}$$ is determined by a quotient $${G_F^{[3]}}$$ of the

Relations in the maximal pro-𝑝 quotients of absolute Galois groups

We observe that some fundamental constructions in Galois theory can be used to obtain interesting restrictions on the structure of Galois groups of maximal p p -extensions of fields

p-GROUPS HAVE UNBOUNDED REALIZATION MULTIPLICITY

In this paper we interpret the solutions to a particular Galois embedding problem over an extension K/F satisfying Gal(K/F) ≃ Z/p n Z in terms of certain Galois submodules within the parameterizing
...