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
35 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 ...
23
votes
3answers
6k views

How to find the Galois group of a polynomial?

I've been learning about Galois theory recently on my own, and I've been trying to solve tests from my university. Even though I understand all the theorems, I seem to be having some trouble with the ...
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 ...
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$. ...
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
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
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
vote
3answers
437 views

Galois group and the Quaternion group

Let $E=\mathbb{Q}(\sqrt{2},\sqrt{3})$ and $$ L = E \left( \sqrt{ ( \sqrt{2}+2 ) ( \sqrt{3} + 3)} \right) \ . $$ I want to show that $L/\mathbb{Q}$ is a Galois extension with the Quaternion group as ...
5
votes
1answer
468 views

Patrick Morandi- Field and Galois Theory- Section 4- Exercise 11

Let $K$ be the rational function field $k (x)$ over a perfect field $k$ of characteristic $p > 0$. Let $F = k(u)$ for some $u$ in $K$, and write $u = \frac {f(x)}{g(x)}$ with $f$ and $g$ ...
7
votes
1answer
265 views

Galois over Galois

I am working on this exercise: If $E$ is an intermediate field of an extension $F/K$ of fields. Suppose $F/E$ and $E/K$ are Galois extensions, and every $\sigma\in Gal(E/K)$ is extendible to an ...
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$ ...
2
votes
1answer
64 views

The degree of the splitting field of $X^6+X^3+1$

Suppose $L \subset \mathbb{C}$ is a splitting field for the polynomial $X^6+X^3+1$ over $\mathbb{Q}$. Determine $[L:\mathbb{Q}]$ I have several solutions for the problem. However I'm having trouble ...
-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 ...
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)$.
6
votes
1answer
122 views

Are there relations among Frobenii?

Let $G=\text{Gal}(\overline{\mathbf Q}/\mathbf Q)$, and for each prime $p$, choose an embedding $\overline{\mathbf Q} \hookrightarrow \overline{\mathbf Q_p}$. Let $\sigma_p$ be a choice of Frobenius ...
12
votes
1answer
230 views

Semialgebraic conditions that convey properties of Galois group

Let $f \in \mathbb{Z}[x]$ be a polynomial of degree $n$ with integer coefficients and let $G_f$ be the Galois group of $f$ over $\mathbb{Q}$. I am trying to collect results that convey some ...
0
votes
2answers
59 views

Help to prove fact about Galois Theory?

If E is extension field over L, and L is field extension over F how to prove Gal(E/L) is a subgroup of Gal(E/F)? Why is this?
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 ...
3
votes
2answers
1k views

How do I find a splitting field $x^8-3$ over $\mathbb{Q}$?

Here's the situation. I am in this algebra class, and so far we have defined splitting fields and proved their existence and uniqueness. We have not yet decided on any rigorous definition of complex ...
3
votes
2answers
502 views

Interview preparation for Ph.D admission

I have recently gave a written exam for admission to Ph.D program to an institute in India. I have done that exam well and hoping for an interview call. I would like to know what could be type of ...
1
vote
2answers
100 views

adjoining root of an irreducible polynomial.

It's been a while since I last touched Galois theory. I want to check if this theorem is true: Let $f$ be an irreducible polynomial over $\mathbb{Q}$ and $\varphi$ be a root of $f$. Then $f$ is ...
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 ...
3
votes
0answers
64 views

Weil restriction - from abstract nonsense to a practical procedure

Let $L/K$ be a finite field extension. Let $X$ be a $L$-scheme, that is $\exists$ a morphism of schemes $\pi : X \to \operatorname{Spec} L$. The Weil restriction of $X$ is a $K$-scheme $W_{L/K}X$ ...
6
votes
1answer
254 views

How to show that any field extension $K/\mathbb{Q}$ of degree 4 that is not Galois has a quadratic extension $L$ that is Galois over $\mathbb{Q}$.

$\newcommand{\Q}{\mathbb{Q}}$Let $K/\Q$ be a field extension of degree $4$ that is not Galois. How to show that there exists an extension $L\supseteq K$ such that $[L:K]=2$ and $L/\Q$ is Galois? I ...
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
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, ...
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)$ ...
3
votes
2answers
114 views

Galois Group for $x^5-1$

This question is an extension to the question in math.stackexchange.com/questions/759230/subfield-of-the-galois-group-of-x5-1 It seems the discussion in that topic is dead and I still have a major ...
1
vote
1answer
42 views

Nontrival Subgroups of Cyclotomic Fields

In Dummit and Foote, section 14.5, p.597, he considers the generators of $\mathbb{Q}(\zeta_{13})$ which corresponds to the subgroups of $(\mathbb{Z}/13\mathbb{Z})^{\times}\cong ...
7
votes
1answer
116 views

Question about inverse Galois problem

I have a question... if for every finite simple group, we can construct a Galois extension over $\mathbb{Q}$ with that Galois group, does it follow that we can construct Galois extensions over ...
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 ...
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)$. ...
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 ...
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 ...
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 ...
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 ...
5
votes
2answers
103 views

Importance of continuity of Galois representations

So for a one dimensional Galois representation $\rho: G_{\Bbb Q} \to \mathbb C^{\times}$, I know that it must factor through the abelianization of $G_{\Bbb Q}$, which by the Kronecker-Weber theorem is ...
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)$ ...
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 ...