23
votes
1answer
234 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?
3
votes
1answer
39 views

Rings of algebraic integers

A basic question on algebraic numbers. If $L/K$ is a finite extension of number fields with respective rings of integers $\mathcal O_L$ and $\mathcal O_K$ then is it true that $\mathcal O_L$ is ...
5
votes
1answer
35 views

Does the data of Galois group, ramified places, and inertia groups, determine a Galois number field?

Suppose I tell you that $K/\mathbb{Q}$ is a finite Galois extension, and I specify the Galois group $G$, and suppose further that I give you a finite list $S$ of places of $\mathbb{Q}$ and for each ...
6
votes
1answer
75 views

Is the extension Galois if $\mathrm{Aut}(K)$ acts transitively on the non-ramified prime ideals?

Let $K/\mathbb Q$ be a finite extension such that $\mathrm{Aut}(K)$ acts transitively on the prime ideals that are not ramified above the same prime $p\in\mathbb N$. Is $K$ Galois? Thanks in advance. ...
1
vote
1answer
37 views

What are the roots of unity quadratic integers?

The article of Roots of unity in wikipedia implies that the following roots of unity are quadratic numbers: $$ \{\pm 1\}, \{\pm 1,\pm i\}, \{\pm 1,\pm \zeta,\pm \zeta^2\}. $$ where $\zeta=\exp(2\pi ...
3
votes
1answer
85 views

Find primitive element of splitting field of $1 + x + x^2 - x^5$

As the title says, I need to find the primitive element of the splitting field of $1 + x + x^2 - x^5$ over $\mathbb{Q}$. Firstly, I would proceed by finding the roots as the splitting field has to ...
1
vote
2answers
56 views

Do conjugate fields have the same maximal order?

Suppose that $\alpha,\beta\in K$ are conjugates elements, i.e. zeros of an irreducible polynomial over $\mathbb{Q}$. Then we know that the fields $K_{1}=\mathbb{Q}(\alpha)$ and ...
2
votes
0answers
33 views

The existence of Pisot numbers in any real number field

Wikipedia claims that, given a real algebraic number field $K$ of degree $n$, there is an algebraic integer $r \in K$ of degree $n$ such that $r>1$, but every conjugate of $r$ has modulus $<1$ ...
0
votes
1answer
39 views

Make Galois extension large enough to let Galois group act trivially on module

Let $K|k$ be a finite Galois extension of number fields, inside a given "maximal" (infinite) Galois extension $k_S$ of $k$. Let $G = Gal(k_S | K)$ denote the Galois group and let $A$ be a ...
1
vote
1answer
88 views

Field of all algebraic reals over $\mathbb{Q}$ has infinite order.

I am trying to show that field of all algebraic reals over $\mathbb{Q}$ has infinite degree. I guess that $$1,\sqrt{2},\sqrt[3]{2}, \sqrt[4]{2}, ...$$ are lineary independent but can't prove it.
3
votes
2answers
124 views

The ring of integers of $\mathbf{Q}[i]$

Is there a relatively "simple" (in the sense that it does not require knowledge of algebraic number theory) proof that the ring of integers of the algebraic number field $\mathbf{Q}[i]$ is ...
1
vote
2answers
81 views

Applications of additive version of Hilbert's theorem 90

Additive version of Hilbert's theorem 90 says that whenever $k \subset F$ is cyclic Galois extension with Galois group generated by $g$, and $a$ is element of $L$ with trace 0, there exists an ...
1
vote
2answers
52 views

Suppose $γ$ is a $k$th root of unity that satisfies a quadratic equation $z^2−mz−n=0$ with $m,n\in\mathbb{Z}$. Then $k=3,4$ or $6$

Let $k\in\mathbb{Z}$ with $k>2$ and suppose $\gamma$ is a $k$th root of unity that satisfies a quadratic equation $z^2-mz-n=0$ with $m,n\in\mathbb{Z}$.Then $k=3,4$ or $6$. My knowledge on ...
8
votes
2answers
84 views

Conceptual reason why a quadratic field has $-1$ as a norm if and only if it is a subfield of a $\mathbb{Z}/4$ extension?

I have convinced myself in a computation-heavy, ad-hoc way that a quadratic extension $K$ of $\mathbb{Q}$ occurs as the unique quadratic subfield of a $\mathbb{Z}/4$-extension of $\mathbb{Q}$ if and ...
0
votes
0answers
29 views

$p > 2$ and ramification of archimedean places

Fix a rational prime $p$. I know that for a $p$-extension (ie. a Galois extension of degree a power of $p$) of an algebraic number field $k$, some places can not ramify: complex places cannot ...
2
votes
3answers
99 views

Ideals in a real/complex number field?

Considering a real or complex number field (with traditional addition and multiplication) I see no ideals besides $\mathbb{R}$ and $\{ 0\}$ or $\mathbb{C}$ and $\{ 0 + 0i\}$. Quick web search gave no ...
7
votes
1answer
115 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 ...
5
votes
0answers
54 views

When exactly is the splitting of a prime given by the factorization of a polynomial?

Let $L/K$ be an extension of number fields with $L=K(\alpha)$, where $\alpha\in \mathcal{O}_L$. Let $f\in \mathcal{O}_K[x]$ be the minimal polynomial of $\alpha$ over $K$. Let ...
4
votes
1answer
105 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 ...
0
votes
0answers
16 views

Division in a complete subring of a local field

Suppose $A$ is a complete subring of a local field such that a prime element $\pi$ belongs to $A$. Is it true that if $\beta=\pi^k u$ (with $k\ge 0$ and $v(u)=0$) and $\beta\in A$ then also $u\in A$? ...
1
vote
1answer
71 views

Field norm defined with or without absolute value?

I'm studying about the valuation for Euclidean Domains and quadratic fields $\mathbb{Q}(\sqrt{\theta})=\{ \alpha: \alpha=a+b\sqrt{\theta}, a,b \in \mathbb{Q} \}$ and I'm not sure whether we start with ...
6
votes
1answer
123 views

Eigenvalues of Multiplication in algebraic number field

Finally I have a new question which is puzzling me. I am currently reading a manuscript so there is no reference or link I can provide. I will try to put all the information needed in here. This ...
1
vote
1answer
30 views

Number fields containing the values of a character

This is a basic question- Let $K$ be an algebraic number field, $\Gamma$ a finite group, and $R(\Gamma)$ the ring of virtual characters of $\Gamma$ with values in the algebraic closure $\mathbb{Q}^c$ ...
2
votes
2answers
78 views

Ideal norm in a quadratic field

Let $K=\mathbb{Q}[\sqrt{d}]$ be a quadratic field with discriminant $d_K$, let $\mathfrak{a}=(a,\frac{b-\sqrt{d_K}}{2})$ be an ideal. Does the norm $N(\mathfrak{a})=a$? How to prove it?
5
votes
1answer
76 views

Element of with n0n-zero trace

Let $F$ be a field of characteristic $p$ and $K$ a finite, separable extension of $F$ such that $p \mid [K : F]$. I want to show that there must exist an element of $K$ with non-zero trace. One idea ...
2
votes
1answer
55 views

Extensions of number fields

Let $L|K$ be an extension of number fields and consider the corresponding (integral) extension of ring of integers: $R_L|R_K$. Note that $R_L$ and $R_K$ are finitely generated over $\mathbb{Z}$, hence ...
9
votes
1answer
270 views

what is a “dévissage” argument?

In Serre's "Local Fields" (Chapter 2, section 2, proposition 3) he proves something about field extensions which he breaks into parts: first he dealt with the separable case, and then with the ...
3
votes
0answers
54 views

Tensor product of fields and ramification theory

In the wikipedia page: http://en.wikipedia.org/wiki/Tensor_product_of_fields They write: "For example if one adjoins √2 to the rational field ℚ to get K, and √3 to get L, it is true that the field M ...
1
vote
2answers
66 views

Nonreal units in totally imaginary number fields

Suppose we are given a totally imaginary number field $L$ of degree greater $2$, is it possible that all units of $L$ lie in $\mathbb R$? This is true for almost all quadratic imaginary number fields, ...
10
votes
3answers
177 views

Does $\mathbb{F}_p((X))$ has only finitely many extension of a given degree?

We know that $\mathbb{Q}_p$ has only finitely many extensions of a given degree in its algebraic closure. Is it the same for $\mathbb{F}_p((X))$?
7
votes
1answer
197 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)$. ...
2
votes
2answers
148 views

Roots of unity in $\mathbb{Q}(\zeta_p)$ for $p$ an odd prime

I am confused about a last step in a proof that the only roots of unity in $\mathbb{Q}(\zeta_p)$ are $\pm\zeta_p^j$, where $\zeta_p=e^{2 \pi i/p}$, $p$ is an odd prime and $1\leq j\leq p-1$. So far ...
6
votes
1answer
153 views

Ring of integers of $\mathbb{Q}(\zeta_3,\sqrt[3]{2})$.

I've seen that the ring of integers of $\mathbb{Q}(\sqrt{n})$ depends on $n\mod 4$. I am just wondering if we can (easily) write down the ring of integers of $\mathbb{Q}(\zeta_3,\sqrt[3]{2})$ (the ...
2
votes
2answers
157 views

The composite of all unramified extensions inside an algebraic closure

I'm reading Ch.II, $\S$ 7 of Neukirch's Algebraic Number Theory and I'd be really grateful if someone could help me understand the following: Let $K$ be a complete valued field wrt a non-archimedean ...
2
votes
0answers
111 views

Galois group of CM fields

I am looking for examples of CM fields whose Galois group is not abelian. By a CM field $K$ I mean a totally imaginary quadratic extension of a totally real field $K_0$. If the extension is not Galois ...
1
vote
1answer
83 views

Unramification and compositum

The background is: a field $K$ complete with respect to a discrete valuation $|\ |$. We write $A$ and $k$ for his discret valuation ring and the residue field of $A$. We assume that $K$ and $k$ are ...
0
votes
3answers
70 views

A sum of products symmetric in the images under all the embeddings

Let $\mathbb{Q}\subset K\subset \mathbb{C}$ where $K$ is a finite extension of $\mathbb{Q}$. Let $\sigma_1, \dots, \sigma_n$ be all the embeddings $K\rightarrow \mathbb{C}$. Is it true that elements ...
0
votes
1answer
198 views

Show that a number field is isomorphic to a quotient $\mathbb Q[x]/(f)$

Let $K$ be a number field of degree 3. Show that $K$ is isomorphic to a quotient $\mathbb Q[x]/(f)$, with $f = x^3 + ax + b$ in $\mathbb Z[x]$ irreducible in $\mathbb Q[x]$ (without using the result ...
5
votes
1answer
176 views

An element is integral iff its minimal polynomial has integral coefficients.

This is from Algebraic Number Theory by Neukirch Let $A$ be an integral domain which is integrally closed, K its field of fractions, $L|K$ a finite field extension, and $B$ the ...
3
votes
1answer
227 views

Field containing all square roots of rational numbers

What is the smallest field which contains all square roots of positive rational numbers? I guess I mean “smallest” in terms of set inclusion, i.e. the minimal one with regard to the “$\subseteq$” ...
4
votes
1answer
191 views

Trace and Norm of a separable extension.

If $L | K$ is a separable extension and $\sigma : L \rightarrow \bar K$ varies over the different $K$-embeddings of $L$ into an algebraic closure $\bar K$ of $K$, then how to prove that ...
6
votes
1answer
196 views

Why is this isomorphism $M \otimes_K L \stackrel{\simeq}{\longrightarrow} M^{[L:K]}$ an isomorphism of $M$ - algebras?

Suppose that $L/K$ is a finite separable extension of fields and let $M$ denote the Galois closure of $L$. Let $\textrm{Hom}_K(L,M)$ denote the set of all $K$ - algebra homomorphisms from $L$ to $M$. ...
2
votes
1answer
146 views

Motivation on traces, norms and discriminants

I am looking for some motivation for the definitions of trace, norm and discriminant (in the context of finite field extensions). For example (but not limited to) any interesting theorems proved using ...
7
votes
1answer
117 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 ...
8
votes
1answer
379 views

Cyclotomic extensions of $\Bbb Q$

Let $n>4$, and $(h,n) = 1$. How to show that $[\mathbb{Q}(\tan 2 \pi h/n):\mathbb{Q}]= \phi(n)$ or $\phi(n)/2$ or $\phi(n)/4$ respectively if $\gcd(n,8)<4$ or $\gcd(n,8)=4$ or ...
3
votes
1answer
94 views

Equivalence of Valuations - Trouble Understanding Proof

I want to complete the proof of the following theorem. Here is what I have got so far: Theorem Every non-euclidean valuation $v$ on a number field $K$ is equivalent to $v_{\mathfrak p}$ for some ...
3
votes
1answer
229 views

“Place” vs. “Prime” in a number field.

I have been trying to make sense of what a "place" is. In the setting of a number field, is a place simply a prime ideal? My understanding is that one can complete a number field with respect to a ...
8
votes
2answers
756 views

How can one express $\sqrt{2+\sqrt{2}}$ without using the square root of a square root?

I was trying to review some analysis, and came across problem 3 from page 78 of Walter Rudin's Principles of Mathematical Analysis. As part of the problem, I wanted to try to write ...
6
votes
1answer
385 views

Positivity of the norm of an element of a cyclotomic field

Let $l$ be an odd prime number and $\zeta$ be an $l$-th primitive root of unity in $\mathbb{C}$. Let $\mathbb{Q}(\zeta)$ be the cyclotomic field and $\alpha$ be a non-zero element of ...
1
vote
1answer
140 views

Finding the matrix of multiplication by $\theta^2$, where $\theta^3 - 3\theta + 1 = 0$

This is a problem from a on-line source which yet comes with a solution (self-studier; not h.w.). Let $E = \mathbb Q(\theta)$, where $\theta$ is a root of the irreducible polynomial \[ X^3 -3X + 1. ...