On realizable Galois module classes and Steinitz classes of nonabelian extensions Original Research Article

Let k be a number field and Ok its ring of integers. Let Γ be a finite group, N/k a Galois extension with Galois group isomorphic to Γ, and ON the ring of integers of N. Let image be a maximal Ok-order in the semisimple algebra k[Γ] containing Ok[Γ], and image its locally free class group. When N/k is tame (i.e., at most tamely ramified), extension of scalars allows us to assign to ON the class of image, denoted image, in image. We define the set image of realizable classes to be the set of classes image such that there exists a Galois extension N/k which is tame, with Galois group isomorphic to Γ, and for which image. Let p be an odd prime number and let ξp be a primitive pth root of unity. In the present article, we prove, by means of a fairly explicit description, that image is a subgroup of image when ξpset membership, variantk and Γ=Vtimes sign, right closedρC, where V is an image-vector space of dimension rgreater-or-equal, slanted1, C a cyclic group of order pr−1, and ρ a faithful representation of C in V; an example is the symmetric group S3. In the proof, we use some properties of a cyclic code and solve an embedding problem connected with Steinitz classes. In addition, we determine the set of Steinitz classes of tame Galois extensions of k, with the above group as Galois group, and prove that it is a subgroup of the class group of k.