Questions related to the algebraic structure of algebraic integers

learn more… | top users | synonyms

10
votes
2answers
485 views

Cubic polynomials that generate the same extension?

For quadratic extensions we can easily determine when $\mathbb{Q}(\sqrt{a})=\mathbb{Q}(\sqrt{b})$ by checking if $a/b$ is a square and this is easy to prove. I was wondering if there are any good ...
10
votes
1answer
225 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
302 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
2answers
130 views

Sets of Prime Numbers Generated By an Irreducible Monic Polynomial

Given a non-constant integral irreducible monic polynomial $f(x)$, the prime factors of its value at integers $x\in\mathbb{N}$ forms a set $\mathcal{P}(f)$. Is it possible that ...
10
votes
0answers
451 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
1answer
876 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 ...
9
votes
2answers
245 views

Groups of units of $\mathbb{Z}\left[\frac{1+\sqrt{-3}}{2}\right]$

On page 230 of Dummit and Foote's Abstract Algebra, they say: the units of $\mathbb{Z}\left[\frac{1+\sqrt{-3}}{2}\right]$ are determined by the integers $a,b$ with $a^2+ab+b^2=\pm1$ i.e. with ...
9
votes
4answers
896 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
2answers
1k 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 ...
9
votes
2answers
312 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
2answers
461 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 ...
9
votes
2answers
169 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
1answer
1k views

What's a BETTER way to see the Gauss's composition law for binary quadratic forms?

There is a group structure of binary quadratic forms of given discriminant $d$: Let $[f]=[(a,b,c)], [f']=[(a',b',c')],$ where $d=b^2-4 a c=b'^2-4 a' c'.$ The composition of two binary quadratic ...
9
votes
4answers
447 views

Why does the equation $x^2-82y^2=\pm2$ have solutions in every $\mathbb{Z}_p$ but not in $\mathbb{Z}$?

I have been working on an exercise in H. P. F. Swinnerton-Dyer's book, A Brief Guide to Algebraic Number Theory. The question is like this: Show that $x^2-82y^2=\pm2$ has solutions in every ...
9
votes
2answers
880 views

Finding the norm in the cyclotomic field $\mathbb{Q}(e^{2\pi i / 5})$

I'm doing one of the exercises of Stewart and Tall's book on Algebraic Number Theory. The problem concerns finding an expression for the norm in the cyclotomic field $K = \mathbb{Q}(e^{2\pi i / 5})$. ...
9
votes
1answer
495 views

What is the relationship between non-Archimedean places of infinite extensions of number fields and primes in the ring of integers?

Let $K$ be a number field and $L$ an infinite algebraic extension of $K$. Fix a non-trivial absolute value $v$ on $K$ (so $v$ is induced either by an embedding into the complex numbers or by a prime ...
9
votes
1answer
73 views

What is the smallest $d$ such that $4$ has more than one distinct factorization in $\mathcal{O}_{\mathbb{Q}(\sqrt{d})}$?

Or if there is no such $d$, how do I prove it? Obviously there is no point to looking for this in an UFD. I've looked in other rings, and each time I think I found it, I divide one of the factors by ...
9
votes
2answers
256 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
1answer
219 views

Primes of ramification index 1 with inseparable residue field extension

I've been reading through Neukirch's Algebraic Number Theory, and I'm a little puzzled about a possibility with ramification of primes. As usual, let $\mathcal{O}_K$ be a Dedekind domain with field ...
9
votes
1answer
159 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 ...
9
votes
2answers
101 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 ...
9
votes
1answer
215 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 ...
9
votes
1answer
157 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 (or ...
9
votes
1answer
477 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 ...
9
votes
1answer
389 views

what is a “dévissage” argument?

In Serre's "Local Fields" (Chapter 2, section 2, proposition 3) he proves something about field extensions which he breaks into parts: first he dealt with the separable case, and then with the ...
9
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 ...
9
votes
1answer
736 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 ...
9
votes
2answers
232 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 ...
9
votes
1answer
190 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
84 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 ...
9
votes
2answers
120 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
426 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
78 views

If $p\equiv 1,9 \pmod{20}$ is a prime number, then there exist $a,b\in\mathbb{Z}$ such that $p=a^{2}+5b^{2}$.

I have to prove that if $p\equiv 1,9 \pmod{20}$ is a prime number then there exist $a,b\in\mathbb{Z}$ such that $p=a^{2}+5b^{2}$. I consider the quadratic field $\mathbb{Q}(\sqrt{-5})$, with ring of ...
9
votes
0answers
617 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
471 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
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 ...
8
votes
2answers
441 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
289 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
839 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
718 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
3answers
379 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
2answers
371 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
199 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
231 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
459 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
281 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
550 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
650 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
2answers
242 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
1answer
383 views

Why $p$-adically interpolate?

I'm studying $p$-adic analysis now and particularly $p$-adic interpolation; for example, constructions like $p$-adic $L$-functions (Kubota-Leopoldt style). I'm having some difficulty though, and I'd ...