Questions tagged [ideal-class-group]
The ideal-class-group tag has no summary.
115 questions
2 votes
2 answers
176 views
What is the largest integer $d$ such there is a congruence relation on primes p so that $x^2 + dy^2 = p^2$ has a non-zero integral solution?
The Idoneal numbers have the property that if $d$ is an Idoneal number, then there is a congruence relation on primes $p$ such that $p$ satisfying the congruence relation iff $p = x^2 + dy^2$ has a ...
1 vote
0 answers
45 views
Connection between Minkowski theorem and adelic Minkowski theorem
The Minkowski theorem: Let $I$ be a fractional ideal of $O_K$, then there exists an integral ideal $J$ with $N(J)\leq\frac{n!}{n^n}(\frac4\pi)^s\sqrt{\Delta_K}$ s.t. $I$ and $J$ lie in the same ideal ...
0 votes
1 answer
74 views
Norm map from cyclotomic field to its maximal real subfield
I have a problem when reading a paper "Mildly Short Vectors in Cyclotomic Ideal Lattices in Quantum Polynomial Time" about algebraic lattice theory. $K$ is cyclotomic field $\mathbb{Q}(\...
0 votes
0 answers
72 views
Elementary Method for Calculating Ideal Class Group
Let $\mathbb{Q}(\sqrt{d})$ be finite extension with square free $d$, with $R_d$ being integral closure of subring $\mathbb{Z}$. It is known that $R_d=\mathbb{Z}[\sqrt{d}]$ if $d\not\equiv 1\pmod{4}$ ...
1 vote
2 answers
160 views
Imaginary quadratic fields with class group of even order
Given the ring of integers created by adding the square root of $-d$ to $\mathbb{Z}$ for some positive integer $d$, is there a characterization of $d$ for when the class group of that ring has a size ...
2 votes
1 answer
94 views
Reference for the main theorem of genus theory of ideal class group
Let $K$ be an imaginary quadratic number field and $\mathrm{Cl}_K$ be the ideal class group of $K$. The main theorem of what we call genus theory is: $\#{\mathrm{Cl}}_K[2] = 2^{r-1}$ where $r$ is the ...
6 votes
1 answer
209 views
Calculate the ideal class group of $K=\mathbb{Q}(\sqrt[3]{11})$
$\textbf{Calculate the ideal class group of $K=\mathbb{Q}(\sqrt[3]{11})$}$: Let $\alpha=\sqrt[3]{11}.$ We need the fact that the ring of integer of $K$ is $\mathbb{Z}[\alpha]$. One basis:$\{x_1,x_2,...
2 votes
1 answer
281 views
Find the ideal class group of $\mathbb{Q}(\sqrt{-5})$ by using the factorization theorem
Let $K=\mathbb{Q}(\sqrt {-5})$. We have shown that $\mathcal{O}_K$ has the integral basis $1,\sqrt{-5}$ and $D=4d=-20$. By computing the Minkowski's constant:$$M_K=\sqrt{|D|}\Big(\frac{4}{\pi}\Big)^{...
2 votes
3 answers
379 views
Short exact sequence in the ideal class group
In the answer to the Motivation behind the definition of ideal class group, I have seen one by user Alex Youcis and he/she claimed that the following is a short exat sequence: $$1\to \mathcal{O}_k\to \...
2 votes
0 answers
115 views
Ideal Class Group of $\mathbb{Q}(\sqrt{2}+\sqrt{3})$
I'm trying to compute the ideal class group of $\mathbb Q(\sqrt{2},\sqrt{3})$, and I would like to know if my calculations are right and if I could improve my arguments. Let $K=\mathbb Q(\sqrt{2},\...
1 vote
1 answer
140 views
(Reference request) List of (isomorphism classes of) ideal class groups of $\mathbb{Q}(\sqrt{d})$.
I'm learning about the ideal class group of a number field, and am trying a few exercises where I calculate $\mathbb{Q}(\sqrt{d})$ for $d \in \mathbb{Z}$ for various $d$. I'd like to check my work. ...
2 votes
0 answers
54 views
Calculation of the Picard group and the class group [closed]
I am thinking about the computation of the class group and the Picard group for the case of Number fields over $\mathbb{Q}$ and $\mathbb{F}_p(t)$ Complex varieties I would like to know what kinds of ...
0 votes
0 answers
113 views
There exists imaginary quadratic extension which trivialized 2-part of ideal class group
Let $p$ be a negative prime number such that $p \equiv 5\pmod 8$. Let $K = \mathbb{Q}(\sqrt{p})$ and denote its ideal class group by $Cl_K$. I aim to prove that $Cl_K[2] := \{a \in Cl_K \mid 2a = 0\}$ ...
3 votes
1 answer
243 views
Ideal class group of $\mathbb{Q}(\sqrt[3]{5})$
I want to calculate the ideal class group of $K=\mathbb{Q}(\sqrt[3]{5})$ The ring of integers $O_K=\mathbb{Z}[\sqrt[3]{5}]$, discriminant $d_K=-27\cdot5^2=-675$, Minkowski constant $M_K=\frac{3!}{3^3}(...
2 votes
0 answers
84 views
Invertible lattices
I am intersted in Exercise 7 from Chapter 5 of this notes: "Let $V$ be the set of non-zero lattices $L \subset \mathbf{C}$ that satisfy $x \cdot L \subset L$ for every $x \in \mathbf{Z}\left[\...