Galois theory allows one to reduce certain problems in field theory, especially those related to field extensions, to problems in group theory. For questions about field theory and not Galois theory, use the (field-theory) tag instead. For questions about abstractions of Galois theory, use ...

learn more… | top users | synonyms

0
votes
1answer
36 views

The ring of fractions $K(x)$ is the field generated by $K$ and $x$.

I would like to show that the ring of fractions $K(x)$ of $K[x]$ in an extension $L$, where $K\subset L$ fields, is the field generated by $K$ and $x$ (let's call it by $\tilde{K(x)}$). I know just ...
0
votes
2answers
17 views

Rational functions are decomposed in polynomial products

I'm trying to understand why this is true: Since $K(x)$ is a field, $K(x)$ is an UFD, then $K(x)$ can be written uniquely as products of irreducible elements of $K(x)$. I didn't understand why ...
3
votes
1answer
34 views

Characterization of the transcendentals over a field

I'm studying Algebraic Function Fields and Codes book from Henning Stichtenoth and I didn't understand this remark in the first page: I couldn't solve any part of the equivalence, I think maybe ...
1
vote
1answer
23 views

Irreducibility in Galois/non Galois Extensions

Let $k$ be a field and $\alpha$ algebraic over $k$. Let $K$ be the Galois closure of $k(\alpha)$ (obtained by adding all conjugates of $\alpha$). If $f(x) \in k[x]$ is irreducible over $k[\alpha]$ is ...
2
votes
1answer
40 views

A Fixed Field of $\mathbb{Q}(\sqrt{2},\sqrt{3},\sqrt{5})$

I was working on a review problem from Dummit and Foote and came across the following issue. It is clear that the Galois group of the splitting field for the polynomial $(x^2-2)(x^2-3)(x^2-5)$ has ...
0
votes
0answers
22 views

Galois group of a splitting field

$f=x^4-5x^2+6 \in \operatorname Q[x]$ $f=(x^2-2)(x^2-3)$ $\operatorname F=\operatorname Q(\sqrt[2]{2},\sqrt[2]{3})$ $f$ is irreducible for Eisenstein's criterion, $\operatorname{char} \operatorname ...
1
vote
1answer
24 views

Galois group of the splitting field of $ x^6 - 5$

$f = x^6 - 5$ $\in \operatorname Q [x]$ I want to find a splitting field $\operatorname F$ of $f$ over $ \operatorname Q$ $\sqrt[6]{5}$ is a real root of $f$ $u$ is the 6-th root of unity then $ ...
1
vote
2answers
43 views

Galois extension preserves irreducibility

Consider a Galois extension $K/F$. Let $f\in F[x]$ be irreducible of prime degree. If $f$ has no roots in $K$, prove that $f$ is irreducible in $K[x]$.
1
vote
2answers
34 views

$K \le B\le F$, If $F$ Galois over $K$ $\Rightarrow$ $F$ a Galois over $B$

Let $F$ a Galois over $K$, and let $B$ be a subfield of $F$ such that : $K \le B\le F$ $\Rightarrow$ $F$ a Galois over $B$ PROOF: $F$ is a splitting field of $f \in K[x]$ separable over $K$. ...
1
vote
1answer
56 views

Action of $\mathbb Z_2$

Is there a connection between Artin-Schreier theorem on finite groups which can be absolute Galois groups and the classification of finite groups freely acting on even-dimensional sphere? The former ...
-1
votes
0answers
27 views

Schanuel's conjecture and field extensions.

Doing a little bit of reading over the summer break before going into my masters year of my maths degree and i have been looking at Schanuel's conjecture which states that; Given any $n$ complex ...
2
votes
4answers
68 views

find a polynomial whose roots are inverse of squares of roots of $x^3+px+q$

Question is : Given a polynomial $f(x)=x^3+px+q\in \mathbb{Q}[x]$ find a polynomial whose roots are inverse of sqares of roots of $f(x)$ Supposing $a,b,c$ as roots of $f(x)$ we have : $a+b+c=0$ ...
1
vote
1answer
25 views

Prove that $K=k(\alpha)$

Prove: If K\k is a Galois extension and $\alpha \in K$ with $\sigma(\alpha)\neq \alpha$ for all $\sigma \in Gal(K,k)\backslash \lbrace id_K \rbrace$, than $K=k(\alpha)$.
4
votes
1answer
80 views

Find intermediate fields of $\mathbb{Q}(\sqrt[3]{2}, \sqrt{3},i) \, | \, \mathbb{Q}(i)$

This is the problem I am facing: Compute the intermediate fields of the extension $K | \mathbb{Q}(i)$ where $K = \mathbb{Q}(\sqrt[3]{2}, \sqrt{3},i)$ and find the intermediate fields $M$ such ...
1
vote
1answer
69 views

Solvability of polynomials over fields of characteristic zero

1) Let $K$ be a field, $\operatorname{char}(K)= 0$, and $f ∈ K [x]$ with $\deg(f)\le4$. Then $f$ is solvable by radicals. Proof: $\operatorname{Gal} (F/K) \cong S_4$ then $\operatorname{Gal}(F/K)$ ...
1
vote
1answer
51 views

How to show this is the minimal polynomial

I'm trying to the following problem. But I can't show some irreducibility of the polynomials. Put $L=\mathbb{C}(X,Y,Z)$, $\omega=\frac{-1+\sqrt{-3}}{2}$. Define two automorphism $\sigma, \tau$ of ...
2
votes
1answer
87 views

Radical Solvable quintic polynomial.

I am trying to solve the following exercise: Let $k$ be a field of characteristic 0, and let $f(x)\in k[x]$ be a polynomial of degree 5 with splitting field $E/k$. Prove that $f(x)$ is ...
3
votes
1answer
72 views

What is the difference between field theory and Galois theory

I am about to finish the book Galois theory by Harold Edwards. I am planning to study Galois theory at a more advanced level or field theory. I am unable to decide because I don't know the difference ...
2
votes
1answer
44 views

$(u+1)(u+2)\cdots(u+p)=u^p-u$

Let $E$ be a field with characteristic $p>0$. How should I prove that $$(u+1)(u+2)\cdots(u+p)=u^p-u$$ I can verify this equality for small $p=2,3,5$. Is there a way to prove this result in general? ...
3
votes
0answers
36 views

Proving that a certain maximal subfield has countably infinite index

Let $K$ be a maximal subfield of $\mathbb C$ which does not contain $\sqrt{2}$. I've shown that $\mathbb C$ is an algebraic extension of $K$, and that the Galois group of any finite extension of $K$ ...
2
votes
0answers
64 views

Criteria for a solvable septic equation

I have a certain 7x7 matrix whose elements are all symbolic, and I want to know the eigenvalues. I have to solve a septic equation, but it is generally impossible. However, I am only interested in the ...
3
votes
1answer
59 views

A finite group $G$ is isomorphic to $\operatorname{Gal}(f,K)$.

Let $G$ be a finite group with $1 \neq H < G $ a minimal subgroup which is not normal. Prove that there exists a field $K$ and a polynomial $f \in K[X]$ so that $G \cong \operatorname{Gal}(f,K)$ ...
2
votes
1answer
28 views

If $L_1/K$ and $L_2/K$ are not Galois (solvable), then $L_1L_2/K$ is not Galois (solvable)

This is part of an exam preparation: Prove/contradict: If $L_1/K$ and $L_2/K$ are not Galois, then $L_1L_2/K$ is not Galois. If $L_1/K$ and $L_2/K$ are not solvable Galois extensions, ...
1
vote
0answers
31 views

Solvability by radicals is independent of the choice of splitting fields

I am trying to prove the following exercise: If $E/k$ and $E'/k$ are splitting fields of $f(x)\in k[x]$ and there is a radical extension $K_t/k$ with $E\subset K_t$, prove that there is a radical ...
1
vote
1answer
21 views

Normalizer of a subgroup of a Galois group

I wanted to check whether my solution for this problem was correct. Let $k \subseteq L \subseteq K$ be a finite extension of fields, with $K/k$ Galois $H$ the normalizer of $Aut(K/L)$ in $Aut(K/k)$. ...
4
votes
1answer
65 views

Embedding of Galois Group

I am trying to prove the following: Let $E/k$ be a splitting field of $f(x)\in k[x]$ with Galois group $G=\operatorname{Gal}(E/k)$. Prove that if $k^*/k$ is an extension field and $E^*$ is a ...
3
votes
0answers
30 views

Determining if a given equation is solvable given a set of ultra-radicals

So suppose someone is armed with the tools of standard arithmetic, exponents (and of course that comes along with roots) AS WELL AS a set of inverses for some polynomials which are not solvable using ...
0
votes
1answer
43 views

cyclic galois group

let K be any field and $\sigma$ be an automorphism of of K where F is the fixed field of $\sigma$ and order of $\sigma$ is "s". now to prove is that [K:F] = s. well if look at Gal(K/F) it contain all ...
0
votes
2answers
50 views

Find the galois group of the polynomial when a root is given

If $\alpha$ is a root of a polynomial $f(x)=x^3 +x^2-4x+1$ then show that $2 - 2\alpha - \alpha^2$ is also a root of $f(x)$. Use this fact to compute the Galois group of the splitting field of $f(x)$ ...
4
votes
1answer
38 views

Is the intersection of the conjugates of a subnormal subgroup of prime power index also a subgroup of prime power index?

I was wondering if it's really the case that, if $G$ is a group with subgroups $H$ and $N$ such that $H\unlhd N\unlhd G$ such that $G/N$ and $N/H$ is a $p$-group, then the intersection of all the ...
3
votes
2answers
136 views

Is the order of $\operatorname{Gal}(\bar{\Bbb Q}/\Bbb Q)$ known?

Is the order of $\operatorname{Gal}(\bar{\Bbb Q}/\Bbb Q)$ known? And if so is there a description on how the order can be found? My initial thoughts is that because $\bar{\Bbb Q}$ is countable and ...
2
votes
0answers
35 views

Characterizing quadratic number fields that are subfields of cyclic quartic number fields [duplicate]

Given a quadratic number field $F = \mathbb{Q}(\sqrt{d})$, is there a way to determine whether or not $F \subset K$ for some quartic numberfield $K$ with $\operatorname{Gal}(K/\mathbb{Q}) \cong ...
6
votes
1answer
65 views

Abel-Ruffini Theorem

I'm sorry for the short question, but is the Abel-Ruffini Theorem essentially equivalent to saying that the set of all complex numbers constructable by a concatenation of field operations and n-roots ...
0
votes
2answers
44 views

Extension field on $\mathbb Q$

Pick the correct statements $\mathbb Q (\sqrt 2)$ and $\mathbb Q(i)$ are isomorphic as $\mathbb Q$ vector space. $\mathbb Q (\sqrt 2)$ and $\mathbb Q(i)$ are isomorphic as fielods. $Gal_{\mathbb ...
0
votes
1answer
19 views

Parity of the order of the Galois group of a polynomial basing on its discriminant

Let $K$ be a field with $char(K)=0$ and $f\in K[t]$ an irreducible polynomial which Galois group $G_{K}(f)$ is cyclic. Show the discriminant $\Delta(f)$ of $f$ is a square of an element of $K$ if and ...
0
votes
0answers
25 views

Show two multiplication tables of GF(8) are isomorphic [duplicate]

How to show the two tables above are isomorphic? I try to map one element to another element in another table, but I fail to do so as I found that one element from the table on the left is mapped to ...
1
vote
0answers
27 views

Splitting field and intermediate fields

Find splitting field $K$ of polynomial $x^3-7$ over $\mathbb{Q} (\sqrt{3} )$ and find $(K: \mathbb{Q} )$ $G(K/ \mathbb{Q} )$ Find intermediate fields between $\mathbb{Q}$ and $K$. So the ...
1
vote
1answer
54 views

Clarification of an old question: Galois Groups of Finite Extensions of Fixed Fields

The question is: Let $\overline{K}$ be an algebraic closure of $K$, $\sigma\in G(\overline{K}:K)$ and $E=\{x\in\overline{K}:\sigma(x)=x\}$. Prove that every finite extension $L\mid E$ is a Galois ...
1
vote
1answer
49 views

Show that a sequence of fields exists

I do not have a clue how to solve the following problem: Let $K\subseteq L$ be Galois extension of degree $p^n$, where $p$ is prime and $n$ is natural. Show that there exists a sequence of subfields ...
1
vote
0answers
32 views

Galois extension of two fields

I am preparing myself to the exam in algebra and I have found the following exercise, which is quite hard for me. Do you have any suggestions for solving it? For fields $K\subseteq L,M\subseteq \bar ...
0
votes
1answer
31 views

Find polynomials $u(x), v(x)$ satisfying $X^5 + X^2 = (X^3 + X + 1)u(x) + v(x)$

I'm not absolutely sure if I'm answering this correctly but here is the question. Let $F=GF(2)$. find polynomials $u(x), v(x) \in F[X]$ satisfying $X^5 + X^2 = (X^3 + X + 1)u(x) + v(x)$ What I think ...
-1
votes
1answer
37 views

Prove that $u$ is algebraic over $\mathbb{Q}$ [closed]

Let $u$ be a root of the following equation: $$x^{3}+{\displaystyle \dfrac{1+i}{\sqrt{2}}x^{2}+\dfrac{-1+i\sqrt{3}}{2}x+1=0}$$ Prove that $u$ is algebraic over $\mathbb{Q}$ . Thanks in ...
2
votes
1answer
47 views

Proof Verification/Strategy: Galois Group of the splitting field of a polynomial is solvable.

Hi I just wanted to pose a question and see if my approach is valid. I have a more rigorous way of explaining it but it's a little lengthy and I wanted to be as brief as I could. I'm working to prove ...
6
votes
1answer
298 views

Proving that a Polynomial is not solvable by radicals.

I'm trying to prove that the following polynomial is not solvable by radicals: $$p(x) = x^5 - 4x + 2 $$ First, by Eisenstein is irreducible. (It is not difficult to see that this polynomial has ...
2
votes
0answers
21 views

If $K$ is a maximal subfield of $\mathbb C$ without $\sqrt{2}$, does $K\overline{\mathbb Q}=\mathbb C$?

I want to prove that the degree of $\mathbb C$ over $K$ is countably infinite. I think it's infinite because the polynomials $x^{2^n}-2$ are all irreducible over $K$ (can someone confirm this?), and ...
2
votes
1answer
60 views

If $|\operatorname{Aut}_KF|=3$, must we have cube roots of unity?

Let $K$ be a field of zero characteristic. Let $F$ be a finite dimensional extension field of $K$ such that $|\operatorname{Aut}_K F|=3$. Must the equation $x^2+x+1=0$ have a root in $F$ ? Thank you
0
votes
0answers
20 views

Does a maximal subfield of $\mathbb C$ not containing $\sqrt{2}$ have index $2$?

Related: Maximal Subfield of $\mathbb C$ without $\sqrt{2}$ Let $K$ be a maximal subfield of $\mathbb C$ which doesn't contain $\sqrt{2}$ (one exists by Zorn's Lemma). Then $\mathbb C$ is algebraic ...
2
votes
1answer
56 views

Maximal Subfield of $\mathbb C$ without $\sqrt{2}$

If we let $K$ be a maximal subfield of $\mathbb C$ that doesn't contain $\sqrt{2}$, then if $L$ is any finite extension of $K$, then its Galois with a cyclic 2-group. I want to use this to conclude ...
3
votes
1answer
31 views

Proof of Dedekind's Theorem on the Galois Groups of rational polynomials

Dedekind's theorem states that if a polynomial in $\mathbb Z[x]$ is factored into irreducibles modulo a prime not dividing the discriminant, then the Galois group of the polynomial, considered as a ...
5
votes
1answer
35 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 ...