A note on \(\ell\)-parts of ray class groups
type: Item
instance of: scholarly article
title: A note on \(\ell\)-parts of ray class groups
zbMATH Open document ID: 0612.12006
author: Teruo Takeuchi
published in: Journal of the Mathematical Society of Japan
publication date: 1987-01-01T00:00:00Z
review text: Let \(\ell\) be an odd prime number and let k be an algebraic number field of finite degree. For an integer \(i>0\), let \(\zeta _ i\) denote a primitive \(\ell ^ i\)-th root of unity and put \(k_ i=k(\zeta _ i)\). For an ideal \({\mathfrak a}\) of k, let I(\({\mathfrak a})\) (resp. P(\({\mathfrak a}))\) denote the group of ideals (resp. principal ideals) of k prime to \({\mathfrak a}\), and \(P_{{\mathfrak a}}\) the ray ideal group of k modulo \({\mathfrak a}\), i.e., \(P_{{\mathfrak a}}=\{(x)|\) \(x\in k\), \(x\equiv 1 mod {\mathfrak a}\}\). Moreover let \(P'_{{\mathfrak a}}\) denote the group of elements of P(\({\mathfrak a})\) whose order modulo \(P_{{\mathfrak a}}\) is prime to \(\ell.\) The purpose of this note is to prove the following theorem. Assume \(\zeta _ 1\not\in k\) and \(k_ 1\neq k_ 2\). Let \[ 1\to N\to M\to I/P\to 1 \] be an abelian extension of the ideal class group I/P of k by a finite abelian \(\ell\)- group N. Then there exist infinitely many ideals S of k which satisfy the following: there is an isomorphism \(\Phi : I(S)/P_ S'\to M\) such that \(\Phi\) induces an isomorphism \(\Phi : P(S)/P_ S'\to N\) and the diagram \[ \begin{matrix} 1&\rightarrow&P(S)/P'_S&\rightarrow&I(S)/P'_S&\rightarrow&I/P&\rightarrow&1\\ &&\downarrow&&\downarrow\Phi&&\big|\big|\\ 1&\rightarrow&N&\rightarrow&M&\rightarrow&I/P&\rightarrow&1.\end{matrix} \] commutes. The proof depends on Kummer theory and uses Chebotarev's density theorem.
Mathematics Subject Classification ID: 11R18
Mathematics Subject Classification ID: 11R23
Mathematics Subject Classification ID: 11R45
Mathematics Subject Classification ID: 11R37
zbMATH DE Number: 3989481
zbMATH Keywords: ray class groups
zbMATH Keywords: ray ideal group
zbMATH Keywords: ideal class group
zbMATH Keywords: finite abelian \(\ell\)-group
zbMATH Keywords: Kummer theory
zbMATH Keywords: Chebotarev density theorem
MaRDI profile type: Publication
full work available at URL: https://doi.org/10.2969/jmsj/03940539
OpenAlex ID: W2024572229
DOI: 10.2969/JMSJ/03940539
Recommended article: Extensions of homomorphisms and the structure of ray class groups
Recommended article: Q5164940
Recommended article: A note on commutative \(\ell\)-groups
Recommended article: On the fundamental groups associated to contractions of extremal rays
Recommended article: On unitary ray representations of continuous groups
Recommended article: On the Galois structure of arithmetic cohomology. II: Ray class groups
Recommended article: A note on \(\ell\)-class groups of certain algebraic number fields
Recommended article: Q3356342
Recommended article: A Note on the Construction of a Certain Class of Kleinian Groups
Recommended article: Radical classes of \(l\)-groups
description: scientific article; zbMATH DE number 3989481