1
vote
1answer
21 views

$\mathbb{Q}(\sqrt{m}, \sqrt{n})$ : ring of integers, integral basis and discriminant

In the following document, http://people.math.carleton.ca/~williams/papers/pdf/033.pdf, I found three results about biquadratic fields and their ring of integers. It's the proof of the first theorem ...
4
votes
0answers
19 views

Let $F_\infty=\bigcup_{n\geq1}\operatorname{Q}(2^{1/2^n})$ , $K_\infty=\bigcup_{n\geq1}\operatorname{Q}(\zeta_{2^n})$, what is the intersection?

Let $F_\infty=\bigcup_{n\geq1}\operatorname{Q}(2^{1/2^n})$ and $K_\infty=\bigcup_{n\geq1}\operatorname{Q}(\zeta_{2^n})$, What is the intersection $F_\infty\cap K_\infty$? Here $\zeta_{2^n}$ is a ...
1
vote
1answer
20 views

If a ring has its field of fraction as algebraic number field $K$, would this ring be $O_K$?

Suppose that ring has its field of fraction as algebraic number field $K$. Would this ring then be $O_K$, ring of integers? Also, for $O_K$, would subring of $O_K$ be integrally closed?
1
vote
0answers
30 views

Number fields and algebraic integer

Suppose there is a (algebraic) number field $K$. Algebraic integer is a root of some monic polynomial with coefficients in $\mathbb{Z}$. The elements of $K$ are the root of some monic polynomial ...
4
votes
1answer
35 views

What is the relationship between the trace/norm of a quaternion and the definition in field theory?

I'm having some trouble figuring out the relationship between the trace/norm of a quaternion element and the definition of trace/norm in the extensions of vector spaces. According to my number theory ...
0
votes
0answers
16 views

Degree of the separable closure of the residue field of a complete field

I'm trying to prove a corollary on ramified extensions but I don't know if my thoughts are true. Let $L$ be a finite extension of a complete discrete valuation field $F$, let ...
23
votes
1answer
262 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
41 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 ...
6
votes
2answers
65 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
78 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
87 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
57 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
91 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
128 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
88 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
54 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
91 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
31 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
107 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
116 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 ...
6
votes
0answers
56 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
109 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 ...
1
vote
1answer
76 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
128 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
32 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
85 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
83 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
56 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
303 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
55 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
67 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
200 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
204 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
150 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
163 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
165 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
123 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
84 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
204 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
185 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
239 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
197 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
197 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
154 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
121 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
380 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 ...