Questions related to the algebraic structure of algebraic integers

learn more… | top users | synonyms

9
votes
0answers
635 views

A proof of a theorem on the different in algebraic number fields

Theorem Let $K ⊂ L ⊂ E$ be a tower of algebraic number fields. Suppose that $E/K$ is a Galois extension. Let $B$ and $C$ be the rings of algebraic integers in $L$ and $E$ respectively. Let $G$ be the ...
8
votes
5answers
481 views

Applications of class number

There is the notion of class number from algebraic number theory. Why is such a notion defined and what good comes out of it? It is nice if it is $1$; we have unique factorization of all ideals; but ...
8
votes
1answer
1k views

Reading the mind of Prof. John Coates (motive behind his statement)

To start with the issue, I have been thinking from many days that Birch-Swinnerton-dyer conjectures should have some association with the Galois theory, but one day I got the Article of Tate called as ...
8
votes
3answers
645 views

Intuition regarding Chevalley-Warning Theorem

Three versions of the theorem are stated on pages 1-2 in these notes by Pete L. Clark: http://math.uga.edu/~pete/4400ChevalleyWarning.pdf Could anyone offer some intuitive way to think about this ...
8
votes
2answers
924 views

What does the discriminant of an algebraic number field mean intuitively?

If $E/F$ is a finite extension of fields and $\alpha_1,\ldots, \alpha_n$ is a basis of $E/F$, the discriminant of $\{\alpha_1,\ldots, \alpha_n\}$ is $$\det(\operatorname{Tr}_{E/F}(\alpha_i\alpha_j))$$ ...
8
votes
2answers
456 views

Computing the Hilbert class field

Does anyone know any good source with nice examples of Hilbert class field computations? I'm trying to piece together the theory with some canonical examples.
8
votes
3answers
296 views

Solve $x^3+x \equiv 1 \pmod p$

Find all the primes $p$ so that $$x^3+x \equiv 1 \pmod p \tag{1}$$ has integer solutions. We consider $x$ and $y$ are the same solutions iff $x\equiv y \pmod p.$ We can prove that $(1)$ cannot ...
8
votes
2answers
819 views

Is the algebraic closure of a $p$-adic field complete

Let $K$ be a finite extension of $\mathbf{Q}_p$, i.e., a $p$-adic field. (Is this standard terminology?) Why is (or why isn't) an algebraic closure $\overline{K}$ complete? Maybe this holds more ...
8
votes
4answers
83 views

Show that $\mathcal{O}_K$ is not UFD with $K = \mathbb{Q}(\sqrt{-13})$

Let $K = \mathbb{Q}(\sqrt{-13})$. Show that its ring of integers $\mathcal{O}_K$ is not an UFD. $-13 \equiv 3 \bmod{4}$, so $\mathcal{O}_K = \mathbb{Z}\bigl[\sqrt{-13}\bigr]$. We will use the ...
8
votes
2answers
411 views

Classgroup of $\mathbb{Q}(\sqrt{2},\sqrt{-13})$

How would you compute the classgroup of the biquadratic number field $\mathbb{Q}(\sqrt{2},\sqrt{-13})$? I would prefer a method as "from scratch" as possible. Please avoid, if possible, quoting ...
8
votes
2answers
893 views

How can one express $\sqrt{2+\sqrt{2}}$ without using the square root of a square root?

I was trying to review some analysis, and came across problem 3 from page 78 of Walter Rudin's Principles of Mathematical Analysis. As part of the problem, I wanted to try to write ...
8
votes
3answers
440 views

Attaining the norm of an ideal in a number field by the norm of an element

Let $K$ be a number field of degree $n$ and $\mathfrak{a}$ be an ideal in its ring of integers $\mathcal{O}_K$. We can consider: The norm $N(\mathfrak{a})$ of $\mathfrak{a}$. The norms $N(x)$ of the ...
8
votes
3answers
496 views

Unique factorization in $\mathbb Z(\sqrt{-19})$

An elementary confusion about class number: In $\mathbb Z(\sqrt{-19})$ we have $N(1+\sqrt{-19}) = (1+\sqrt{-19})(1-\sqrt{-19}) = 2^2\cdot 5.$ I see that 2 and 5 are irreducible, 4 is not. In a ...
8
votes
2answers
383 views

A simple question about Iwasawa Theory

There has been a lot of talk over the decades about Iwasawa Theory being a major player in number theory, and one of the most important object in said theory is the so-called Iwasawa polynomial. I ...
8
votes
2answers
204 views

Elements of cyclotomic fields whose powers are rational

Suppose the polynomial $t^k - a$ has a root (hence splits) in $\mathbb{Q}(\zeta_k)$. For which $k$ does it follow that one of the roots of $t^k - a$ is rational? In particular, are there infinitely ...
8
votes
3answers
241 views

Can the argument of an algebraic number be an irrational number times pi?

This is mainly out of curiosity. Let $\nu$ be an algebraic number. Can Arg($\nu$) be of the form $\pi \times \mu$ for an irrational number $\mu$?
8
votes
2answers
254 views

Is the ring of p-adic integers of finite type over the ring of integers?

Denote by $\mathbb{Z}_p$ the ring of $p$-adic integers. Is $\mathrm{Spec}(\mathbb{Z}_p)$ of finite type over $\mathrm{Spec}(\mathbb{Z})$?
8
votes
2answers
292 views

Good undergraduate level book on Cyclotomic fields

I have Lang's 2 volume set on "Cyclotomic fields", and Washington's "Introduction to Cyclotomic Fields", but I feel I need something more elementary. Maybe I need to read some more on algebraic number ...
8
votes
2answers
593 views

Class field theory for function fields and a curious statement

Let $X_0$ be a smooth curve over a finite field $\mathbb{F}_q$, and let $X$ be the base-change to the algebraic closure. I read that, according to class field theory in function fields, "the image ...
8
votes
2answers
726 views

How to find the integral closure of $\mathbb{Z}_{(3)}$ in the field $\mathbb{Q}(\sqrt{-5})$?

Let $v$ be the 3-adic valuation on $\mathbb{Q}$ and consider the subring $\mathbb{Z}_{(3)}$ of $\mathbb{Q}$ defined by $$ \mathbb{Z}_{(3)} = \{ x \in \mathbb{Q} : v(x) \geq 0 \}. $$ That is, ...
8
votes
4answers
543 views

Unique quadratic subfield of $\mathbb{Q}(\zeta_p)$ is $\mathbb{Q}(\sqrt{p})$ if $p \equiv 1$ $(4)$, and $\mathbb{Q}(\sqrt{-p})$ if $p \equiv 3$ $(4)$

I want to prove the assertion: The unique quadratic subfield of $\mathbb{Q}(\zeta_p)$ is $\mathbb{Q}(\sqrt{p})$ when $p \equiv 1 \pmod{4}$, respectively $\mathbb{Q}(\sqrt{-p})$ when $p \equiv 3 ...
8
votes
2answers
430 views

Approximation Lemma in Serre's Local Fields

Let $A$ be a Dedekind domain, and let $K$ be its field of fractions. In Serre's Local Fields, the following Lemma is stated. Approximation Lemma Let $k$ be a positive integer. For every $i$, ...
8
votes
2answers
3k views

The units of $\mathbb Z[\sqrt{2}]$

How can I show that the units $u$ of $R=\mathbb Z[\sqrt{2}]$ with $u>1$ are $(1+ \sqrt{2})^{n}$ ? I have proved that the right ones are units because their module is one, and it is said to me ...
8
votes
1answer
418 views

How does topology enter Number theory and how we can grasp its essence?

In infinite Galois theory,main theorem failed and we get a "Krull topology" to mend the main theorem, we even generalized that to make definition for profinite group. In local class field theory, the ...
8
votes
1answer
235 views

How does (21) factor into prime ideals in the ring $\mathbb{Z}[\sqrt{-5}]$?

The text of the exercise is the following: Show that $\mathbb{Z}[\sqrt{-5}]$ is a Dedekind domain, and that the identities $21 = (4+\sqrt{−5}) \cdot (4 − \sqrt{−5})$ and $21 = 3 · 7$ represent two ...
8
votes
3answers
1k views

Proving Fermat's Last Theorem for n=3 using Euler's and Lamé's approach?

Euler and Lamé are said to have proven FLT for $n=3$ that is, they are believed to have shown that $x^3 + y^3 = z^3$ has no nonzero integer solutions. According to Kleiner they approached this by ...
8
votes
2answers
325 views

How to calculate the local factor at the infinite place of a function field?

First of all, my apologies for the long-winded nature of this question! Yesterday, Mr. Barquero asked an excellent question regarding function fields and number theory: Why is it "easier" ...
8
votes
1answer
387 views

Cyclotomic extensions of $\Bbb Q$

Let $n>4$, and $(h,n) = 1$. How to show that $[\mathbb{Q}(\tan 2 \pi h/n):\mathbb{Q}]= \phi(n)$ or $\phi(n)/2$ or $\phi(n)/4$ respectively if $\gcd(n,8)<4$ or $\gcd(n,8)=4$ or ...
8
votes
2answers
93 views

How would you explain a quadratic field to a beginner?

How would you explain a quadratic field to a beginner? Eg. how did the subject first start? All the modern stuff they use to explain it makes it really confusing how one should think about it in more ...
8
votes
1answer
901 views

Vague definitions of ramified, split and inert in a quadratic field

Our lecturer defined the following: Let $K=\mathbb Q(\sqrt d)$ be a quadratic field and $p$ a prime number, then (1) $\ p$ is ramified in $K$ if $\mathcal O_K⁄(p)\cong \mathbb F_p [x]⁄(x^2)$ ...
8
votes
2answers
186 views

How many solutions of the equation $x^2-y^2=1$ are there with $x,y\in\mathbb F_{p^n}$?

Let $p>2$ be an odd prime. Let $\mathbb F_{p^n}$ be the field with $p^n$ elements. How many solutions of the equation $x^2-y^2=1$ are there with $x,y\in\mathbb F_{p^n}$? My work: Char $F=p$. ...
8
votes
2answers
182 views

Show that $x^2 + x + 12 = 3y^5$ has no integer solutions.

Show that $x^2 + x + 12 = 3y^5$ has no integer solutions. Use the fact that the class group of $K$ is cyclic of order 5, where $K=\mathbb{Q}[\alpha]$ and $\alpha$ is the root of $x^2-x+12$. We get ...
8
votes
1answer
188 views

Quadratic extensions of $\mathbb Q$

This is a question from Lang's ANT, Thm 6, ch.IV, $\S2$. It states that every quadratic extension of $\mathbb{Q}$ is contained in a cyclotomic extension and that it's a direct consequence of the ...
8
votes
1answer
112 views

What's special about characteristic 2?

I'm trying to get the big picture of how bilinear forms and quadratic forms relate over fields $F$ with $char(F) = 2$ and fields with $char(F) \neq 2$. What I gather so far is that if $char(F) \neq ...
8
votes
1answer
402 views

Computing the ring of integers of a number field

This question arose from the need to see the splitting behaviour of primes over an extension of number fields. One criterion is the Kummer's theorem, which gives the decomposition of the base prime in ...
8
votes
2answers
86 views

Number of Primes in Ring of Integers of a Number Field

In the ring of integers of an algebraic number field, we say that an algebraic integer $p$ is prime if, whenever $p$ divides product of two algebraic integers, $p$ divides one of them. An algebraic ...
8
votes
1answer
196 views

Kronecker-Weber Theorem and Finite Fields

Today it occurred to me that every algebraic extension of $\mathbb F_q$ is cyclotomic, as $\mathbb F_{q^n}$ can be gotten by adjoining a $(q^n-1)^{st}$ root of unity. Also, every algebraic extension ...
8
votes
1answer
122 views

Isomorphism of Galois groups induces an isomorphism on decomposition groups?

This is a follow up question to this. Say we have Galois extensions $L ,M$ of $\Bbb{Q}$ with $L \cap M = \Bbb{Q}$ and consider the composite $K = LM$. I want to prove that $$\begin{array}{cccccc} f : ...
8
votes
1answer
250 views

An exercise involving characters

Suppose $p$ is a prime, $\chi$ and $\lambda$ are characters on $\mathbb{F}_p$. How can I show that $\sum_{t\in\mathbb{F}_p}\chi(1-t^m)=\sum_{\lambda}J(\chi,\lambda)$ where $\lambda$ varies over all ...
8
votes
3answers
339 views

Counting the Number of Integral Solutions to $x^2+dy^2 = n$

It is a well known result that the number of integer solutions $(x,y), x>0, y\ge 0$ to $x^2+y^2 = n$ is $\sum_{d|n}\chi(d)$, where $\chi$ is the nontrivial Dirichlet character modulo $4$ such that ...
8
votes
2answers
130 views

Reference for relation between class number of $\Bbb Q[\sqrt{-p}]$ and partial quotients of $\sqrt p$

So in Ireland and Rosen's, "Classical Introduction to Modern Number Theory", they mention the following incredible fact at the end of Chapter 13, section 1. Suppose $p \neq 3$ and $p \equiv 3 \pmod 4$ ...
8
votes
1answer
149 views

$\mathbb Z_p$-rank $\leq r_1+r_2-1$ in Leopoldt's conjecture

I am trying to understand Leopoldt's conjecture as formulated in section 5.5 of Washington's "Introduction to Cyclotomic Fields". For an algebraic number field $K$ let $E$ denote the global units, ...
8
votes
2answers
759 views

About cyclotomic extensions of $p$-adic fields

I've been working on the problem of finding the maximal abelian extension of $\mathbb{Q}_5$ that is killed by $5$. In other words, find the abelian extension of $\mathbb{Q}_5$ with Galois group ...
8
votes
1answer
184 views

Where is the calculation hiding in this proof about how $p$ splits in $\mathbb{Q}(\zeta_n)$?

I just worked through a proof in Daniel Marcus' book Number Fields that if $p\nmid n$, the inertial degree of any prime ideal of $\mathbb{Q}(\zeta_n)$ lying over $p$ is equal to the order of $p$ in ...
8
votes
2answers
564 views

Bijection between an ideal class group and a set of classes of binary quadratic forms.

Let $F = ax^2 + bxy + cy^2$ be a binary quadratic form over $\mathbb{Z}$. We say $D = b^2 - 4ac$ is the discriminant of $F$. If $D$ is not a square integer and gcd($a, b, c) = 1$, we say $ax^2 + bxy + ...
8
votes
1answer
208 views

Class number of $\mathbb{Q}(\zeta_{11})$

I want to compute the class number of $K=\mathbb{Q}(\zeta_{11})$. The Minkowski bound here is < 59, and looking at the factorisation of primes, we can show that the ideal class group is actually ...
8
votes
3answers
290 views

How to show that $1-\zeta$ is prime in the order $\{ 1, \zeta, \ldots, \zeta^{l-2} \}$?

I am trying to prove the following: Let $l$ be a prime and let $\zeta$ be a $l$th root of unity. Show that, in the order $\{ 1, \zeta, \ldots, \zeta^{l-2} \}$ of the field $\mathbb{Q}(\zeta)$, if ...
8
votes
1answer
152 views

Geometric intuition behind the Hasse principle

Let $f(X,Y) \in \mathbb{Q}[X,Y]$ be a quadratic polynomial. The Hasse-Minkowski theorem says that $f(X,Y) = 0$ has a solution $(x,y) \in \mathbb{Q}^2$ iff it has a solution in $\mathbb{R}^2$ and ...
8
votes
1answer
382 views

Ramanujan-Nagell Theorem Proof Question

I'm currently working through Stewart and Tall's Algebraic Number Theory. In particular, section 4.9 of this book provides a proof of the Ramanujan-Nagell Theorem, which states that the only integer ...
8
votes
2answers
281 views

Some questions about ramifications of primes

I was trying to show that the ring of integers of $K=\mathbb{Q}(\sqrt[3]{2})$ is $\mathbb{Z}[\sqrt[3]{2}]$ and came up with the following question. Computing the discriminant of ...