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, ...

learn more… | top users | synonyms

1
vote
0answers
8 views

Is the embedding problem with a cyclic kernel always solvable?

This question comes from this question by user72870. I shall explain how it relates to that question at the end. Let me shortly define my question: We call an embedding problem a diagram of the form: ...
0
votes
1answer
30 views

When people say, “K is an extension of k with dimension n”, do they mean as an algebra or as a vectorspace?

For instance, consider k(x), (the fraction field of k[x]). k(x) has dimension 2 as an algebra over k, but dimension \omega as a vectorspace over k. Which one are they talking about, and how can I ...
0
votes
2answers
56 views

Is the map an automorphism?

Please verify the following proof or comment on how would you have proven it. Suppose $q = p^2$ and we have $f: \mathbb{F}_{q} \to \mathbb{F}_{q}$ where $f(a) = a\cdot a^p$ Let $a\cdot a^p = b\cdot ...
0
votes
1answer
26 views

Constructing common extension of two finite fields

I am facing following problem, and would be very thankful for any input: I am supposed to prove that two finite fields with same number of elements are isomorphic. I know the usual proof via ...
-3
votes
2answers
91 views

What are the root of $x^3 - 2$ $\in \mathbb{R}[x]$? [on hold]

From the given polynomial it is evident that we have to find a +ve number in $\mathbb{R}$ such that the cube is 2 if it exists. There is one and that is $\sqrt[3]{2}$. How to find the other roots in ...
5
votes
1answer
36 views

How to write a particular fixed field as a simple extension of $\mathbb{R}$? (Morandi's book)

I'm working in the following problem from Morandi's Book Field and Galois Theory: Let $A$ =$\left(\begin{array}{cc} a & b \\ c & d \end{array} \right)$ with $a=d=-1/2$ and ...
2
votes
1answer
27 views

Normal extension and group of automorphisms

Let $K \supset F$ a normal extension (finite). Show in details that, for every $\alpha \in K$, the polynomial $$f(x)=\prod_{\sigma \in Aut_F(K)}(x-\sigma(\alpha))\in F[x];$$ My attempt: Since $K$ ...
1
vote
0answers
36 views

Root of polynomial and field extension

I would be really thankful for any input. I am facing following problem. Given extension of finite fields $L/K$ of degree $3$, prove that every polynomial of degree $3$ with coefficients in $K$ does ...
1
vote
0answers
29 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
46 views

Infinite algebraic extension of $\mathbb{Q}$

I have this problem in a exercise list: "Prove that $K=\mathbb{Q}(2^{\frac{1}{2}},2^{\frac{1}{3}}, 2^{\frac{1}{4}}, \ldots)$ is an algebraic extension, but not a finite extension of $\mathbb{Q}$." ...
0
votes
3answers
37 views

clarification of algebraic closure and algebraically closed field

Definition of Algebraic closure: An extension K of F is called an algebraic closure of F if a) F $\subset$ K is algebraic b) K is algebraically closed given the above definition I have been trying ...
3
votes
2answers
41 views

$F(x,y)$ over $F$ is not simple

Let $F$ be a field. Let $x,y$ two algebraically independent indeterminates. Show that $F(x,y)/F$ is not a simple extension. Attempt: I tried by contradiction, assuming that $F(t)=F(x,y)$ and writing ...
1
vote
0answers
51 views

When $\mathbb{Q}(\alpha+\beta)=\mathbb{Q}(\alpha, \beta)$?

Let $\alpha, \beta$ be algebraic numbers over $\mathbb{Q}$. Which necessary and sufficient conditions are known such that $$ \mathbb{Q}(\alpha+\beta)=\mathbb{Q}(\alpha, \beta) \text{ ?} \tag{$\ast$}$$ ...
2
votes
1answer
63 views

Why is ring of integers $\mathcal O_K$ called ring of integers - what properties of $\mathbb{Z}$ does it inherit?

I was wondering why ring of integers $\mathcal O_K$ for field $K$ is called ring of integers. Definition says that elements in this ring will be a solution for monic equation with coefficients ...
1
vote
2answers
56 views

What do you get when you add $i$ to the totally real numbers?

Say that an algebraic number $\alpha\in{\mathbb C}$ is totally real iff ${\mathbb Q}[\alpha]$ is a totally real number field. The totally real numbers obviously form a subfield of $\mathbb R$, which ...
5
votes
1answer
46 views

Normal Basis Theorem Proof

I am a little confused by the proof of the Normal Basis Theorem in E. Artin's Galois Theory. Specifically, I am having trouble understanding why a certain squared matrix has a particular form. The ...
1
vote
1answer
42 views

Algebraic extension of rational numbers.

Let $1<m_1,\ldots,m_r\in{\mathbb{Z}}$. If $K=\mathbb{Q}(\sqrt{m_1},\ldots,\sqrt{m_r})$, and $1<n\in{\mathbb{Z}}$ so that $m_i\nmid{n}$. Is true that $\sqrt{n}\notin{K}$? Added: In addition ...
3
votes
3answers
88 views

Showing that a set is a basis of a field as a vector space over a subset of that field

Let $K \subseteq L \subseteq F$ be fields and assume that $\{\alpha_1,\ldots,\alpha_m\}$ is a basis of $F$ as a vector space over $L$ and $\{\beta_1,\ldots,\beta_n\}$ is a basis of $L$ as a vector ...
2
votes
0answers
50 views

How to prove that all primitive polynomials are irreducible

Let $F$ be a finite field, and $F[X]$ set of all polynomials in $F$, how to prove that: why all primitive polynomials $\;$ $f \in F[X]$ $\;$ must be an irreducible. Note: Polynomial primitive is an ...
3
votes
1answer
48 views

Proper Field extensions

Given a field $F$, is there a proper field extension $K$ such that any root in $K$ of a polynomial in $F[X]$ is in $F$? Note: I am not looking for the algebraic closure of $F$. One candidate is the ...
0
votes
1answer
68 views

Field extension $\mathbb{Q} (\sqrt2)$; why is adding $\sqrt2$ not enough?

This an extract from Visual Group theory book section 10.5.1 page-234 ,which says that: What I can't understand from this extract is for what purpose do we need to add other elements except ...
1
vote
1answer
29 views

Field extensions: compute the degree of an extension.

I'm stuck with this problem. Let $F\subseteq E$ and $\gamma\in E$ is trascendental over $F$. Let $m$ be a positive integer. Show that $[F(\gamma):F(\gamma^{m})]=m$, where $[\quad:\quad]$ is the ...
4
votes
1answer
34 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 ...
1
vote
1answer
33 views

Minimal polynomial and field extension

If the degree of a field extension $[\mathbb{Q}(\alpha):\mathbb{Q}]=n\gt 1$ and $\alpha$ is a root of a monic polynomial $f \in \mathbb{Q}[T]$ and the degree of $f$ is $n$. Does the above imply ...
0
votes
0answers
15 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 ...
0
votes
0answers
21 views

Chains of Field Extension

To deal with compass-and-straightedge construction, solvability of algebraic function and integration of real/complex function, we consider the chains of field extension. More precisely, let ...
1
vote
1answer
55 views

What is $\hat{\mathbb{Z}}$?

I have been reading a bit about unramified extensions. If $K$ is $\mathbb{Q}$ or $\mathbb{Q}_p$ (p-adics), then there is a maximal unramified extension $K^{nr}$ of $K$. Then I have read in some notes ...
0
votes
0answers
28 views

Presence of non square elements in $GF(p)$

I came across a problem which had a line of explanation as follows : Let $a \in GF(p). a$ is a non square in $GF(p),~ p \neq 2 \implies \nexists~ b\in GF(p)~~|~~a =b^2 $. But, is it really possible ...
1
vote
1answer
51 views

Counting the roots of a polynomial over a finite field

Let $\mathbb{F}_{11}$ be the field of 11 elements and let $\mathcal{K}$ be the splitting field of $x^{3} - 1$ over $\mathbb{F}_{11}$. How many roots does $(x^{2} - 3)(x^{3} - 3)$ have in ...
1
vote
0answers
24 views

determine the degree of an extension, check normality

I came across an old exam problem and I wonder if my solution is correct. Let $L=\mathbb{Q}(\omega)$, where $\omega=e^{\frac{2\pi i}{6}}$ is a primitive sixth root of unity: a) determine ...
0
votes
2answers
45 views

Proving that $f(x)$ is irreducible over $F(b)$ if and only if $g(x)$ is irreducible over $F(a)$

Let $f(x)$ and $g(x)$ be irreducible polynomials over a field $F$ and let $a,b \in E$ where $E$ is some extension of $F$. If $a$ is a zero of $f(x)$ and $b$ is a zero of $g(x)$, show that $f(x)$ is ...
3
votes
2answers
156 views

Sum and Product of two transcendental numbers cannot be simultaneously algebraic

If $\alpha$ and $\beta$ are real number and $\alpha$ and $\beta$ are transcendental over $\mathbb Q$, show that $\alpha \beta$ or $\alpha +\beta$ is also transcendental over $\mathbb Q$ Attempt: ...
4
votes
1answer
36 views

Let $K$ be a field extension of $F$ and let $a \in K$. Show that $[F(a):F(a^3)] \leq 3$

Let $K$ be a field extension of $F$ and let $a \in K$. Show that $[F(a):F(a^3)] \leq 3$. Find examples to illustrate that $[F(a):F(a^3)]$ can be $1,2$ or $3$. Attempt: $F \subset F(a^3) \subseteq ...
2
votes
1answer
24 views

A field extension of prime degree

Suppose that $E$ is an extension of $F$ of prime degree. Show that $~~\forall~ a \in E : ~ F(a)=F$ or $F(a)=E$ Attempt: Suppose that $E$ is an extension of a field $F$ of prime degree, $p$. ...
2
votes
1answer
30 views

Suppose that $f(x)$ and $g(x)$ are irreducible over $F$ and that $\deg f(x)$ and $\deg g(x)$ are relatively prime.

Suppose that $f(x)$ and $g(x)$ are irreducible over $F$ and that $\gcd(~\deg g(x),\deg f(x)~)=1$. If $a$ is a zero of $f(x)$ in some extension of $F$, show that $g(x)$ is irreducible over $F(a)$ ...
3
votes
1answer
42 views

Question about calculating the degree of a finite field extension.

I have a question about calculating the degree of a finite field extension over $\mathbb{Q}$. This is problem 18 in chapter 1 of Patrick Morandi's Field and Galois theory. The problem asked to show ...
2
votes
0answers
56 views

Question on a finite field extension of $\mathbb{Q}$

I have a polynomial $p(x) \in \mathbb{Q}[x]$ and is irreducible over $\mathbb{Q}$. Let it be of degree $n$ and $\alpha_1, ..., \alpha_n$ be its roots. I know that $$ \mathbb{Q}(\alpha_i) \cong ...
4
votes
2answers
42 views

Non-isomorphic field extensions of $\mathbb{Q}$

I'm having a little bit of a problem with the following question: Show that there do not exist two irreducible polynomials $a(x)$ and $b(x)$ in $\mathbb{Q}[x]$ of degrees 6 and 7 respectively ...
3
votes
3answers
95 views

Finitely many embeddings of a finite extension in an algebraic closure

So I'm reading through Lang's Algebra, and he keeps saying something along the following lines: "Let $K$ be a finite extension of a field $k$ and let $\sigma_1,\ldots,\sigma_r$ be the distinct ...
0
votes
1answer
39 views

Is the field formed by algebraic elements of an extension field over $F$ isomorphic to $F[t]$?

Say $K/F$ is a field extension. The elements in $K$ that are algebraic over $F$ form a subfield of $K$. Is this subfield isomorphic to $F[t]$? What would this isomorphism look like? This is not a ...
1
vote
1answer
42 views

Prove that any two bases of a field extension have the same cardinality.

Suppose $E$ and $F$ are subfields of $\mathbb{R}$ with $F\subseteq E$. Prove that any two bases of $E/F$ have the same cardinality. The definition of a basis I am using is any finite set $S\subseteq ...
1
vote
1answer
30 views

Suppose that $\beta$ is a zero of $f(x)=x^4+x+1$ in some field extensions of $E$ of $Z_2$.Write $f(x)$ as a product of linear factors in $E[x]$

Suppose that $\beta$ is a zero of $f(x)=x^4+x+1$ in some field extensions of $E$ of $Z_2$.Write $f(x)$ as a product of linear factors in $E[x]$ Attempt: In $\mathbb Z_2: \beta^4+\beta+1=0$ Going by ...
1
vote
1answer
48 views

Describe the elements in $Q(\pi)$

Describe the elements in $Q(\pi)$ Attempt: $Q(\pi)$ is the smallest field which contains $Q$ and $\pi$ We know that $\nexists~ f(x) \in Q[x]$ such that $f(\pi)=0$ Hence, $Q[x]/\langle p(x) ...
0
votes
0answers
15 views

Is there a direct way of proving that all splitting fields are isomorphic?

Given $f(x)\in F[X]$, let $E,E'$ be two extension fields of $f$ over $F$, then $E \approx E'$. Now, I've seen a proof involving directly constructing an isomorphism, but I'm searching for another ...
0
votes
2answers
30 views

Zeroes of f(x) in a splitting field $E $ have the same multiplicity

Let $f(x)$ be an irreducible polynomial over a field $F$ and let $E$ be a splitting field of $f(x)$ over $F$. Then all the zeroes of $f(x)$ in $E$ have the same multiplicity. The proof of this ...
6
votes
1answer
76 views

Base change for a projective variety

Consider a projective variety over $\mathbb C$, $X=\textrm{Proj}\frac{\mathbb C[T_0,\ldots,T_n]}{(f_1,\ldots,f_m)}$ and a field automorphism $\sigma\in \text{Aut}(\mathbb C)$. Now we want to ...
3
votes
1answer
39 views

Factoring Cyclotomic Polynomials Over $\mathbb{F}_p$.

How can I show that the irreducible factors of the cyclotomic polynomial $\Phi_{p^d-1}(x)$ all have degree $d$ over $\mathbb{F}_p[x]$? I'm particularly interested in a proof using the fact that for ...
1
vote
0answers
19 views

Finite field extensions as projective group algebras

For a finite field extension $K \subset L$, can $L$ always be seen as a projective group algebra over $K$? That is, does there always exist a finite group $G$ and isomorphism $L \simeq K _\alpha [G]$, ...
2
votes
1answer
41 views

Places of this extension

I'm reading this book. I'm trying to find the degree of the places of the extension $\mathbb C(X)\mid\mathbb R$. I know the places of the extension $\mathbb R(X)\mid\mathbb R$ and I've already ...
0
votes
2answers
53 views

Prove that $(a+b\sqrt[3]{2}+c\sqrt[3]{4})^{-1}$ with a,b,c∈Q is a number of the form $d+e\sqrt[3]{2}+f\sqrt[3]{4}$ with $d,e,f∈Q$

Prove that $(a+b\sqrt[3]{2}+c\sqrt[3]{4})^{-1}$ with $a,b,c∈Q$ is a number of the form $d+e\sqrt[3]{2}+f\sqrt[3]{4}$ with $d,e,f \in Q$ I'd like to do this without using too much fancy ...