Questions related to the algebraic structure of algebraic integers

learn more… | top users | synonyms

8
votes
1answer
114 views

What's special about characteristic 2?

I'm trying to get the big picture of how bilinear forms and quadratic forms relate over fields $F$ with $char(F) = 2$ and fields with $char(F) \neq 2$. What I gather so far is that if $char(F) \neq ...
8
votes
1answer
440 views

Computing the ring of integers of a number field $K/\mathbb{Q}$: Is $\mathcal{O}_K$ always equal to $\mathbb{Z}[\alpha]$ for some $\alpha$?

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 ...
8
votes
2answers
68 views

Irreducibility of Cyclotomic polynomials over number field

Let $K$ be a number field i.e. a finite extension of $\mathbb{Q}$. For a positive integer $n$, let $\Phi_n(X)$ denote the $n$-th cyclotomic polynomial. Is it possible to say that there exist at most ...
8
votes
2answers
122 views

Number of Primes in Ring of Integers of a Number Field

In the ring of integers of an algebraic number field, we say that an algebraic integer $p$ is prime if, whenever $p$ divides product of two algebraic integers, $p$ divides one of them. An algebraic ...
8
votes
3answers
359 views

Counting the Number of Integral Solutions to $x^2+dy^2 = n$

It is a well known result that the number of integer solutions $(x,y), x>0, y\ge 0$ to $x^2+y^2 = n$ is $\sum_{d|n}\chi(d)$, where $\chi$ is the nontrivial Dirichlet character modulo $4$ such that ...
8
votes
1answer
202 views

Kronecker-Weber Theorem and Finite Fields

Today it occurred to me that every algebraic extension of $\mathbb F_q$ is cyclotomic, as $\mathbb F_{q^n}$ can be gotten by adjoining a $(q^n-1)^{st}$ root of unity. Also, every algebraic extension ...
8
votes
1answer
129 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 : ...
8
votes
1answer
252 views

An exercise involving characters

Suppose $p$ is a prime, $\chi$ and $\lambda$ are characters on $\mathbb{F}_p$. How can I show that $\sum_{t\in\mathbb{F}_p}\chi(1-t^m)=\sum_{\lambda}J(\chi,\lambda)$ where $\lambda$ varies over all ...
8
votes
1answer
73 views

Zeta function, $\mathbb{F}_5[T, \sqrt{T(T-1)(T+1)}]$

Let $A = \mathbb{F}_5[T, \sqrt{T(T-1)(T+1)}]$. My question is, what is the easiest way to see that$$\zeta_A(s) = {{1 + 2 \cdot 5^{-s} + 5^{1 - 2s}}\over{1 - 5^{1 - s}}}?$$Much thanks in advance. ...
8
votes
2answers
135 views

Reference for relation between class number of $\Bbb Q[\sqrt{-p}]$ and partial quotients of $\sqrt p$

So in Ireland and Rosen's, "Classical Introduction to Modern Number Theory", they mention the following incredible fact at the end of Chapter 13, section 1. Suppose $p \neq 3$ and $p \equiv 3 \pmod 4$ ...
8
votes
1answer
130 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 ...
8
votes
1answer
157 views

$\mathbb Z_p$-rank $\leq r_1+r_2-1$ in Leopoldt's conjecture

I am trying to understand Leopoldt's conjecture as formulated in section 5.5 of Washington's "Introduction to Cyclotomic Fields". For an algebraic number field $K$ let $E$ denote the global units, ...
8
votes
1answer
185 views

Where is the calculation hiding in this proof about how $p$ splits in $\mathbb{Q}(\zeta_n)$?

I just worked through a proof in Daniel Marcus' book Number Fields that if $p\nmid n$, the inertial degree of any prime ideal of $\mathbb{Q}(\zeta_n)$ lying over $p$ is equal to the order of $p$ in ...
8
votes
2answers
576 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 + ...
8
votes
3answers
295 views

How to show that $1-\zeta$ is prime in the order $\{ 1, \zeta, \ldots, \zeta^{l-2} \}$?

I am trying to prove the following: Let $l$ be a prime and let $\zeta$ be a $l$th root of unity. Show that, in the order $\{ 1, \zeta, \ldots, \zeta^{l-2} \}$ of the field $\mathbb{Q}(\zeta)$, if ...
8
votes
1answer
68 views

Poles of a sum of functions

The other question is here. Let $F$ be a function field in one variable over a field $k$. Let $S$ a nonempty finite subset of the set of all places of $F$. Prove that if $P \in S$, there is an ...
8
votes
1answer
137 views

Characterizing a sequence of primes

This is an attempt to finish up Characterizing the primes which don't divide any Pell-Lucas number(s) For primes $p \equiv 3 \pmod 4,$ there is always some solution to $x^2 - 2 y^2 = \pm 1$ with ...
8
votes
1answer
155 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 ...
8
votes
1answer
406 views

Ramanujan-Nagell Theorem Proof Question

I'm currently working through Stewart and Tall's Algebraic Number Theory. In particular, section 4.9 of this book provides a proof of the Ramanujan-Nagell Theorem, which states that the only integer ...
8
votes
2answers
283 views

Some questions about ramifications of primes

I was trying to show that the ring of integers of $K=\mathbb{Q}(\sqrt[3]{2})$ is $\mathbb{Z}[\sqrt[3]{2}]$ and came up with the following question. Computing the discriminant of ...
8
votes
0answers
85 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
81 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
200 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
133 views

Specializations of elementary symmetric polynomials

Let $\mathcal{S}_{x}=\{x_{1,},x_{2},\ldots x_{n}\}$ be a set of $n$ indeterminates. The $h^{th}$elementary symmetric polynomial is the sum of all monomials with $h$ factors \begin{eqnarray*} ...
8
votes
0answers
233 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
209 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 ...
8
votes
1answer
200 views

Adelic/Idelic method for number fields

I'm searching for a place where is developed all the machinery of adeles and ideles of a number field; the functional equation for the zeta functions is gained by idelic integration, and it's seen the ...
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
399 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
3answers
331 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
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 ...
7
votes
5answers
453 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
2answers
217 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
309 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
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
239 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
2answers
159 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 ...
7
votes
3answers
253 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
241 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
145 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
340 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
125 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
127 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
2answers
292 views

How to compute a discriminant

Let $\alpha$ be a root of the irreducible cubic polynomial $x^{3}+px+q$, $p,q\in \mathbb{Q}$. How can I compute the discriminant $\Delta(1,\alpha,\alpha^{2})$ relative to $\mathbb{Q}(\alpha)$?
7
votes
1answer
236 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
374 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
549 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
165 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, ...