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 (1)

1
vote
0answers
35 views

Finding a Galois group using a cubic resolvent

I've heard there's a fast way to find the Galois group of a quartic polynomial using its resolvent. Can anyone explain how it's done or give a reference? Is this method the same as the general ...
1
vote
2answers
75 views

How to prove the polynomial $ x^{2011}-x\in \mathbb{Z}_{2011}[x] $ is separable?

I am trying to prove that the polynomial $ x^{2011}-x\in \mathbb{Z}_{2011}[x] $ is separable. Definition: Let K be a field and $f\in K[x]$ an irreducible polynomial. The polynomial $f$ is said to be ...
0
votes
2answers
50 views

Integral domain - Embedding

Let $R$ be an integral domain and the homomorphism \begin{align} \phi\colon \mathbb{Z} &\rightarrow R \\ n &\mapsto n \cdot 1_R \end{align} What does it mean that if $\ker \phi =\{0\}$ then ...
4
votes
2answers
76 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
94 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 ...
3
votes
2answers
315 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 ...
11
votes
1answer
129 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.
1
vote
0answers
96 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 ...
4
votes
1answer
69 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
40 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
236 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
0answers
121 views

Degree of field extension question [closed]

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
84 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
32 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
105 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
73 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
57 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 ...
0
votes
1answer
45 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 ...
8
votes
2answers
482 views

Galois group of the splitting field of the polynomial $x^5 - 2$ over $\mathbb Q$

We know that the splitting field of $x^5 - 2 $ over $\mathbb Q$ is $\mathbb Q(2^{1/5}, \rho)$, where $\rho$ is a fifth root of unity. Therefore, $\left[\mathbb Q(2^{1/5} , \rho) : \mathbb Q \right] = ...
0
votes
2answers
49 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
2answers
80 views

When is a number square in Galois field p^n if it's not square mod p?

Here is the problem, that I'm stuck on. There is no square root of $a$ in $\mathbb{Z}_p$. Is there square root of $a$ in $GF(p^n)$? Well, it's certainly true that $$x^{p^n}=x$$ and $$x^{p^n-1}=1$$ ...
4
votes
1answer
86 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
26 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
1answer
81 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
72 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
54 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 ...
5
votes
3answers
99 views

Is $[\bar{\mathbb Q}:\bar{\mathbb Q}\cap\mathbb R]=2$?

Is $[\bar{\mathbb Q}:\bar{\mathbb Q}\cap\mathbb R]=2$ ? I think it is true that $\bar{\mathbb Q}\cap\mathbb C=\bar{\mathbb Q}$, because I've heard that the closure of the reals is $\mathbb C$. ...
0
votes
0answers
47 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
66 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
58 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
39 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
41 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?)
1
vote
1answer
41 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
26 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
173 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
90 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
1answer
21 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
69 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 ...
2
votes
1answer
30 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
73 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 ...
1
vote
1answer
64 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
29 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 ...
2
votes
1answer
95 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
43 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
41 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)$.
1
vote
1answer
103 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 ...
0
votes
1answer
47 views

Field algebraically closed

The problem is Let $E$ a finite extension of $F$ and $E$ is algebraically closed, show that $F$ is perfect. I know that a field $F$ is called perfect if every irreducible polynomial in $F[x]$ is ...
1
vote
0answers
60 views

Euler's criterion and Legendre symbol

I am working on an exercise which is the following : Let be $n$ an odd integer and $b$ such as $b \wedge n = 1$, then $(\frac{b}{n}) \equiv b^{(n-1)/2} \mod n$. (*) If $n$ is divisible by the ...
5
votes
1answer
52 views

Decompose $a = a_1\cdots a_k$ and $a_1 + \dots +a_k = 0$

Problem. Prove that in the field $F, \text{char }F\neq2$ every element $a$ can be decomposed in the following way: $a = a_1\cdots a_k$ and $a_1 + \dots +a_k = 0$. Attempt 1. For the fields in which ...
2
votes
1answer
42 views

Proof of an existence of an algebraic closure of a given field

I am studying the field theory with Abstract Algebra by Dummit & Foote. A proof of an existence of an algebraic closure by constructing such extension using the Zorn's lemma is given in this ...