Use this tag for questions about fields and field theory in abstract algebra. A field is, roughly speaking, an algebraic structure in which addition, subtraction, multiplication, and division of elements are well-defined. Please use (galois-theory) instead for questions specifically about that ...

learn more… | top users | synonyms

3
votes
2answers
19 views

What are the intermediate fields of $\mathbb Q(\sqrt[3]2,e^{\frac{2i\pi}{3}})$ (Galois group)

The elements of Galois group are \begin{align*} \sigma _1:\mathbb Q[\sqrt[3]2,e^{\frac{2i\pi}{3}}]&\longrightarrow \mathbb Q[\sqrt[3]2,e^{\frac{2i\pi}{3}}],\\ \sqrt[3]{2}&\longmapsto ...
3
votes
1answer
41 views

Existence of a group isomorphism between $(\mathbb K,+)$ and $(\mathbb K^\times,\cdot)$

Let $(\mathbb K,+,\cdot)$ be a field. Is there a group isomorphism between $(\mathbb K,+)$ and $(\mathbb K^\times,\cdot) $ ? The answer should clearly be negative. I tried to proceed via ...
4
votes
2answers
65 views

Adjoining a number to a field

When I studied algebra, we talked about fields such as $\mathbb{Q}[\sqrt{2}]$, the rational numbers with the square root of two adjoined to the field. Structures like these are called field extensions ...
0
votes
0answers
31 views

Transcendence degree of polynomials equals the transcendence degree of the function field of the polynomials

How to prove that transcendence degree of the function field $k(f,g)$ is equal to the transcendence degree of $\{f,g\}$ where $f$ and $g$ are two multivariate polynomials? If $\{f,g\}$ are ...
9
votes
1answer
74 views

Subfield of $\mathbb{R}$ such that $\Bbb R/K$ is finite.

Is there a field $K \subset \mathbb{R}$ such that $1 < [\mathbb{R} : K] < \infty$? i.e a proper subfield of $\mathbb{R}$ such that the field extension $\mathbb{R}/K$ is finite.
0
votes
0answers
39 views

The number of automorphisms of a finite field

Let $M$ be a finite field and $|M| = p^s$, where $p$ is prime and $s \in \mathbb N$. Prove that the number of different isomorphisms field $M$ to $M$ equal to $s$ and this isomorphisms form a cyclic ...
3
votes
1answer
39 views

The finite field extension

Let field $K$ embedded into the finite field $M$. Prove that $M = K(\theta)$ for some $\theta \in M$. I have tried 2 ways but got stuck at both. 1) Let $|K| = p^s$ and $|M| = p^{st}$ for prime $p$ ...
1
vote
1answer
25 views

Algebraically independent equivalent conditions

I have some problems to understand the field extensions. Namely, Let $K$ be a field and $E$ its extension. Let $x_1,\ldots ,x_n$ in $E$ and $0<k<n$. Show that TFAE Family $(x_1,...,x_n)$ is ...
0
votes
3answers
76 views

Is it obvious that $\mathbb Q(\sqrt 3+\sqrt 5)=\mathbb Q(\sqrt 3,\sqrt 5)$? [duplicate]

Is it obvious that $\mathbb Q(\sqrt 3+\sqrt 5)=\mathbb Q(\sqrt 3,\sqrt 5)$ ? If not how can I show it ?
1
vote
1answer
31 views

Transcendence degree of the ring generated by two algebraically dependent polynomials

How to prove that If two polynomials $f$ and $g$ are algebraically dependent, then any two polynomials in the ring generated by $f$ and $g$ would be algebraically dependent?
1
vote
1answer
45 views

Degree of field extension question [on hold]

find the degree of the field of extension $\Bbb Q(\sqrt{2},\sqrt[4]{2},\sqrt[8]{2})$ over $\Bbb Q$. 1) 4 2) 8 3) 14 4) 32 I think it is 8.
1
vote
2answers
42 views

Finding Galois group of $x^6 - 3x^3 + 2$

I'm trying to find the Galois group of $$f(x)= x^6 - 3x^3 + 2$$ over $\mathbb{Q}$. Now I can factorise this as $$f(x) = (x-1)(x^2 + x + 1)(x^3 - 2)$$ I can see the splitting field must be ...
1
vote
1answer
22 views

Maximal algebraically independent subset and transcendence basis

I'm studying transcendence basis and I got stuck with the following problem: Let $K$ be a field and $E$ its extension. Let $S$ be a subset of $E$ such that $E$ is algebraic with respect to $K(S)$. ...
4
votes
0answers
53 views

When is $F(x+y) = F(x,y)$ for field $F$?

If $F$ is a field and $x,y$ are in an algebraic extension of $F$, I'm curious as to what we can say about $[F(x+y):F]$. I can easily prove the following:   $[F(x+y):F] \mid [F(x,y):F]$   ...
2
votes
2answers
57 views

Does there exist a subfield $S$ of $\mathbb C$ such that $\mathbb R \subset S \subset \mathbb C$?

Does there exist a subfield $S$ of $\mathbb C$ such that $\mathbb R \subset S \subset \mathbb C$ ? ; I kind of have a feeling that there does not exist any such $S$ but cannot prove . Thanks in ...
1
vote
0answers
36 views

Irreducibility of a polynomial with algebraically independent coefficients

I am learning some kind of field theory. Let $\mathbb{Q}'$ be the smallest subfield in $\mathbb{C}$ containing all roots of unity. Recently I read a book on Galois theory and met the following ...
2
votes
0answers
31 views

Uniqueness of an embedding theorem for Real differential fields

I will follow a preliminary exposition for the problem in question, which will essentially follow the format on http://www4.ncsu.edu/~singer/papers/model_diff_fields.pdf [pg. 87]: Let $K$ be a real ...
-5
votes
0answers
55 views

Give an example of a field K, an extension field F, a subring R of F containing K where R is not a field? [closed]

Give an example of a field K, an extension field F, a subring R of F containing K where R is not a field? I had $\mathbb{C}$ as a field, $\mathbb{C}(x)$ as a field extension, and $\mathbb{C}[x]$ ...
2
votes
0answers
84 views

A question about field extension: Zariski's lemma

Suppose $E$ is a field extension of $F$ and there exists $\alpha_1,\alpha_2,\ldots,\alpha_n\in E$ such that $E=F[\alpha_1,\alpha_2,\ldots,\alpha_n]$, then the field extension $E/F$ is algebraic. Is ...
0
votes
1answer
23 views

Prove algebraic closure

Let $L/K$ be a field extension such that $L$ is algebraically closed. Show that $\{a\in L\mid[K(a):K]\lt\infty\}$ defines an algebraic closure of $K$. So this is the set of minimal polynomials ...
0
votes
2answers
30 views

Linear composition

can you help me with this quest? About composition $f$ and vector space $\mathbf{V}=\mathbb{Z^4_2}$ we know the following: $f \circ f = id_V$,$~~f $ $ \left(\begin{array}{ccc} 1\\ 0\\ 1\\ 0\\ ...
4
votes
1answer
71 views

A question on the relation of the Galois group as field automorphisms and the Galois group as permutations of roots

Let $f\in K[X]$ be a monic separable polynomial and $L$ a splitting field of $f$. Let $M=\{l_1,\ldots,l_n\}$ be the set of roots of $f$ in $L$, i.e. $$ f=(X-l_1)\cdots(X-l_n). $$ The Galois group ...
0
votes
1answer
16 views

Finiteness of a simple extension

Here I have two propositions from p.521 on Abstract Algebra written by Dummit Foote. Let $\alpha$ be algebraic over the field $F$ and let $F(\alpha)$ be the field generated by $\alpha$ over $F$. ...
0
votes
0answers
13 views

If there exists a cyclic extension of degree $p$ of $K$, then there exists a cyclic extension of degree $p^n$.

If $char K=p \neq0 $, let $K_{p}=\{ u^p-u : u\in K\}$. Show that if there exists a cyclic extension of degree $p$ of $K$, then there exists a cyclic extension of degree $p^n$ for every $n \geq 1$. ...
0
votes
1answer
20 views

Does the fixed field of automorphisms group characterize Galois extensions?

If $E/K$ is a field extension we use the notation $\def\Aut{\operatorname{Aut}}\Aut(E/K)$ for the set of field automorphisms of $E$ that are the identity over $K$. It's immediate that the set ...
1
vote
0answers
51 views

If $F$ is finite over $L_1$ and $L_2$, is it also finite over $L_1 \cap L_2$?

Let $F$ be a field and $L_1$, $L_2$ two subfields such that $F$ is finite over both $L_1$ and $L_2$. Is $F$ necessarily finite over the intersection $L_1 \cap L_2$?
1
vote
1answer
43 views

Show that $E=\mathbb{Q}(a)$

Let $f(x) \in \mathbb{Q}[x]$ an irreducible polynomial with the splitting field $E$ and let the group $Gal(E/\mathbb{Q})$ be abelian. If $a$ is a root of $f(x)$ then $E=\mathbb{Q}(a)$. Could you ...
0
votes
0answers
31 views

constructibility of a number

Following task: If $\alpha$ and $\beta$ are algebraic numbers, having the same minimal polynomial, then I should show that $\alpha$ is constructible if and only if $\beta$ is constructible. I don't ...
1
vote
1answer
46 views

Is $\mathbb{Q}(\pi)$ a simple extension of $\mathbb{Q}\left(\frac{\pi^3}{1+\pi}\right)$?

In the case of an algebraic extension, I could think easier than this case. But I got stuck in this problem. I know that the dimension of $\mathbb{Q}(\pi)$ over ...
2
votes
3answers
47 views

How can I find the degree of the extension?

Let $\omega_7=e^{2\pi i/7}$ . How can I find the degree of the extension $\mathbb{Q} \leq \mathbb{Q}(\omega_7+\omega_7^5)$?? Could you give me some hints??
0
votes
1answer
19 views

About finite field extensions and their generators

I am with trouble to prove this statment: "Suppose that $\{\beta_1,...,\beta_n\}$ is a base of $L|K$ and $\mathcal{M}$ is a subset of some fied $M\supseteq L$. Prove that $\{\beta_1,...,\beta_n\}$ ...
2
votes
1answer
31 views

Cyclotomic extension of $\mathbb{F}_p((T))$

I feel very confused about why adding n-th roots of unity to $\mathbb{F}_p((T))$ would give $\mathbb{F}_{p^n}((T))$. (Is this true?)
5
votes
1answer
26 views

Lattice basis for prime divisor of $(p)$ [closed]

Suppose that $d \equiv 2$ or $3$ modulo $4$, and that a prime $p \neq 2$ does not remain prime in $R$. Let $a$ be an integers such that $a^2 \equiv d$ modulo $p$. How would I go about showing that ...
2
votes
1answer
19 views

General construction of $\operatorname{GF}(2^k)$

Is there a general method of constructing fields of the form $\operatorname{GF}(2^k)$? (preferably something that is easily manipulable by a computer.) I know that one can look for an irreducible ...
1
vote
2answers
57 views

Infinite algebraic extension of a finite field

I have recently started studying algebraic field extensions and I got to know that algebraic closures $\overline{F}$ of finite fields $F$ are infinite. Therefore, I've asked myself the following ...
2
votes
1answer
34 views

The normal closure of a field extension

I'm making my first steps in abstract algebra and I was wondering, if there is a technique to determine the normal closure of a given extension, cause all I know is a theoretical definition: $K_n$ is ...
0
votes
0answers
30 views

Determine which roots of unity have degree at most 3

I need help to do exercises on "Abstact Algebra": 1.Determine all integer $n$, such that $\phi_n$ has degree at most $3$ over $\mathbb Q$, where $\phi_n=e^\frac{2\pi i}{n}$ .
0
votes
1answer
13 views

Approximating a field by perfect fields.

Let's consider an arbitrary field $K$ and raise the following question: in which sense can we approximate $K$ by a perfect field? Any reasonable notion of approximation by a perfect field should admit ...
3
votes
0answers
34 views

A question concerning cyclic field extensions.

In the study of cyclic extensions we have the following theorem: Theorem Let $K$ be a field containing an $n$-th primitive root of unity $\zeta$. Then the following claims hold: If ...
0
votes
0answers
10 views

If k>0 is a positive integer and p is any prime, show that Zp[√k]={a+b√k | a,b∈Zp} is a field if there doesn't exist x in Zp, such that x^2=k.

However, if there exist x in Zp such that X^2=k, then √k is in Zp and hence Zp[√k] is just Zp which is a field. What's my error? I am confused.
1
vote
1answer
25 views

Question regarding algebraicity of two elements whose sum and product are algebraic.

Let $\alpha , \beta \in \Bbb C$ and suppose $\alpha + \beta$ and $\alpha \beta$ are algebraic over $\Bbb Q$. Prove $\alpha , \beta$ are algebraic over $\Bbb Q$.
0
votes
2answers
25 views

The number of one-dimensional vector spaces in a field

Let $p$ be a prime number, $F=F_p$ a field with $p$ elements. $V$ is a vector space, $n$-dimensional over $F$. Calculate the number of one-dimensional vector spaces in $V$. I tried to solve it, but ...
3
votes
1answer
29 views

Field of rational functions

Let $K$ be a field with characteristic $p>0$ and $M=K(X,Y)$ the field of rational functions in 2 variables over $K$. We consider the subfield $L=K(X^p,Y^p)\subset M$. Show that $[M:L]=p^2$. I ...
4
votes
1answer
22 views

Factor $x^2+2x+2$ in $\mathbb{F}_3/(x^2+1)$

I am asked to find two roots of $x^2+2x+2$ in $\mathbb{F}_3[x]/(x^2+1)$ (the Kronecker construction). The elements of that field are (equivalence classes of) constant or linear polynomials in ...
0
votes
0answers
29 views

Why do I get all the $K$-automorphisms of a splitting field $K''$ successively?

Please let me explain my question on a specific example: Let $K=\mathbb{Q}$ and let $K''=\mathbb{Q}(\sqrt[3]2, \xi)$ be the splitting field of the polynomial $f=X^3-2\in K[X]$. The polynomial $f$ is ...
2
votes
1answer
46 views

Galois group of $x^{15}-1$

Let $\zeta$, $\eta$, $\omega$ denote the primitive fifteenth, fifth, and cube roots of unity. a) Describe all the automorphisms in $G=G(\mathbb Q (\zeta)/ \mathbb Q)$. b) Show that $G$ is isomorphic ...
1
vote
2answers
31 views

Find the field of intersection

Let $\mathbb{F}_{p^{m}}$ and $\mathbb{F}_{p^{n}}$ be subfields of $\overline{Z}_p$ with $p^{m}$ and $p^{n}$ elements respectively. Find the field $\mathbb{F}_{p^{m}} \cap \mathbb{F}_{p^{n}}$. Could ...
1
vote
1answer
27 views

Let $F|K$ be a field extension and $a \in F $ such that $[K(a):K]$ is odd integer [duplicate]

Let $F|K$ be a field extension and $a \in F$ such that $[K(a):K]$ is odd integer, then prove that $K(a)=K(a^2)$.
0
votes
0answers
7 views

Purely inseparable extension from Hungerford

Hungerford, Algebra, V.6.4 says, $F/K$ is purely inseparable if and only if $F$ is generated by a set of purely inseparable elements over $K$. My question : is there any purely inseparable extension ...
1
vote
1answer
57 views

Proving irreducibility of polynomial over various fields

I am working on a problem set from an online course and am struggling to understand a key concept related to proving reducibility / split-ability etc. in a finite field $\mathbb{F}_{p^n}$, as well as ...