Quantcast
Channel: Questions about ray class groups - MathOverflow
Viewing all articles
Browse latest Browse all 2

Questions about ray class groups

$
0
0

Let $K$ be an imaginary quadratic number field (so there are no real embeddings) with ring of integers $\mathcal{O}_K$ . Let $w$ be the number of units in $K$ and $h$ be the class number of $K$. Let $\mathfrak{f}$ be a non-zero integral ideal in $K$, and let $\mathcal{I}_{\mathfrak{f}}$ be the ray class group mod $\mathfrak{f}$, i.e.$$\mathcal{I}_{\mathfrak{f}} = \frac{J_{\mathfrak{f}}}{P_{\mathfrak{f}}},$$where $J_{\mathfrak{f}}$ is the group of fractional ideals coprime to $\mathfrak{f}$ and, for imaginary quadratic fields, $P_{\mathfrak{f}}$ is the group of principal fractional ideals $(\alpha)$ with $\alpha \equiv 1 \mod{\mathfrak{f}}$. Let $h(\mathfrak{f})$ denote the order of $\mathcal{I}_{\mathfrak{f}}$, $\varphi(\mathfrak{f})$ the order of the multiplicative group $(\mathcal{O}_K/\mathfrak{f})^*$, and $g$ the number of units $\varepsilon$ with $\varepsilon \equiv 1 \mod{\mathfrak{f}}$. I have two questions pertaining to some literature I have read recently (namely this paper of Coleman and this paper by Khale et. al.)

  1. In both papers linked above, there appears the term "ideal class group mod $\mathfrak{f}$." Is this meant to be the ray class group mod $\mathfrak{f}$, or is there some other object this term is referring to? From both papers, it seems the answer is yes, it's the ray class group, but I want to make sure I'm not missing something.
  2. In the first paper linked above, there appears implicit in the arguments the identity$$h(\mathfrak{f}) = \frac{h\varphi(\mathfrak{f})g}{w},$$This appears specifically between displays (4.4) and (4.6). I would like a reference and/or an explanation of why this identity holds.

My algebraic number theory is not the strongest, and my familiarity with the literature and common jargon is low, so forgive me if these are "dumb" questions.


Viewing all articles
Browse latest Browse all 2

Latest Images

Trending Articles





Latest Images