Questions related to the algebraic structure of algebraic integers

learn more… | top users | synonyms

8
votes
2answers
392 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
236 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
675 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
2answers
334 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
193 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
1answer
825 views

Euler's remarkable prime-producing polynomial and quadratic UFDs

Good example of a polynomial which produces a finite number of primes is: $$x^{2}+x+41$$ which produces primes for every integer $ 0 \leq x \leq 39$. In a paper H. Stark proves the following result: ...
8
votes
3answers
223 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
801 views

Ramification in a tower of extensions

I'm trying to make sense of all these theorems related to ramification. I was hoping someone would summarize these results. Assume we have: An extension $L/K$ and a some subextensions ...
8
votes
2answers
357 views

Every ideal of an algebraic number field can be principal in a suitable finite extension field

Let $K$ be an algebraic number field. Let $I$ be a non-zero ideal of the ring of integers $\mathcal{O}_K$ in $K$. By class field theory, there exists a finite extension(the Hilbert class field) $L$ of ...
8
votes
2answers
252 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
512 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
1answer
431 views

What does Tate mean when he wrote “Higher dimensional class field theory” in the new preface to the Artin-Tate book and another question?

This is probably well-known to the experts or many number theory students, but since I am just starting to learn class field theory (with some basic knowledge of algebraic numbers, e.g. the 3 basic ...
8
votes
1answer
356 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
2answers
288 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
3answers
364 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
1answer
376 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
1answer
150 views

Given a group $G$, does there exist a domain $D$ with $G$ as its ideal class group?

I have only recently encountered algebraic number theory and was wondering if this is the case. If the answer to the question is yes, then can we explicitly construct the domain $D$ ? Since the ...
8
votes
2answers
521 views

Value of cyclotomic polynomial evaluated at 1

Let $\Phi_n$ be the usual cyclotomic polynomial (minimal polynomial over the rationals for a primitive nth root of unity). There are many well-known properties, such as $x^n-1 = \Pi_{d|n}\Phi_d$. ...
8
votes
2answers
150 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
162 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
2answers
69 views

Conceptual reason why a quadratic field has $-1$ as a norm if and only if it is a subfield of a $\mathbb{Z}/4$ extension?

I have convinced myself in a computation-heavy, ad-hoc way that a quadratic extension $K$ of $\mathbb{Q}$ occurs as the unique quadratic subfield of a $\mathbb{Z}/4$-extension of $\mathbb{Q}$ if and ...
8
votes
1answer
98 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
105 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
220 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
1answer
152 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
156 views

L-function for Dirichlet characters vs Hecke character

For a Dirichlet character $\chi: \left(\mathbb{Z}/p\mathbb{Z}\right)^{\times} \to \mathbb{C}$, the Dirichlet L function is $$\prod_{q \neq p} (1 - \chi(q)q^{-s})^{-1}$$ If we lift this character to ...
8
votes
2answers
109 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
136 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
1k views

How to check whether an ideal is a prime (or maximal) ideal?

I have a ring $R$ which is known to be a Dedekind domain, but not necessarily a Euclidian domain, and a nonzero ideal generated by one or two elements in this ring. How can I check if this ideal is a ...
8
votes
1answer
170 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
1answer
171 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
236 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
2answers
247 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 ...
8
votes
0answers
313 views

$f'/f\in\mathbb{Z}[[x]]$ for polynomials vs. formal power series $f$

I am curious about the following problem from MIT's Problem Solving Seminar (#26 here, though the link may stop working after a few weeks): Let $f(x) = a_0+a_1x+\cdots\in\mathbb{Z}[[x]]$ be a ...
7
votes
3answers
535 views

Enlightening proof that the algebraic numbers form a field

The proof I'm familiar with that the algebraic numbers $\mathbb A$ form a field uses the fact that the resultant of two polynomials $p,q\in\mathbb Q[x]$ satisfies the following properties: It is $0$ ...
7
votes
3answers
749 views

Prime ideals in the ring of algebraic integers

Let $\mathcal{O}$ be the ring of all algebraic integers: elements of $\mathbb{C}$ which occur as zeros of monic polynomials with coefficients in $\mathbb{Z}$. It is known that $\mathcal{O}$ is a ...
7
votes
1answer
2k 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 ...
7
votes
5answers
1k views

Minimal polynomial of $\frac{\sqrt{2}+\sqrt[3]{5}}{\sqrt{3}}$

I am struggling to find the minimal polynomial for $\displaystyle \frac{\sqrt{2}+\sqrt[3]{5}}{\sqrt{3}}$. Does anyone have any suggestions? Thanks, Katie.
7
votes
3answers
498 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 ...
7
votes
2answers
353 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 ...
7
votes
1answer
326 views

Any resource of the applications of the theory of class fields

We all agree that the theory of class fields plays an eminent role in modern number theory. Nevertheless, what was our main concern is that how to solve various Diophantine equations to which the ...
7
votes
1answer
643 views

What is a maximal abelian extension of a number field and what does its Galois group look like?

How does one know that a number field $K$ has a maximal abelian extension (unique up to isomorphism) $K^{\text{ab}}$? I've read proofs involving Zorn's lemma that it has an algebraic closure (And ...
7
votes
2answers
523 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 ...
7
votes
3answers
300 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 ...
7
votes
2answers
325 views

In what senses are archimedean places infinite?

According to Bjorn Poonen's notes here (§2.6), we should add the archimedean places of a number field $K$ to $\operatorname{Spec} \mathscr{O}_K$ in order to get a good analogy with smooth projective ...
7
votes
2answers
150 views

Show field of fractions is finite extension of $\mathbb{Q}$

Let $A$ be a ring which is also a finitely generated $\mathbb{Z}$-module. If $A$ is an integral domain and $K$ is its field of fractions and $K$ has characteristic zero, then why is $K$ a finite ...
7
votes
2answers
433 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 ...
7
votes
2answers
201 views

Solve: $x^2-py^2=q$

Solve $$x^2-py^2=q$$ for integers $x,y$, here $p,q$ are both given prime numbers. It's obvious that $p,q$ should satisfy $(\frac{p}{q})=(\frac{q}{p})=1,$ here $(\frac{p}{q})$ is the Jacobi symbol. ...
7
votes
3answers
181 views

Integers of the form $x^2-ny^2$

Is there any algorithm to represent the given integers in the form $N=x^2-ny^2$, $n>1$, say for $n=2$. As we have for any prime, $p$, a prime $q$ can be written as $q=x^2+py^2$,whenever $q$ is ...
7
votes
2answers
311 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$, ...