Let k be a number field and O k its ring of integers. Let G be a finite group, N=k a Galois extension with Galois group isomorphic to G, and O N the ring of integers of N. Let M be a maximal O k -order in the semi-simple algebra k½G containing O k ½G, and ClðMÞ its locally free classgroup. When N=k is tame (i.e., at most tamely ramified), extension of scalars allows us to assign toin ClðMÞ. We define the set RðMÞ of realizable classes to be the set of classes c A ClðMÞ such that there exists a Galois extension N=k which is tame, with Galois group isomorphic to G, and for which ½M n O k ½G O N ¼ c. In the present article, we prove, by means of a fairly explicit description, that RðMÞ is a subgroup of ClðMÞ when G ¼ V z r C, where V is an F 2 -vector space of dimension r f 2, C a cyclic group of order 2 r À 1, and r a faithful representation of C in V ; an example is the alternating group A 4 . In the proof, we use some properties of the binary Hamming 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 classgroup of k.
Let k be a number field and O k its ring of integers. Let Γ be a finite group, N/k a Galois extension with Galois group isomorphic to Γ , and O N the ring of integers of N . Let M be a maximal O k -order in the semisimple algebra k[Γ ] containing O k [Γ ], and Cl(M) its locally free class group. When N/k is tame (i.e., at most tamely ramified), extension of scalars allows us to assign to O N the class of. We define the set R(M) of realizable classes to be the set of classes c ∈ Cl(M) such that there exists a Galois extension N/k which is tame, with Galois group isomorphic to Γ , and for which [M ⊗ O k [Γ ] O N ] = c. 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 R(M) is a subgroup of Cl(M) when ξ p ∈ k and Γ = V ρ C, where V is an F p -vector space of dimension r 1, C a cyclic group of order p r − 1, and ρ a faithful representation of C in V ; an example is the symmetric group S 3 . 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.
Let k be a number field, O k its ring of integers, 1 a nonabelian metacyclic group of order lq, where l, q are prime numbers. Assume that k and the lq th cyclotomic field of Q are linearly disjoint over Q. Let M be a maximal O k -order in k[1] containing O k [1], Cl(M) its class group. We determine the set of elements of Cl(M) which are realizable by some tamely ramified extensions with Galois groups isomorphic to 1 using some Stickelberger elements, and we prove that it is a subgroup of Cl(M).
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.
customersupport@researchsolutions.com
10624 S. Eastern Ave., Ste. A-614
Henderson, NV 89052, USA
This site is protected by reCAPTCHA and the Google Privacy Policy and Terms of Service apply.
Copyright © 2024 scite LLC. All rights reserved.
Made with 💙 for researchers
Part of the Research Solutions Family.