# Questions tagged [extension-field]

Use this tag for questions about extension fields in abstract algebra. An extension field of a field K is just a field containing K as subfield, but interesting questions arise with them. Use this topic for dimension of extension fields, algebraic closure, algebraic/transcendental extensions, normal/separable extensions... This tag often goes along with the abstract-algebra and/or field-theory tags.

332 questions
4k views

### Proving that $\left(\mathbb Q[\sqrt p_1,\dots,\sqrt p_n]:\mathbb Q\right)=2^n$ for distinct primes $p_i$.

I have read the following theorem: If $p_1,p_2,\dots,p_n$ are distinct prime numbers, then$$\left(\mathbb Q\left[\sqrt p_1,\dots,\sqrt p_n\right]:\mathbb Q\right)=2^n.$$ I have tried to prove a ...
5k views

### Similar matrices and field extensions

Given a field $F$ and a subfield $K$ of $F$. Let $A$, $B$ be $n\times n$ matrices such that all the entries of $A$ and $B$ are in $K$. Is it true that if $A$ is similar to $B$ in $F^{n\times n}$ then ...
1k views

### Ring Inside an Algebraic Field Extension [duplicate]

Let $E|F$ be an algebraic field extension and a ring $K$ such that $F\subseteq K\subseteq E$. It is true that $K$ is a field?
385 views

### Finiteness of the Algebraic Closure

Let $\mathbb R$ be the field of real numbers. Its algebraic closure, the field $\mathbb C$, is a finite extension of $\mathbb R$, which has degree 2. Are there other examples of fields (not ...
640 views

### Algebraic field extensions: Why $k(\alpha)=k[\alpha]$.

If $K$ and $k$ are fields, $K\supset k$ is a field extension and $\alpha \in K$ is algebraic over $k$, then we denote by $k[\alpha]$ the set of elements of $K$ which can be obtained as polynomial ...
478 views

### Is there a proper subfield $K\subset \mathbb R$ such that $[\mathbb R:K]$ is finite?

Is there a proper subfield $K\subset \mathbb R$ such that $[\mathbb R:K]$ is finite? Here $[\mathbb R:K]$ means the dimension of $\mathbb R$ as a $K$-vector space. What I have tried: If we can find ...
2k views

### Is any finite-dimensional extension of a field, say $F$, algebraic and finitely generated?

As title, Is any finite-dimensional extension of a field, say $F$, algebraic and finitely generated? Say if $K/F$ is a finite extension when $K$ is a finite-dimensional vector space of $F$. Clearly, ...
511 views

215 views

### Fraction field of $F[X,Y](f)$ isomorphic to $F(X)[Y]/(f)$

Assume $F$ is a field and $f$ is an irreducible polynomial in $F[X,Y]$ which involves the variable $Y$. Then, by Gauss's lemma, $f$ is irreducible also in $F(X)[Y]$ so that $F(X)[Y]/(f)$ is a field (...
486 views

### Elementary proof for $\sqrt{p_{n+1}} \notin \mathbb{Q}(\sqrt{p_1}, \sqrt{p_2}, \ldots, \sqrt{p_n})$ where $p_i$ are different prime numbers. [duplicate]

Take $p_1, p_2, \ldots, p_n, p_{n+1}$ be $n+1$ prime numbers in $\mathbb{P} \subseteq \mathbb{N}$. $\sqrt{p_{n+1}} \notin \mathbb{Q}(\sqrt{p_1}, \sqrt{p_2}, \ldots, \sqrt{p_n})$ seems to be quite ...
648 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))$?
735 views

1k views

### Do maximal proper subfields of the real numbers exist?

To clarify the problem, consider the field ${\Bbb R}$ as a field extension of ${\Bbb Q}$ using some sort of Hamel basis. Does there exist a field $F\subsetneq{\Bbb R}$ such that $F(\sqrt{2})={\Bbb R}$ ...
462 views

### $\sqrt[31]{12} +\sqrt[12]{31}$ is irrational

Prove that $\sqrt[31]{12} +\sqrt[12]{31}$ is irrational. I would assume that $\sqrt[31]{12} +\sqrt[12]{31}$ is rational and try to find a contradiction. However, I don't know where to start. Can ...
965 views

### Prove $\sqrt[3]{3} \notin \mathbb{Q}(\sqrt[3]{2})$ [duplicate]

I've tried solving $\sqrt[3]{3} =a + b* \sqrt[3]{2}+c* \sqrt[3]{4}$, but there is no obvious contradiction, even when taking the norms/traces of both sides. I can't think of another approach. This is ...
559 views

395 views

300 views

### Suppose $\gcd(\deg(f),\deg (g))=1$. Show that $g(x)$ is irreducible in $k(\alpha)[X]$.

This is an assignment. There are two related (I think) problems. Please solve one of them and I will try to solve the other. Let $\alpha, \beta$ be algebraic over $k$ whose irreducible polynomials ...
268 views

### Isomorphism between $\Bbb R$ and $\Bbb R(X)$?

My questions are: $1.$ Is there a field morphism $\Bbb R(X) \hookrightarrow \Bbb R$ ? $2.$ If the answer to $1.$ is "yes", are $\Bbb R$ and $\Bbb R(X)$ isomorphic as fields?   For $1.$...
897 views

### Transitivity of Algebraic Field Extensions

Consider the fields $F, E,$ and $K$, where $F \subseteq E \subseteq K$. If $E$ is algebraic over $F$, and $K$ is algebraic over $E$, show that $K$ must be algebraic over $F$. I know this is a well-...
368 views

### Minimal polynomial of $\sqrt[3]{2} + \sqrt{3}$

Suppose I want to find the minimal polynomial of the number $\sqrt[3]{2} + \sqrt{3}$. Now that means I want to find a unique polynomial that is irreducible over $\Bbb Q$ such that $f(x)=0$. Now I ...
291 views

### How many quadratic extension are there on a field?

Given a field $F$, how many non-isomorphic quzdratic extension of $F$ are there ? I don't know if there is a general answer, for instance there is only one for $F=\mathbf{R}$, viz. $\mathbf{C}$, and ...
124 views