Questions related to the algebraic structure of algebraic integers

learn more… | top users | synonyms

6
votes
2answers
494 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 + ...
10
votes
2answers
828 views

Ideal class group of a one-dimensional Noetherian domain

Let $A$ be a one-dimensional Noetherian domain. Let $K$ be its field of fractions. Let $B$ be the integral closure of $A$ in $K$. Suppose $B$ is finitely generated $A$-module. It is well-known that B ...
0
votes
1answer
120 views

On a certain basis of an order of a quadratic number field

Let $K$ be an algebraic number field of degree $n$. An order of $K$ is a subring $R$ of $K$ such that $R$ is a free $\mathbb{Z}$-module of rank $n$. Let $\alpha_1, \cdots, \alpha_n$ be a basis of $R$ ...
12
votes
1answer
253 views

primes represented integrally by a homogeneous cubic form

Expired by this question Show determinant of matrix is non-zero I am moved to ask: Given integers $a,b,c,$ and cubic form $$ f(a,b,c) = a^3+2 b^3-6 a b c+4 c^3 = \left|\begin{bmatrix} a & 2c ...
25
votes
6answers
1k views

Easy way to show that $\mathbb{Z}[\sqrt[3]{2}]$ is the ring of integers of $\mathbb{Q}[\sqrt[3]{2}]$

This seems to be one of those tricky examples. I only know one proof which is quite complicated and follows by localizing $\mathbb{Z}[\sqrt[3]{2}]$ at different primes and then showing it's a DVR. ...
8
votes
1answer
656 views

Reference book for Artin-Schreier Theory

The aim of the question is very simple, I would like to study Artin-Schreier Theory, but I have had embarassing difficulties in finding a book which could help me in doing that. In specific I'm ...
5
votes
3answers
388 views

On the ring generated by an algebraic integer over the ring of rational integers

Let $f(X) \in \mathbb{Z}[X]$ be a monic irreducible polynomial. Let $\theta$ be a root of $f(X)$. Let $A = \mathbb{Z}[\theta]$. Let $p$ be a prime number. Suppose $p$ does not divide the discriminant ...
41
votes
4answers
4k views

Are all algebraic integers with absolute value 1 roots of unity?

If we have an algebraic number α with (complex) absolute value 1, it does not follow that α is a root of unity (i.e., that αn=1 for some n). For example, (3/5 + 4/5 i) is not a root of ...
4
votes
3answers
582 views

Group theory proof of existence of a solution to $x^2\equiv -1\pmod p$ iff $p\equiv 1 \pmod 4$

I've read through the elementary proof of why there exists a solution $x$ to $x^2\equiv -1\pmod p$ iff $p\equiv 1 \pmod 4$ for $p$ an odd prime. Is there a group theory generalization for this fact as ...
3
votes
7answers
185 views

Trying to get a bound on the tail of the series for $\zeta(2)$

$\frac{\pi^2}{6} = \zeta(2) = \sum_{k=1}^\infty \frac{1}{k^2}$ I hope we agree. Now how do I get a grip on the tail end $\sum_{k \geq N} \frac{1}{k^2}$ which is the tail end which goes to zero? I ...
6
votes
2answers
1k views

Local-Global Principle and the Cassels statement.

In a recent article I have read, i.e. " Lecture notes on elliptic curves ", Prof.Cassels remarks in page-110 that There is not merely a local-global principle for curves of genus-$0$, but ...
-5
votes
1answer
132 views

Canonical basis of an ideal of a quadratic order

Let $K$ be a quadratic number field. Let $R$ be an order of $K$, $D$ its discriminant. I am interested in the ideal theory on $R$ because it is closely related to the theory of binary quadratic forms ...
27
votes
1answer
353 views

Are elementary and generalized hypergeometric functions sufficient to express all algebraic numbers?

Are (integers) plus (elementary functions) plus (generalized hypergeometric functions) sufficient to represent any algebraic number? For example, the real algebraic number $\alpha\in(-1,0)$ ...
4
votes
1answer
382 views

rational angles with sines expressible with radicals

An angle x is rational when measured in degrees. sin(x) is can be written using radicals. What are the conditions on x? If nested square roots are allowed? What I know so far: If sin(x) can be ...
7
votes
0answers
192 views

Numbers represented by a cubic form

EDIT, April 11, 2013: See answer at http://mathoverflow.net/questions/127160/numbers-integrally-represented-by-a-ternary-cubic-form/127295#127295 This is part 2 ( of 25 discriminants of class number ...
6
votes
1answer
458 views

A binary quadratic form and an ideal of an order of a quadratic number field

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 + ...
3
votes
1answer
581 views

Prove that the class number of $\mathbb{Z}[\zeta_3]$ is $1$

How does one prove that the class number of $\mathbb{Z}[\zeta_3]$ is $1$?
1
vote
1answer
148 views

On orders of a quadratic number field

Let $K$ be an algebraic number field of degree $n$. An order of $K$ is a subring $R$ of $K$ such that $R$ is a free $\mathbb{Z}$-module of rank $n$. Let $\alpha_1, \cdots, \alpha_n$ be a basis of $R$ ...
1
vote
1answer
309 views

Discriminant of a binary quadratic form and an order of a quadratic number field

Let $ax^2 + bxy + cy^2$ be a binary quadratic form over $\mathbb{Z}$. Let $D = b^2 - 4ac$ be its discriminant. It is easy to see that $D \equiv 0$ (mod $4$) or $D \equiv 1$ (mod $4$). Conversely ...
-1
votes
1answer
81 views

Condition for $a, b + \omega$ to be the canonical basis of an ideal of a quadratic order

Let $K$ be a quadratic number field. Let $R$ be an order of $K$, $D$ its discriminant. By this question, $1, \omega = \frac{(D + \sqrt D)}{2}$ is a basis of $R$ as a $\mathbb{Z}$-module. Let $I$ be a ...
41
votes
5answers
1k views

Golden Number Theory

The Gaussian $\mathbb{Z}[i]$ and Eisenstein $\mathbb{Z}[\omega]$ integers have been used to solve some diophantine equations. I have never seen any examples of the golden integers ...
17
votes
1answer
526 views

Are $\pi$ and $e$ algebraically independent?

Update Edit : Title of this question formerly was "Is there a polynomial relation between $e$ and $\pi$?" Is there a polynomial relation (with algebraic numbers as coefficients) between $e$ or $\pi$ ...
5
votes
2answers
2k 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 ...
4
votes
1answer
241 views

Multidimensional Hensel lifting

I have a question about a practical application of (some) generalised form of Hensel's Lemma. I cannot find it stated in an appropriate form in Bourbaki or anywhere else, so here goes ... Let $p$ be ...
4
votes
1answer
568 views

Intuition and Stumbling blocks in proving the finiteness of WC group

After reading many articles about the Tate-Shafarevich Group ,i understood that "in naive perspective the group is nothing but the measure of the failure of Hasse principle, and coming to its ...
4
votes
3answers
535 views

Dedekind's theorem on the factorisation of rational primes

Let $K$ be an algebraic number field, and suppose its ring of integers is $\mathcal{O}_K = \mathbb{Z}[\theta]$ for some $\theta \in \mathcal{O}_K$. Let $f \in \mathbb{Z}[X]$ be the minimal polynomial ...
2
votes
0answers
196 views

The narrow class group of an order of a quadratic field and the genera of binary quadratic forms

Let $\mathfrak{F}$ be the set of binary quadratic forms over $\mathbb{Z}$. Let $F = ax^2 + bxy + cy^2 \in \mathfrak{F}$. Let $\alpha = \left( \begin{array}{ccc} p & q \\ r & s \end{array} ...
-2
votes
1answer
227 views

Criterion on whether a given ideal of a quadratic order is regular or not

Let $K$ be an algebraic number field of degree $n$. Let $\mathcal{O}_K$ be the ring of algebraic integers. Let $R$ be an order of $K$, i.e. a subring of $K$ which is a free $\mathbb{Z}$-module of rank ...
24
votes
1answer
780 views

Are Primes a Self-Fulfilling Prophecy?

Assume the following process: Let's start with the set of primes $\{p_k\}$ Then we use the Euler product being equivalent to Riemann's Zeta function $$ \prod_{p \text{ prime}} \frac{1}{1-p^{-s}} = ...
31
votes
3answers
2k views

Sums of roots of unity

If the integral linear combination of some $n$th roots of unity has magnitude 1, does this necessarily imply that this linear combination is some root of unity as well? More precisely, let $\zeta_1, ...
15
votes
3answers
666 views

Finite abelian groups as class groups

Is it known whether every finite abelian group is isomorphic to the ideal class group of the ring of integers in some number field? If so, is it still true if we consider only imaginary quadratic ...
10
votes
3answers
1k views

How many elements in a number field of a given norm?

Let $K$ be a number field, with ring of integers $\mathcal{O}_k$. For $x\in \mathcal{O}_K$, let $f(x) = |N_{K/\mathbb{Q}}(x)|$, the (usual) absolute value of the norm of $x$ over $\mathbb{Q}$. ...
4
votes
1answer
294 views

What is the index of the $p$-th power of $\mathbb Q_p$ in $\mathbb Q_p$

In this book it is listed as an exercise to compute the index $[\mathbb Q_p:\mathbb Q_p^p]$. This exercise is appended to a section concerning the structure of unit-group filters, investigating some ...
7
votes
2answers
676 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 ...
4
votes
1answer
956 views

Integers in biquadratic extensions

Where can I find information (at least examples) about factorization of prime ideals in biquadratic extensions of $\mathbb{Q}$. Right now I have no idea how, for example, find factorization of $(2)$ ...
3
votes
1answer
219 views

Global class field theory without p-adic method

I know the p-adic method is important in algebraic number theory. However, in the old days, the global class field theory was developed using only ideals and classical analysis. I'm curious to know ...
18
votes
2answers
951 views

Why do we use this definition of “algebraic integer”?

A number is an "algebraic integer" if it is the root to a monic polynomial with integer coefficients. Artin says (Algebra, p. 411): The concept of algebraic integer was one of the most important ...
9
votes
2answers
654 views

Value of cyclotomic polynomial evaluated at 1

Let $\Phi_n(x)$ 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 = ...
8
votes
3answers
390 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 ...
5
votes
2answers
290 views

Determining ring of integers for $\mathbb{Q}[\sqrt{17}]$

I'm trying to find the ring of integers of $\mathbb{Q}[\sqrt{17}]$, and it comes down to determining the set $\{(a,b)\in\mathbb{Q}^2\mid 2a\in \mathbb{Z}, a^2-17b^2\in\mathbb{Z}\}$. How can I ...
10
votes
2answers
477 views

Suppose $a \in \mathbb{R}$, and $\exists n \in \mathbb{N}$, that $a^n \in \mathbb{Q}$, and $(a + 1)^n \in \mathbb{Q}$

1) Suppose $a \in \mathbb{R}$, and $\exists n \in \mathbb{N}$, that $a^n \in \mathbb{Q}$, and $(a + 1)^n \in \mathbb{Q}$. Prove: Is it true that $a \in \mathbb{Q}$? 2) Suppose $a \in \mathbb{C}$, ...
4
votes
3answers
456 views

Does any integral domain contain an irreducible element?

Let $R$ be an integral domain which is not a field. Does $R$ necessarily have an irreducible element? I suspect the answer is no, but I couldn't find an example showing that...
2
votes
2answers
555 views

Decomposition of a prime number in a cyclotomic field

Let $l$ be an odd prime number and $\zeta$ be a primitive $l$-th root of unity in $\mathbb{C}$. Let $A$ be the ring of algebraic integers in $\mathbb{Q}(\zeta)$. Let $p$ be a prime number such that ...
2
votes
1answer
969 views

Are there any good algebraic geometry books to recommend? [duplicate]

Possible Duplicate: (undergraduate) Algebraic Geometry Textbook Recomendations I am interested in algebraic number theory and I am recently acquainted with the theory of valuations, which ...
1
vote
4answers
164 views

Solutions to the diophantine equation: $2a^2 + 2b^2- c^2- d^2 = 0$

As suggested on Mathoverflow (http://mathoverflow.net/questions/168536/solutions-to-the-diophantine-equation-2a2-2b2-c2-d2-0) I am transfering this question to math-stackexchange: I am looking for ...
4
votes
0answers
234 views

Is an algebraic integer all of whose conjugates have absolute value 1 a root of unity? [duplicate]

Possible Duplicate: Are all algebraic integers with absolute value 1 roots of unity? Let $\alpha$ be an algebraic integer. Suppose that all the roots of its minimal polynomial have absolute ...
2
votes
1answer
112 views

Discriminant of a quadratic number

Let $\alpha \in \mathbb{C}$ be an algebraic number. If the minimal polynomial of $\alpha$ over $\mathbb{Q}$ has degree $2$, we say $\alpha$ is a quadratic number. Let $\theta$ be a quadratic number. ...
1
vote
2answers
241 views

Discrete valuation ring associated with a prime ideal of a Dedekind domain

Let $A$ be a Dedekind domain. Let $K$ be the field of fractions of $A$. Let $P$ be a non-zero prime ideal of $A$. Let $v_P$ be the valuation of $K$ with respect to $P$. Then the localization $A_P$ of ...
0
votes
2answers
141 views

The discriminant of an integral binary quadratic form and the discriminant of a quadratic number field

Let $ax^2 + bxy + cy^2$ be a binary quadratic form over $\mathbb{Z}$. Let $D = b^2 - 4ac$ be its discriminant. It is easy to see that $D \equiv 0$ (mod $4$) or $D \equiv 1$ (mod $4$). Conversely ...
-2
votes
1answer
207 views

Periods of a cyclotomic field

Let $l$ be an odd prime number and $\zeta$ be a primitive $l$-th root of unity in $\mathbb{C}$. Let $K = \mathbb{Q}(\zeta)$. Let $A$ be the ring of algebraic integers in $K$. Let $G$ be the Galois ...