# Tagged Questions

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 ...
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 ...
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?
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 ...
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 ...
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 ...
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?
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 ...
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 ...
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. ...
37 views