Skip to main content

Questions tagged [ideal-class-group]

2 votes
2 answers
176 views

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 ...
Samuel White's user avatar
1 vote
0 answers
45 views

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 ...
Herschel Yi's user avatar
0 votes
1 answer
74 views

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}(\...
ZWJ's user avatar
  • 591
0 votes
0 answers
72 views

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}$ ...
spicychicken's user avatar
1 vote
2 answers
160 views

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 ...
Samuel White's user avatar
2 votes
1 answer
94 views

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 ...
Poitou-Tate's user avatar
  • 6,877
6 votes
1 answer
209 views

$\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,...
Bowei Tang's user avatar
  • 4,603
2 votes
1 answer
281 views

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)^{...
Bowei Tang's user avatar
  • 4,603
2 votes
3 answers
379 views

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 \...
Bowei Tang's user avatar
  • 4,603
2 votes
0 answers
115 views

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},\...
hbghlyj's user avatar
  • 6,019
1 vote
1 answer
140 views

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. ...
Robin's user avatar
  • 6,231
2 votes
0 answers
54 views

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 ...
user avatar
0 votes
0 answers
113 views

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\}$ ...
Poitou-Tate's user avatar
  • 6,877
3 votes
1 answer
243 views

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}(...
Xiong Jiangnan's user avatar
2 votes
0 answers
84 views

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[\...
Mystery girl's user avatar

15 30 50 per page
1
2 3 4 5
8