Questions related to the algebraic structure of algebraic integers

learn more… | top users | synonyms

7
votes
2answers
321 views

Elementary proof of $\mathbb{Q}(\zeta_n)\cap \mathbb{Q}(\zeta_m)=\mathbb{Q}$ when $\gcd(n,m)=1$.

In an answer to another question I used the fact that $\mathbb{Q}(\zeta_m)\subseteq \mathbb{Q}(\zeta_n)$ if and only if $m$ divides $n$ (here $\zeta_n$ stands for a primitive $n$th root of unity, ...
7
votes
2answers
320 views

Roots of unity in $\mathbb{Q} _{11}$

Here $\mathbb{Q} _{11}$ denotes the 11-adic field. How can I show that the only root of unity of order 7 in this field is 1? Is it true that for any two distinct primes $p,q$, the only root of unity ...
7
votes
1answer
91 views

What do we know about the class group of cyclotomic fields over $\mathbb{Q}$?

Motivated by this question, I am curious how one can characterize primes that splits completely in the Hilbert class field of $\mathbb{Q}(\zeta_q)$, where $q$ is a prime. Then I realize how much I ...
7
votes
1answer
113 views

Infinite $p$-extension contains $\mathbb{Z}_p$-extension

Does the Galois group of every infinite $p$-extension $K$ of a number field $k$ contain a (closed) subgroup such that the quotient group is isomorphic to $\mathbb{Z}_p$? My feeling is "yes", but I'm ...
7
votes
1answer
242 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 ...
7
votes
1answer
185 views

Residue at $s=1$ for $\zeta$-functions

Is there any sort of a bound for the magnitude of this residue? I've been looking at some algebraic number theory problems from Princeton's general exam. One of them is the following: Why does a ...
7
votes
1answer
329 views

why does a certain formula in Lang's book on modular forms hold?

Background: Let $k$ be an even integer. The Eisenstein series are defined by $$E_{k} = 1 - \frac{2k}{B_{k}}\sum_{n=1}^{\infty} \sigma_{k-1}(n)q^{n}$$ where $$\sigma_{k-1}(n)= \sum\limits_{d \mid ...
7
votes
2answers
510 views

A question on FLT and Taniyama Shimura

Sometime back i watched the documentary of Andrew Wiles proving the Fermat's Last theorem. A truly inspiring video and i still watch it whenever i am in a depressed mood. There are certain ...
7
votes
2answers
603 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 ...
7
votes
1answer
799 views

What is the discriminant of a quadratic extension over a number field?

Let $K$ be a number field and $d \in \mathcal{O}_K \setminus \mathcal{O}_K^2$. What is the discriminant of the extension $K[\sqrt{d}]/K$ ? Do we know its ring of integers and which primes are split or ...
7
votes
1answer
566 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 ...
7
votes
1answer
182 views

Computing Brauer characters of a finite group

I am studying character theory from the book "Character Theory of Finite Groups" by Martin Isaac. (I am not too familiar with valuations and algebraic number theory.) In the last chapter on modular ...
7
votes
2answers
87 views

Primes inert in quadratic field of class number one

Let $K = \mathbb{Q}(\sqrt{-d})$ be an imaginary quadratic field of class number one (i.e. every ideal in $\mathcal{O}_K$ is principal, i.e. $\mathcal{O}_K$ is a principal ideal domain). Let $d_K$ be ...
7
votes
1answer
198 views

All number fields with absolute value of discriminant $\le 20$

I need to find all number fields with absolute value of discriminant $\le 20$. Using Minkovsky's theorem I understood that it should be quadric or cubic extension. The case of quadric is very ...
7
votes
1answer
207 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 ...
7
votes
1answer
149 views

Principal ideal domain not euclidean

Can anyone give an example of a principal ideal domain that is not Euclidean and is not isomorphic to $\mathbb{Z}[\frac{1+\sqrt{-a}}{2}]$, $a = 19,43,67,163$? I believe it is conjectured that no ...
7
votes
1answer
95 views

Proof in Kummer Theory - why is this subgroup finite?

I'm doing a course on elliptic curves. We're working with a field $K$ with $\mu_n \subset K$ ($K$ contains all $n$th roots of unity) and $\mbox{char}(K)\not|\;n$. I'm trying to understand the proof ...
7
votes
1answer
158 views

Determining when a certain binomial sum vanishes

Consider the following sum of signed binomial coefficients: $$S_{n,a,p} = \sum_{i \equiv a \mod p} \binom{n}{i}(-1)^i$$ ($n$ is a positive integer, $p$ is an odd prime, $a$ is between $0$ and ...
7
votes
1answer
172 views

How can I determine in practice whether two elliptic curves over $\mathbb{Q}$ have isomorphic $p$-torsion?

Let $E_1$ and $E_2$ be elliptic curves over $\mathbb{Q}$ with good, ordinary reduction at an odd prime $p$. I'm wondering how to determine whether $E_1[p]$ and $E_2[p]$ are isomorphic ...
7
votes
1answer
332 views

Special privilege enjoyed by Elliptic Curves with Complex Multiplication

I think after reading the title one may understand the intention of me, this question is concerned about the Elliptic curves having a Complex Multiplication. I have been reading many theorems, ( ...
7
votes
2answers
527 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 ...
7
votes
1answer
103 views

Implications between $(\frak{a} \cap \frak{b})$ = $\frak{a} \frak{b}$ and $(\frak{a})$ + $(\frak{b})$= $(1)$

In a general commutative ring, $(\frak{a} \cap \frak{b})$ = $\frak{a} \frak{b}$ does not imply ($\frak{a}$) + ($\frak{b}$) = ($1$); whereas ($\frak{a}$) + ($\frak{b}$) = ($1$) does imply $(\frak{a} ...
7
votes
1answer
198 views

Doesn't Abhyankar's lemma contradict faithful flat descent (no, but I'm confused)

Let $O_K$ be a dvr with fraction field $K$. Let $L/K$ be a tamely ramified finite Galois extension. Then, Abhyankar's Lemma implies that there exists a finite Galois extension $K^\prime/K$ such that ...
7
votes
1answer
114 views

“Real part” of a number field

Let ${\mathbb K} \subseteq {\mathbb C}$ be a finite extension of $\mathbb Q$, and let $n=[{\mathbb K} : {\mathbb Q}]$. Let $X_{\mathbb K}$ denote the set of all “components” (i.e., real and imaginary ...
7
votes
1answer
44 views

Greatest common divisor theorem proof

I wanted to prove an algebraic theorem and therefore I would need a statement like the following: In a commutative Ring $R$ it states for $a,b,c \in R$ with $a \neq b, a \leq c, b \leq c$ that ...
7
votes
1answer
212 views

How do we know if there are any better bounds than the Minkowski bound?

This question may be an exact replicate of some earlier question elsewhere. I want to know if there are better bounds than the Minkowski bound for the norm of the smallest ideal in an ideal class of ...
7
votes
1answer
199 views

Degrees of the real and imaginary parts of an algebraic number

I am working on a theory of generalized geometric constructions, which involves generating new numbers as real roots of polynomials whose coefficients are existing numbers satisfying certain ...
7
votes
1answer
189 views

Show the two fields are not isomorphic

Let $p,q,r$ be prime integers with $q\neq r$. Let $\sqrt[p]q$ denote any root of $x^p-q$ and $\sqrt[p]r$ denote any root of $x^p-r$. Please show that $\mathbb{Q}(\sqrt[p]q)\neq\mathbb{Q}(\sqrt[p]r)$. ...
7
votes
1answer
246 views

How does the Artin symbol generalize Legendre and Hilbert symbols?

I am currently going through a course in Class Field theory and have read that the Artin symbol generalizes the Legendre and Hilbert symbols. I was wondering what field extensions to consider to see ...
7
votes
1answer
91 views

Volume of first cohomology of arithmetic complex

Let $K$ be a number field and consider the Arithmentic complex $\Gamma_{Ar}(1)^\bullet$ be defined by $$\begin{array} A\Bbb R^{r_1+r_2} & \stackrel{\Sigma}{\longrightarrow} & \Bbb R \\ ...
7
votes
0answers
102 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 ...
7
votes
0answers
67 views

Ex. $2.30$ in Silverman Adv. Topics

I would like to refer you to Exercise $2.30(c)$ in Silverman's Advanced Topics in Elliptic Curves. Question: Let $E/L$ be an EC with CM by $K$. Assume that $K\nsubseteq L$, and let $L'=LK$ and let ...
7
votes
0answers
172 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 ...
7
votes
0answers
331 views

notation for ramification index and inertial degree

For a prime $Q$ lying over a prime $P$, I have seen the ramification index of $Q$ over $P$ denoted by $e(Q|P)$ and the inertial degree of $Q$ over $P$ by $f(Q|P)$. What is the origin of the ...
7
votes
0answers
163 views

Is the splitting field unramified over a prime $\mathfrak{p}$ if the discriminant of the polynomial is coprime to $\mathfrak{p}$?

Is the following statement true? Let $R$ be a discrete valuation ring with quotient field $K$ and valuation $\nu$. Suppose that $f(x)\in K[x]$ is an irreducible separable polynomial with ...
7
votes
0answers
147 views

closure of units of number fields in the finite idele topology

Let $K$ be a number field. Denote by $\mathcal O _K^\times$ its rings of units and by $\mathcal O _{K,+} ^\times$ its ring of totally positive units. Further let us denote by $\mathbb A ...
6
votes
2answers
357 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))$$ ...
6
votes
2answers
132 views

Usage of algebraic geometry in understanding the total Galois group of the rational

A professor of mine remarked in class that: "The tools via which we understand the total Galois group of the rationals comes from algebraic geometry". Could anyone shed some light on this remark, or ...
6
votes
3answers
221 views

What's the difference between $\mathbb{Q}[\sqrt{-d}]$ and $\mathbb{Q}(\sqrt{-d})$?

Sorry to ask this, I know it's not really a maths question but a definition question, but Googling didn't help. When asked to show that elements in each are irreducible, is it the same?
6
votes
4answers
325 views

Is there a procedure to determine whether a given number is a root of unity?

Let $z$ be an algebraic number of modulus one. Is there a finite procedure that tells us whether $z$ is a root of unity? EDIT: As TonyK and David asked, what I had in my mind is $z$ such that I have ...
6
votes
2answers
235 views

Galois extension of $\mathbb{Q}_2$ with Galois group $(\mathbb{Z}/2\mathbb{Z})^3$

I am trying to solve this exercise: Prove that $\mathbb{Q}_2$ has a unique Galois extension F with Galois group $(\mathbb{Z}/2\mathbb{Z})^3$. Compute it's ramification groups. Here is what I have ...
6
votes
3answers
1k views

Show that a specific ideal is not principal

In some cases, it is quite straightforward to prove that a specific ideal cannot be principal. For example, in the ring of integers of $\mathbb{Q}(\sqrt{-5})$, the ideal $(2,1+\sqrt{-5})$ is not ...
6
votes
4answers
263 views

Reference request for Algebraic Number Theory sources for self-study

I would appreciate any suggestions for book or notes on ANT at a level that I would characterize as advanced beginner. I.e., something assuming familiarity with topics in Dummit & Foote, that is a ...
6
votes
2answers
268 views

Splitting of primes in an $S_3$ extension

Let $\alpha$ be a root of the polynomial $X^3-X-1$. The polynomial has discriminant $-23$ which is not a square, so the splitting field must have Galois group $S_3$. I would like to figure out the ...
6
votes
3answers
150 views

Tensor product of a number field $K$ and the $p$-adic integers

In a paper by J. Jones and D. Roberts (http://math.la.asu.edu/~jj/localfields/database.pdf) we are introduced to an isomorphism $K \otimes \mathbb{Q}_p \cong \prod\limits_{i=1}^g K_{p,i}$, where $K$ ...
6
votes
4answers
208 views

number of solutions to an equation?

Given $x$ and $y$ are multiples of $2$ satisfying $$x^2 - y^2 = 27234702932$$ Find the number of solutions to $x$ and $y$.
6
votes
3answers
342 views

Why is a number field always of the form $\mathbb Q(\alpha)$ for $\alpha$ algebraic?

My definition of a number field is "a finite extension of $\mathbb Q$". I want to prove that if $L$ is a finite field extension of $\mathbb Q$, then $L = \mathbb Q(\alpha)$ for some $\alpha$ algebraic ...
6
votes
2answers
313 views

The Néron-Tate canonical height on elliptic curves

I have been trying to understand the Néron-Tate global canonical height of algebraic points on elliptic curves. Let $K$ be a number field, $E$ an elliptic curve (over $\mathbb{Q}$, say), and $E(K)$ ...
6
votes
3answers
446 views

Preparations for reading Algebraic Number Theory by Serge Lang

I am eager to learn algebraic number theory. It seems that Serge Lang's Algebraic Number Theory is one of the standard introductory texts (correct me if this is an inaccurate assessment). I flipped ...
6
votes
2answers
152 views

Prove $\sum_{i=1}^{n-k} (-1)^{i+1}\; \cdot \; \tfrac{(k-1+i)!}{k! \cdot(-1+i)!} \; \cdot \; \tfrac{n!}{(k+i)! \; \cdot \; (n-k-i)!}=1$

How do I proof this for n>k? I found this Problem in a book at my universities library, but sadly the book doesn't show a solution. I worked on it quite a long time, but now I have to admit that this ...