当前位置:
X-MOL 学术
›
Int. J. Number Theory
›
论文详情
Our official English website, www.x-mol.net, welcomes your feedback! (Note: you will need to create a separate account there.)
Sur la structure galoisienne relative de puissances de la différente et idéaux de stickelberger
International Journal of Number Theory ( IF 0.7 ) Pub Date : 2021-03-09 , DOI: 10.1142/s1793042121500536 Bouchaïb Sodaïgui 1
International Journal of Number Theory ( IF 0.7 ) Pub Date : 2021-03-09 , DOI: 10.1142/s1793042121500536 Bouchaïb Sodaïgui 1
Affiliation
Let k be a number field, O k its ring of integers, Cl ( k ) its classgroup and h the class number of k . Let Γ be a finite group. Let ℳ be a maximal O k -order in the semi-simple algebra k [ Γ ] containing O k [ Γ ] , and Cl ( ℳ ) its locally free classgroup. Let A = ℤ ∪ { 1 m , m ∈ ℤ ∖ { 0 , 1 , − 1 } } and n ∈ A . We define the set ℛ ( 𝒟 n , ℳ ) of Galois module classes realizable by the n th power of the different to be the set of classes c ∈ Cl ( ℳ ) such that there exists a Galois extension N / k with Galois group isomorphic to Γ (Γ -extension), which is tamely ramified, and for which the class of ℳ ⊗ O k [ Γ ] 𝒟 N / k n is equal to c , where we clarify that if n = 1 m , where m ∈ ℤ ∖ { 0 , 1 , − 1 } , 𝒟 N / k n is the | m | th root of the inverse different 𝒟 N / k − 1 (respectively, the different 𝒟 N / k ) if m < 0 (respectively, m > 0 ) when it exists. Let l be a prime number and ξ be a primitive l th root of unity. In this article, we suppose that Γ is cyclic of order l and k / ℚ and ℚ ( ξ ) / ℚ are linearly disjoint. We prove, sometimes under an assumption on h , that ℛ ( 𝒟 n , ℳ ) is a subgroup of Cl ( ℳ ) , by an explicit description using a Stickelberger ideal. In addition, for each n ∈ A , we determine the set of the Steinitz classes of 𝒟 N / k n , N / k runs through the tame Γ -extensions of k , and prove that it is a subgroup of Cl ( k ) , also sometimes under an hypothesis on h .
中文翻译:
Sur la structure galoisienne relative de puissances de la différente et idéaux destickelberger
让ķ 是一个数字字段,○ ķ 它的整数环,氯 ( ķ ) 它的班级组和H 班级人数ķ . 让Γ 是一个有限群。让ℳ 成为最大的○ ķ - 半简单代数中的阶ķ [ Γ ] 包含○ ķ [ Γ ] , 和氯 ( ℳ ) 它的本地免费班级组。让一种 = ℤ ∪ { 1 米 , 米 ∈ ℤ ∖ { 0 , 1 , - 1 } } 和n ∈ 一种 . 我们定义集合ℛ ( 𝒟 n , ℳ ) 可实现的 Galois 模块类n 不同的幂是类的集合C ∈ 氯 ( ℳ ) 使得存在一个伽罗瓦扩展ñ / ķ 与伽罗瓦群同构Γ (Γ -extension),它是驯服的分支,并且对于它的类ℳ ⊗ ○ ķ [ Γ ] 𝒟 ñ / ķ n 等于C , 我们澄清如果n = 1 米 , 在哪里米 ∈ ℤ ∖ { 0 , 1 , - 1 } ,𝒟 ñ / ķ n 是个| 米 | 逆不同的根𝒟 ñ / ķ - 1 (分别地,不同的𝒟 ñ / ķ ) 如果米 < 0 (分别,米 > 0 ) 当它存在时。让l 是一个素数并且ξ 做个原始人l 统一的根源。在本文中,我们假设Γ 是有序循环的l 和ķ / ℚ 和ℚ ( ξ ) / ℚ 是线性不相交的。我们证明,有时在一个假设下H , 那ℛ ( 𝒟 n , ℳ ) 是一个子群氯 ( ℳ ) ,通过使用 Stickelberger 理想的明确描述。此外,对于每个n ∈ 一种 ,我们确定了 Steinitz 类的集合𝒟 ñ / ķ n ,ñ / ķ 贯穿驯服Γ - 扩展ķ ,并证明它是氯 ( ķ ) , 有时也是在一个假设下H .
更新日期:2021-03-09
中文翻译:
Sur la structure galoisienne relative de puissances de la différente et idéaux destickelberger
让