Questions related to the algebraic structure of algebraic integers

learn more… | top users | synonyms

8
votes
0answers
74 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 ...
8
votes
0answers
68 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 ...
8
votes
0answers
184 views

Irreducibility of cyclotomic polynomials via schemes

A few months ago, someone told me there existed a scheme theoretic proof of the irreducibility of cyclotomic polynomials. I've tried coming up with a proof, and when that didn't really yield anything ...
8
votes
0answers
225 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 ...
8
votes
0answers
202 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
6answers
2k 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
4answers
391 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 ...
7
votes
1answer
368 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
3answers
328 views

$-1$ as the sum of three squares of algebraic integers in $\mathcal{O}_{\mathbb{Q}(\sqrt{-7})}$

Following the result of Ivan Niven, in his paper http://www.ams.org/journals/tran/1940-048-03/S0002-9947-1940-0003000-5/S0002-9947-1940-0003000-5.pdf That is whenever $d\equiv 3 \pmod 4$, every ...
7
votes
5answers
423 views

Proving $\sqrt{2}\in\mathbb{Q_7}$?

Why does Hensel's lemma imply that $\sqrt{2}\in\mathbb{Q_7}$? I understand Hensel's lemma, namely: Let $f(x)$ be a polynomial with integer coefficients, and let $m$, $k$ be positive integers ...
7
votes
3answers
286 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$ ...
7
votes
2answers
1k views

what does it mean for a prime at infinity to ramify?

I understand what it means for a prime number to ramify in a ring of integers of a number field. However, an infinite prime is an archimedean valuation, what does it mean for an archimedean valuation ...
7
votes
2answers
211 views

Why study integrality?

Here are a few of the basic definitions related to integrality. (1) A polynomial in $R[x]$ is monic if its leading coefficient is $1$. (2) An element is integral over a ring $R$ if it ...
7
votes
3answers
1k 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 ...
7
votes
1answer
416 views

The ring of integers of a number field is finitely generated.

For a number field $K$, we define the ring of integers of $K$ to be $$\mathcal{O}_K:=\{x\in K\big|\ (\exists f\in\mathbb{Z}[X])(f\ \text{ is monic and } f(x)=0)\}.$$ Is there any easy way to see from ...
7
votes
1answer
216 views

Is every nonzero integer the discriminant of some algebraic number field?

I do know that if $m \equiv 1 \pmod 4$ and squarefree, it is probably the discriminant of $\mathbb{Q}[\sqrt{m}]$, and I also know some negative multiples of 27 are discriminants of cubic number ...
7
votes
3answers
244 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
238 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
2k views

Integral solutions to $y^{2}=x^{3}-1$

How to prove that the only integral solutions to the equation $$y^{2}=x^{3}-1$$ is $x=1, y=0$. I rewrote the equation as $y^{2}+1=x^{3}$ and then we can factorize $y^{2}+1$ as $$y^{2}+1 = (y+i) \cdot ...
7
votes
1answer
143 views

Are there infinitely many pairs of rational numbers such that…

Are there infinitely many pairs of rational numbers $(a,b)$ such that $a^3+1$ is not a square in $\mathbf{Q}$, $b^3+2$ is not a square in $\mathbf{Q}$ and $b^3+2 = x^2(a^3+1)$ for some $x$ in ...
7
votes
2answers
485 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
336 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
119 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
125 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
232 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
1k 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
368 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
548 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
3answers
158 views

Algebraic number theory topics for undergrads

What are some interesting topics or problems in algebraic number theory which could be presented to students in a first undergraduate algebra course (which covers some elementary number theory, ...
7
votes
1answer
589 views

How to arrive at Ramanujan nested radical identity

I've come across a very curious Ramanujan identity $$\sqrt[6]{7 \sqrt[3]{20} - 19} = \sqrt[3]{\frac{5}{3}} - \sqrt[3]{\frac{2}{3}}$$ You could probably prove this by taking the 6th power of both ...
7
votes
1answer
511 views

What is the best book learn Galois Theory if I am planning to do number theory in future?

What is the best book learn Galois Theory if I am planning to do number theory in future? In a year i'll be joining for my Phd and my area of interest is number theory. So I want to know if there is ...
7
votes
2answers
934 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
2answers
111 views

Infinite Units for $\mathbb{Z}[\sqrt{7}]$

Suppose that $\alpha \in \mathbb{Z}[\sqrt{7}]$ where $\alpha$ is of the form $a + b\sqrt{7}$ where $a, b \in \mathbb{Z}$. Because $\alpha$ is a unit if and only if $N(\alpha)=\pm 1$ we must show: ...
7
votes
2answers
137 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
3answers
520 views

Is there any trivial reason for $2$ is irreducible in $\mathbb{Z}[\omega],\omega=e^{\frac{2\pi i}{23}}$?

This naive question came as the last problem in my homework. The author asked me to use linear relations of the discriminant like ...
7
votes
2answers
573 views

On the class group of an imaginary quadratic number field

Let $d < 0$ be a square-free integer and let $p_{1},\ldots p_{r}$ be the prime divisors of $d$. Let $K := \mathbb{Q}[\sqrt{d}]$ and consider $P_{i} := (p_{i}, \sqrt{d}) \subset \mathcal{O}_{K}$. ...
7
votes
1answer
127 views

can anyone give a proof by definition: $11$ is prime in $ \mathbb{Z}[\sqrt{-5}] $

what i did is: assume $\alpha \notin (11),\beta\notin (11), \alpha\beta \in (11)\Rightarrow\exists \gamma, s.t.$ $ \alpha\beta = 11 \gamma$, $\Rightarrow N(\alpha)N(\beta) = 11^2N(\gamma) $ then ...
7
votes
1answer
84 views

Generalizing the Big Omega function to Integral Domains

The $\Omega(n)$ function counts the total number of prime factors of $n$ counting multiplicity. Obviously, this definition extends to any Unique Factorization Domain. I have two follow up questions: ...
7
votes
2answers
93 views

Show that $\sqrt{-6}$ is irreducible in $\mathbb{Z}+\mathbb{Z}\sqrt{-6}$

Suppose not. Then there exists $\alpha,\beta\in\mathbb{Z}+\mathbb{Z}\sqrt{-6}$ such that $\sqrt{-6}=\alpha\beta\implies\alpha,\beta$ are not units. I'm not really sure where to go from here. Any ...
7
votes
1answer
132 views

What is going on in this degree 8 number field that fails to be a quaternion extension of $\mathbb{Q}$?

This is a soft but very mathematically hands-on question. Hopefully it will be interesting to more than just me. Thanks in advance for your help in thinking clearly about what follows. I have been ...
7
votes
1answer
326 views

Ring class field of $\mathbb{Q}(\sqrt{-19})$

I am looking an explicit form for the ring class field of the order $\mathbb{Z}[\sqrt{-19}]$ in the quadratic field $\mathbb{Q}(\sqrt{-19})$. Does anyone know if there is some and how it is?
7
votes
1answer
378 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
1answer
263 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
173 views

p-adic modular form example

In Serre's paper on $p$-adic modular forms, he gives the example (in the case of $p = 2,3,5$) of $\frac{1}{Q}$ and $\frac{1}{j}$ as $p$-adic modular forms, where $Q = E_4 = 1 + 540\sum ...
7
votes
1answer
78 views

How to test if a given elliptic curve has complex multiplication

Is there a general, reasonably easy to understand, algorithm for testing whether an elliptic curve has CM? For example, consider the curve $y^2=x^3+\frac{27}{1727}x+\frac{54}{1727}$ This has ...
7
votes
1answer
124 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
154 views

Ramification indices and residue degrees of a finite Galois extension

Let $A$ be a dvr with fraction field $K$ of characteristic zero. Let $L/K$ be a finite Galois extension and let $B$ be the integral closure of $A$ in $L$. For a prime $b$ of $B$, let $e_b$ be its ...
7
votes
1answer
177 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
192 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
365 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, ( ...