Questions related to the algebraic structure of algebraic integers

learn more… | top users | synonyms

0
votes
1answer
16 views

Dedekind rings which are UFDs but not PIDs?

I just have a really quick question of an example that I was trying to come up with. Are there any number rings which are UFDs but not PIDs?
0
votes
0answers
18 views

$A\alpha_1+\dots +A\alpha_n$ is a $B$-module

Let $A$ be an integrally closed domain with quotient field $K$ and $L/K$ a finite separable field extension. We denote with $B$ the integral closure of $A$ in $L$. Now let $\alpha_1,\dots,\alpha_n\in ...
1
vote
1answer
29 views

Localization of the Integer Ring

Let $\mathbb{Z}$ be the ring of integers and let $p$ be a prime, then the $p$-localization of $\mathbb{Z}$ is defined as $\mathbb{Z}_{(p)}=\{\displaystyle\frac{a}{b}|a,b\in\mathbb{Z},p\nmid b\}$. I ...
2
votes
1answer
42 views

Algebraic Integers in $\mathbb{Q}(\sqrt{m})$ and Norms on them

I'm having a problem with a section of Niven's book the Theory Of Numbers. I am trying to show: If an integer $\alpha \in \mathbb{Q}(\sqrt{m})$ is neither zero nor a unit, prove that ...
3
votes
1answer
30 views

Non unique factorization domains with prime factorizations with differing number of primes

As is well-known, $Z[\sqrt{-5}]$ is not a ufd because $6$ has more than one prime factorization in this ring: $6=2\cdot 3$ and $6=(1+\sqrt{-5})(1-\sqrt{-5})$. But both of these prime factorizations ...
2
votes
0answers
32 views

Are there any primes that are never a factor of a Carmichael number?

Is there a prime number $p$ that $p > 2$, and in which $p$ is a never a factor of any Carmichael number $C_n$: (p ∤ $C_n$) Extended this to all numbers $m$, instead of just $p$, will prove the ...
12
votes
0answers
184 views
+150

Can a Mersenne number ever be a Carmichael number?

Can a Mersenne number ever be a Carmichael number? More specifically, can a composite number $m$ of the form $2^n-1$ ever pass the test: $a^{m-1} \equiv 1 \mod m$ for all intergers $a >1$ ...
3
votes
2answers
48 views

Does it hold that the $p$-adic completion of the integers equals the completion of the localization in $p$?

maybe this is a stupid question, but I could not solve it even for the ordinary integers $\mathbb{Z}$. Furthermore, I don't have to much knowledge on algebraic number theory and ramifications. Let ...
3
votes
3answers
42 views

If algebraic $a$ has degree $n$, so does $-a$

I feel like the best way to move forward is to use a contradiction proof. Since $a$ is algebraic, and is of degree $n$, it has a minimal polynomial of degree $n$, so we can write ...
6
votes
2answers
58 views

minimal polynomial given an algebraic number

I am trying to find the minimal polynomial for the algebraic number $1+\sqrt{2}+\sqrt{3}$. My original thought was just let $\alpha=1+\sqrt{2}+\sqrt{3}$. The method I use though seems very ...
5
votes
1answer
57 views

Class group of $\mathbb{Q}(\sqrt[4]{-2})$

I would like to show directly that $C(K)$ is trivial, where $K = \mathbb{Q}(\sqrt[4]{-2})$. Write $\delta = \sqrt[4]{-2}$. It is pretty easy to see that $\mathcal{O}_K = \mathbb{Z}[\delta] = R$. Then ...
3
votes
2answers
48 views

explicit example of computing ray class field for imaginary quadratic?

Given an imaginary quadratic number field K, we can get its ray class field mod some ideal $\mathcal{m}$ by adjoining the j-invariant of an elliptic curve with complex multiplication given by ...
1
vote
2answers
49 views

Help with proof regarding degrees of polynomials

How do you prove that if $f(x)\mid g(x)$ in $F[x]$, then either $g(x) = 0$ or $\deg(g(x)) \geq \deg(f(x))$ I'm not really sure how to prove these types of statements
2
votes
2answers
39 views

Finding ideal representatives in the class group of $\mathbb{Q}(\zeta_{23})$

I know that $\mathbb{Q}(\zeta_{23})$ has class number 3, and I am wondering how I can find ideal representatives of the two nonprincipal classes in the class group. I have tried looking at examples ...
0
votes
1answer
20 views

When Is there no Local Power Integral Basis?

Let $A$ be a Dedekind domain, $K, L, B$ the usual designations of $A$'s quotient field, a finite separable extension of $K$, and integral closure of $A$ in $L$ respectively. If $\alpha \in B$ ...
6
votes
2answers
106 views

Finding non-negative integers $m$ such that $(1 + \sqrt{-2})^m$ has real part $\pm 1$.

I believe that the integers $m$ with $(1+\sqrt{-2})^m$ having real part $\pm 1$ are $0, 1, 2$ and $5$, but I'm having trouble proving it. Write $$a_m = \Re((1+\sqrt{-2})^m) = \frac{(1 + \sqrt{-2})^m ...
41
votes
4answers
3k views

Fibonacci number that ends with 2014 zeros?

This problem is giving me the hardest time: Prove or disprove that there is a Fibonacci number that ends with 2014 zeros. I tried mathematical induction (for stronger statement that claims that ...
-1
votes
1answer
56 views

P-adic coefficient series [closed]

Let $f$ be: $$f(x)=\sum_{n=0}^{\infty} a_nx^n$$ Such that $a_n \in \mathbb{Z_p}$ and $a_n \to 0$ We denote $|f|=\max|a_n| \space $and $\deg(f)=\max\{n:|a_n|=|f|\}$.$$$$ ($a$) Prove that if ...
3
votes
1answer
48 views

Question on number theory ( related to (Z/p^rZ)* group )

This is a (different version to) question from Serre 'A Course in Arithmetic'.Let p be an odd prime number. $\forall n\geq 1$ (n positive integer), $f$ is defined by: $$f(n)=(-1)^n\prod_{1\le k\le n ...
1
vote
0answers
55 views

Can a ring of integers be free over a non-PID?

Let $K \subseteq L$ be an extension of number fields, and $A \subseteq B$ the corresponding rings of integers. $B$ is an $A$-module, generated by $[L : K]$ elements. If $K$ has class number one, ...
1
vote
0answers
45 views

Trivial Rost-Motive of a quadric

Let $q$ be the anisotropic,quadratic form of rank two corresponding to $\alpha = d(q) \in H^1(k,\mu_2)$. In his lecture notes "Topics in quadratic Forms" Vishik writes: For $n=1$ we get the ...
1
vote
1answer
21 views

Extensions of nonarchimedean valuations

This is a question from Janusz 'Algebraic Number Theory'. Let $R$ be a DVR with maximal ideal $\mathfrak p=\pi R$. Let $K$ be the quotient field of $R$ and $\mid\cdot\mid_{\mathfrak p}$ the ...
2
votes
1answer
42 views

Strong approximation theorem for Dedekind Domains

This is a theorem in "Maximal Orders" by Reiner. Page 48 stated without proof. And is said to be an easy consequence of The Chinese remainder Theorem. I am attempting to prove the theorem and need a ...
3
votes
2answers
75 views

Finding the GCD of two Gaußian integers

How do you calculate the GCD of $6-17i$ and $18+i$ in $\Bbb Z [i]$?
1
vote
2answers
25 views

Rank($U$) = Rank($U^2$) for group of units $U$

I am reading the paper "Algebraic Integers on the Unit Circle" by Ryan C. Daileda (http://www.sciencedirect.com/science/article/pii/S0022314X05002027). I am confused about how he concludes that the ...
8
votes
2answers
56 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 ...
3
votes
1answer
36 views

Showing two numbers are relatively prime in number fields

Solve $x^3-2=y^2$ in integers. The standard way to solve this problem is to consider the arithmetic of the ring of algebraic integers $\mathcal{O}_{\mathbb{Q}(\sqrt{-2})}$ and to show that ...
3
votes
0answers
18 views

Do lattices in a field of fractions contain an ideal?

Let $R$ be a noetherian commutative integrally closed domain whose field of fractions $K$ is a finite extension of the field of fractions $Q$ of $\Lambda = \mathbb{Z}_p[[T]]$. Let $L \subset R$ be a ...
1
vote
1answer
46 views

A single-segment Newton polygon implies henselian?

I have a question about Newton polygons and henselian fields. In p149 of Neukirch’s book(algebraic number theory:the beginning of Proposition 6.7), he says that “We have just seen that the property ...
3
votes
1answer
43 views

names in a quadratic field extension

Consider the quadratic field extension $\Bbb{Q}(\sqrt d)$. Is there a good name to use for the parameter $d$? Are there good names for $a$ and $b$ in the expression $a + b\sqrt d$? For example, ...
1
vote
1answer
17 views

Uniquely determined discrete valuations

Let $K$ be a nonarchimedian discrete valued field. Let $f$ be a monic irreducible polynomial in $K[x]$. Let $w$ be an extended valuation to the splitting field of $f$. (The values of roots of $f$ are ...
23
votes
1answer
240 views

Does there exist two non-constant polynomials $f(x),g(x)\in\mathbb Z[x]$ such that for all integers $m,n$, gcd$(f(m),g(n))=1$?

Does there exist two non-constant polynomials $f(x),g(x)\in\mathbb Z[x]$ such that for all integers $m,n$, gcd$(f(m),g(n))=1$? I think there are no such polynomials, but how to prove?
7
votes
1answer
115 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 ...
5
votes
1answer
82 views

Irrational to power of itself is natural

I've been thinking about a natural number like $n$ so that $x^x=n$ for some irrational $x$ but i couldn't find anything. As i didn't know how to approach the problem at all, i tried to make some ...
3
votes
1answer
73 views

How to prove this innocent looking isomorphism

I've got a Dedekind domain $R$ with quotient field $K$, a non-zero prime ideal $P$ of $R$. I form the completion $\widehat{K}$ of $K$ wrt the valuation $v_P$ associated to $P$. Let $\widehat{R}$ be ...
6
votes
3answers
64 views

Is $\mathcal{O}_{\mathbb{Q}(\sqrt{5})} = \mathbb{Z}[\phi]$?

where $\phi$ is the golden ratio? I know that $5 \equiv 1 \mod 4$, so that then $\mathbb{Z}[\sqrt{5}]$ is not closed as far as integers go. But I'm a little confused cause ...
5
votes
1answer
99 views

Units of $\mathbb{Z}[\sqrt[4]2]$

How would one compute the units in $\mathbb{Z}[\sqrt[4]2]$? According to one source, it can be shown that the fundamental units are $1 + \sqrt[4]2$ and $1 + \sqrt{2}$, but it does not specify the ...
9
votes
2answers
120 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 ...
1
vote
0answers
29 views

Modular Forms Over Quadratic Number Fields

I'm trying to do a bit of reading and looking into mislay forms of weight one over quadratic number fields, but am finding it difficult to locate any books or papers. I've got a little material from ...
0
votes
0answers
28 views

Algebraic closures are henselian?

Let $(K,v)$ be a nonarchimedean valued field and $(\widehat{K},\widehat{v})$ be its completion. Let $o$ and $\widehat{o}$ be the valuation rings of $K$ and $\widehat{K}$. Let $K_v$ be the separable ...
4
votes
3answers
102 views

Is $\mathbb{Z}[\sqrt{2} + \sqrt{3}]$ integrally closed?

Or could it have a relation to another domain like $\mathbb{Z}[\sqrt{-3}]$ does to $\mathbb{Z}[\omega]$? Also, is it UFD? What are its units? I have never read about this domain in any book, though i ...
1
vote
0answers
23 views

Invariant of ramification under Mobius transformations

Is there some way of quantifying ramification of a cover up to Mobius transformations? i.e. If $K$ is an algebraically closed field of characteristic $p>0$, we can consider the Artin-Schreier ...
3
votes
1answer
35 views

Examples where there is no power integral basis

Let $A$ be a completion discrete valuation ring with quotient field $K$, $L/K$ finite and separable, and $B$ the integral closure of $A$ in $L$. Let $P, \mathfrak P$ be the unique maximal ideals of ...
10
votes
2answers
255 views

Ring of integers is a PID but not a Euclidean domain

I have noticed that to prove fields like $\mathbb{Q}(i)$ and $\mathbb{Q}(e^{\frac{2\pi i}{3}})$ have class number one, we show they are Euclidean domains by tessalating the complex plane with the ...
4
votes
2answers
48 views

history and/or motivation for cohomology in class field theory

I am currently learning (local) class field theory via group cohomology with Milne's notes. I have a number of questions about using group cohomology to prove the main statements of class field ...
0
votes
1answer
64 views

A question in Neukirch's ANT book

In Corollary II.5.8, Neukirch Algebraic Number Theory(p142, line 11), why $d=v'_p(p)$ where $v'$ is normalized valuation? EDIT In other word, let $K$ be a finite extension of $Q_p$, I.e. a local ...
6
votes
1answer
59 views

Haar Measure for Algebraic Number Theory: What Should I Know?

I recently taught myself some algebraic number theory and am preparing to take a course in class field theory this fall. I understand the notion of a Haar measure on a locally compact topological ...
2
votes
0answers
27 views

Meaning of tamely ramified extension.

Let $K$ be a complete field with respect to a discrete nonarchimedean valutaion. We denote $A$ and $\mathfrak{p}$ as its valuation ring and valuation ideal, respectively. For a finite Galois extension ...
1
vote
1answer
71 views

Why is the Ideal Norm Multiplicative?

I had asked this question before and got a partial answer. Let $A$ be a Dedekind domain with quotient field $K$, $L$ a finite separable extension of $K$ of degree $n$, and $B$ the integral closure of ...
1
vote
0answers
21 views

Neukirch ANT's proofs for Hensel's Lemma and Extension Theorem for Valuations

I am in trouble with reading Neukirch, Algebraic-Number-Theory, Chap.II.4.6(Hensel's lemma). Question: Do we need the assumption of discreteness for nonarchimedian valuations in Hensel's Lemma(4.6) ...