Questions related to the algebraic structure of algebraic integers

learn more… | top users | synonyms

10
votes
3answers
1k 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 ...
10
votes
3answers
177 views

Quadratic field, $O_K/\mathfrak{p} = \mathbb{F}_p$, $O_K/pO_K$ is a finite field of order $p^2$.

Let $K$ be a quadratic field $\mathbb{Q}(\sqrt{m})$ where $m$ is a square free integer, and let $p$ be a prime number which does not divide $2m$. Where can I find a reference to a proof of the ...
10
votes
3answers
227 views

likely open number theory problem: finite sum of $\zeta(2)$ equal to a square of rationals

Which $n$ can let $S=1+\frac14+\frac19+\cdots+\frac1{n^2}$ be a square of a rational number? Obviously, $1$ and $3$ work, but how to prove they are the only ones? I think this problem is really hard. ...
10
votes
1answer
294 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 $\...
10
votes
1answer
444 views

How to determine all valuations of the field $\mathbb{Q(\sqrt[n]{2})}$?

This is an exercise from the book Algebraic Number Theory by Jurgen Neukirch, on page 166. And, after solving several previous exercises, I found this to be particularly difficult to solve. I am ...
10
votes
4answers
212 views

Is the number of irreducibles in any number field infinite?

Are there infinitely many irreducibles in the ring of integers of any algebraic number field ? I tried to follow the same argument as we usually do for integers. Suppose there are finitely many ...
10
votes
1answer
285 views

Galois representations and normal bases

I am not very familiar with the theory of Galois representations, but I do know a bit about both Galois theory and representation theory. Recently I learned about the notion of a normal basis for a ...
10
votes
1answer
575 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 ...
10
votes
1answer
1k views

Definition of tamely ramified

I think I can show that the following definitions of "tamely ramified" coincide. I thought it would be good to be sure. Sorry for the easy questions. Let $O_K$ be a dvr with maximal ideal $\mathfrak ...
10
votes
1answer
252 views

Connection between ramification in number fields and Clifford theory

Consider algebraic number fields $\mathbb{Q} \subseteq K \subseteq L$ with rings of integers $\mathbb{Z}\subseteq \mathcal{O}_K \subseteq \mathcal{O}_L$. If $0 \neq \mathfrak{p} \trianglelefteq \...
10
votes
1answer
256 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 ...
10
votes
2answers
388 views

What are some equivalent statements of (strong) Goldbach Conjecture?

What are some equivalent statements of (strong) Goldbach Conjecture ? We all know that Riemann Hypothesis has some interesting equivalent statements. My favorites are involved with Mertens ...
10
votes
1answer
842 views

Special cases of the Stark-Heegner theorem with simple proofs

The Stark-Heegner theorem states that the ring of integers of the quadratic number field $\mathbb Q(\sqrt{m})$, where $m$ is a squarefree negative integer, is a principal ideal domain, iff $$m\in\{-1,-...
10
votes
1answer
376 views

What are the branches of the $p$-adic zeta function?

I'm reading the book $p$-adic Numbers, $p$-adic Analysis, and Zeta-Functions by Neal Koblitz. In it, Koblitz wants to iterpolate the Riemann Zeta function for the values $\zeta_p(1-k)$ with $k \in \...
10
votes
1answer
178 views

Integer solutions of $x^3+y^3=z^3$ using methods of Algebraic Number Theory

I'm asked to prove that the famous equation $$x^3+y^3=z^3$$ has no integer (non-trivial) solutions, i.e. FLT for $n=3$ I'm aware that on this website there are solutions using methods of Number ...
10
votes
1answer
102 views

Intersection of class number one fields

Let $F$ and $K$ be two number fields with class number one. How can one prove that the class number of $F \cap K$ is also equal to one. I have been trying to prove something like the intersection of ...
10
votes
0answers
105 views

What is the intuition behind Dirichlet's Class Number Formula? [closed]

As the title of the question suggests, what is the intuition behind Dirichlet's Class Number Formula being true? The Dirichlet Class Number Formula is$$h(\mathcal{O}_D) = -{1\over{D}} \sum_{n=1}^D n\...
10
votes
1answer
246 views

Diophantine equation $x^2 + 6(y+1)^2 = (y+2)^3$

I'm revising for exams and I've got stuck on an algebraic number theory question. The equation I'm trying to solve is $$ x^2 -2 = y^3, $$ and I was told to rewrite it as $$ x^2 + 6(y+1)^2 = (y+2)^3. ...
10
votes
0answers
561 views

extension of Euler's totient function to number fields

It is well known that the Euler totient function $\varphi$ satisfies the formula $n = \sum_{d | n}\varphi(d)$. This follows for example from the fact that $\mathbb Z / n \mathbb Z$ can be written (as ...
9
votes
5answers
533 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 ...
9
votes
3answers
2k 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 ...
9
votes
3answers
800 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 ...
9
votes
2answers
538 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.
9
votes
4answers
1k views

(Simple?) applications of Class Field Theory?

Does anyone know any simple/nice applications of class field theory? I would really like to find one related to diophantine equations, but anything you got would be good. Thanks
9
votes
3answers
118 views

What is $\frac{1}{1+\sqrt[3]{2}}$ in $\mathbb{Q}(\sqrt[3]{2})$?

Since $\mathbb{Q}(\sqrt[3]{2})$ is a field, any number $\neq 0$ has a reciprocal. How then to write $\frac{1}{1+\sqrt[3]{2}}$ as a number $a + b\sqrt[3]{2} + c\sqrt[3]{4}$ with fractions $a,b,c \in ...
9
votes
2answers
281 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})$?
9
votes
2answers
361 views

Are rational numbers + numbers constructed with a root = algebraic numbers?

I'm a math newbie, so an intuitive explanation is the most helpful for me, but don't pull your punches with the formulas, if you feel like it. We can construct the rational numbers using the division ...
9
votes
3answers
2k 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 ...
9
votes
2answers
530 views

Primes dividing the values of integer polynomials

Problem: Let $n$ be an integer and $p$ a prime dividing $5(n^2-n+\frac{3}{2})^2-\frac{1}{4}$. Prove that $p \equiv 1 \pmod{10}$. The polynomial can be re-written as $(\sqrt{5}(n^2-n+\frac{3}{2})-\...
9
votes
2answers
249 views

$\arctan$ of a square root as a rational multiple of $\pi$

I know that if $x$ is a rational multiple of $\pi$, then $\tan(x)$ is algebraic. Is there a fairly simple way to express $x$ as $\pi\frac{m}{n}$, if $\tan(x)$ is given as a square root of a rational?
9
votes
2answers
113 views

Prove there are infinitely many primes in $\mathbb{Z}[i]$

I saw a proof online there are infinitely many primes in $\mathbb{Z}$. The Euler product let's us factor the harmonic series: $$ \prod \left( 1 - \frac{1}{p} \right) = \sum \frac{1}{n}$$ I wonder ...
9
votes
3answers
586 views

Prove that $2$, $3$, $1+ \sqrt{-5}$, and $1-\sqrt{-5}$ are irreducible in $\mathbb{Z}[\sqrt{-5}]$.

So the Norm for an element $\alpha = a + b\sqrt{-5}$ in $\mathbb{Z}[\sqrt{-5}]$ is defined as $N(\alpha) = a^2 + 5b^2$ and so i argue by contradiction assume there exists $\alpha$ such that $N(\alpha) ...
9
votes
3answers
259 views

Ring of integers of cubic number field

I want to show that the ring of integers of the cubic number field $K = \mathbb Q(\alpha)$, where $\alpha$ is a root of $f = X^3 - X - 2$, is equal to $\mathbb Z[\alpha]$. $(1, \alpha, \alpha^2)$ ...
9
votes
1answer
2k 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)$ (...
9
votes
2answers
286 views

Relationship between different L-functions

What's the relationship between between Artin $L$-functions and Dirichlet or Hecke $L$-functions if $L/K$ is an abelian extension? I've been told that one can interpret the Artin $L$-functions as ...
9
votes
4answers
157 views

Prove the series has positive integer coefficients

How can I show that the Maclaurin series for $$ \mu(x) = (x^4+12x^3+14x^2-12x+1)^{-1/4} \\ = 1+3\,x+19\,{x}^{2}+147\,{x}^{3}+1251\,{x}^{4}+11193\,{x}^{5}+103279\, {x}^{6}+973167\,{x}^{7}+9311071\,{x}^{...
9
votes
2answers
1k views

Ideal class group of $\mathbb{Q}(\sqrt{-103})$

I want to calculate ideal class group of $\mathbb{Q}(\sqrt{-103})$. By Minkowsky bound every class has an ideal $I$ such that $N(I) \leq 6$. It is enough to consider prime ideals with the same ...
9
votes
1answer
186 views

Intuitive motivation to try to factor an ideal

In $\mathbb{Z}[\sqrt{- 5}]$, $2$ is irreducible, but the ideal $(2)$ factors into non-units: $$(2) = (2, 1 + \sqrt{- 5})(2, 1 - \sqrt{- 5}).$$ In general, what gives one the intuitive motivation (...
9
votes
1answer
814 views

Why is the determinant equal to the index?

Let $A \subset B$ be integral domains and assume $B$ is a free $A$-module of rank $m$. Define the discriminant of $m$ elements $b_1,\dots,b_m\in B$ as $D(b_1,\dots,b_m)=\det(\operatorname{Tr}_{B/A}(...
9
votes
4answers
110 views

Subgroup generated by $1 - \sqrt{2}$, $2 - \sqrt{3}$, $\sqrt{3} - \sqrt{2}$

For a number field $K$, Dirichlet's unit theorem says that$$(O_K)^\times = \mathbb{Z}^{r - 1} \oplus (\text{a finite cyclic group}),$$where $r$ is the number of all infinite places of $K$. An infinite ...
9
votes
2answers
94 views

On discriminants and nature of an equation's roots?

Edited: All equations in the post are assumed to have all real coefficients and are minimal polynomials. While trying to ascertain if the Brioschi quintic $B(x)=x^5-10cx^3+45c^2x-c^2=0$ could ever ...
9
votes
1answer
143 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 : &...
9
votes
1answer
310 views

$\mathbb{Q}(i)$ has no unramified extensions

It is a classical result that every extension of $\mathbb{Q}$ is ramified. Put differently: there are no unramified extensions of $\mathbb{Q}$. The classical proof follows from the following two ...
9
votes
1answer
542 views

Intuition for Krasner's Lemma

From Milne's Algebraic Number Theory, we have (he assumes that $K$ is complete with respect to a discrete nonarchimedian absolute value, but I don't know where the discrete part is being used) Let ...
9
votes
1answer
102 views

$\mathbb{Q}(\sqrt{23})$ is not a Euclidean number field.

The problem I'm facing is that of the tittle: Problem. Prove that $\mathbb{Q}(\sqrt{23})$ is not a Euclidean number field. Since $23\not\equiv 1\pmod{4}$, it must be shown that $\mathbb{Z}[\...
9
votes
2answers
138 views

Showing that a real number is an algebraic integer

For what values of $x,y,z\in\mathbb{Z}$, such that $0\leq x,y,z\leq 2, $ the real number $$\alpha:=\frac{1}{3}\left(x+\sqrt[3]{175} \cdot y+\sqrt[3]{245}\cdot z\right)$$ is an algebraic integer i.e. ...
9
votes
2answers
497 views

Exact power of $p$ that divides the discriminant of an algebraic number field

I am doing Marcus problem 21 (b) of chapter 3. The setup for this problem is given in problem 20: Setup: Let $L/K$ be a finite extension of algebraic number fields. Write $R = \mathcal{O}_K$ ...
9
votes
0answers
133 views

Swapping the digits of an algebraic number (e.g. $\sqrt 2$)

Let an algebraic number, say $ a=\sqrt 2 = 1.41421356237309504880...$, and define $$b=f(a)=1.14243165323790058408...$$ by swapping the digits $a_{2i+1}$ and $a_{2i+2}$ for $i≥0$, corresponding to ...
9
votes
0answers
112 views

Classification of all subrings

Let $R$ be an integral domain whose underlying additive group is finitely generated free and whose field of fractions $K$ is a finite Galois extension of $\mathbb{Q}$. Is there a method of ...
9
votes
0answers
100 views

Genus of $k(T)$?

Let $F$ be a function field in one variable with total constant field $k$, let $X$ be the set of all places $F$, and let $S$ be a nonempty finite subset of $X$. Then the genus of $F$ is equal to the ...