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

12
votes
0answers
274 views

On solvable quintics and septics

Here is a nice sufficient (but not necessary) condition on whether a quintic is solvable in radicals or not. Given, $x^5+10cx^3+10dx^2+5ex+f = 0\tag{1}$ If there is an ordering of its roots such ...
12
votes
0answers
538 views

The radical solution of a solvable 17th degree equation

(The question is at the bottom of the post.) Here's a "natural" solvable 17-th deg eqn with small coefficients: $$\begin{align*} x^{17}-6 x^{16}&-24 x^{15}-42 x^{14}-31 x^{13}-23 x^{12}-7 ...
11
votes
0answers
181 views

Ring structure on the Galois group of a finite field

Let $F$ be a finite field. There is an isomorphism of topological groups $(\mathrm{Gal}(\overline{F}/F),\circ) \cong (\widehat{\mathbb{Z}},+)$. It follows that the Galois group carries the structure ...
10
votes
0answers
67 views

Field-theoretic description of fixed field of central subgroups?

Given a Galois extension $E/F$ with Galois group $G$, and a subextension $E/K$ with Galois group $H$, is there a "field-theoretic" characterization of when $H$ is central (i.e. $H\leq Z(G)$)? By ...
8
votes
0answers
186 views

What is the overall idea of Galois theory?

I am a third year undergraduate, doing a course on Field and Galois theory. Now, while I seem to understand most of the concepts locally, I do not seem to get the 'Whole picture' of what is happening ...
8
votes
0answers
250 views

On a Proof in Galois Theory

We have the following lemma (used in the proof of Abel's Theorem): If $\text{Char}(F)=0$, $E/F$ is a radical extension, and $K/E$ is the Galois closure of $E/F$, then $K/F$ is also a radical ...
8
votes
0answers
156 views

Relationship between intersection and compositum of fields

This issue came up in a number theory lecture today. Let $K$ be a number field and let $L/K$ be an abelian (finite Galois) extension. Then there exists a primitive $m$th root of unity $\zeta_m$ so ...
8
votes
0answers
389 views

Proof that a finite separable extension has only finite many intermediate fields

Let $E/F$ be finite separable extension. Is there any proof of the fact that there are only finitely many intermediate fields without using primitive element theorem or fundamental theorem of Galois ...
8
votes
0answers
677 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
0answers
85 views

Ramification group fixing an unramified extension

For a Galois extension of local fields $L/K$ with Galois group $G$, define the ramification groups $G_i$ by $$G_i = \{ \sigma \in G : \nu_{L}(\sigma(x) - x) \geq i+1 \text{ } \forall x \in ...
7
votes
0answers
550 views

“The Galois group of $\pi$ is $\mathbb{Z}$”

Last year, in a talk of Michel Waldschmidt's, I remember hearing a statement along the lines of the title of this question: The Galois group of $\pi$ is $\mathbb{Z}$. In what sense/framework is ...
6
votes
0answers
135 views

Why differential Galois theory is not widely used?

E.R.Kolchin has developed the differential Galois theory in 1950s. And it seems powerful a tool which can decide the solvability and the form of solutions to a given differential equation. My ...
6
votes
0answers
118 views

How often are Galois groups equal to $S_n$?

Let $\mathbb{Z}[x]_n$ be the set of polynomials in $\mathbb{Z}[x]$ of degree at most $n$. Then, consider some sensible increasing filtration $$A_0 \subset A_1 \subset A_2 \subset \cdots$$ of ...
6
votes
0answers
205 views

Prove that every algebraic extensions over $\mathbb{R}$ are isomorphic to $\mathbb{R}/\mathbb{R}$ or $\mathbb{C}/\mathbb{R}$

Prove that every algebraic extensions over $\mathbb{R}$ are isomorphic to $\mathbb{R}/\mathbb{R}$ or $\mathbb{C}/\mathbb{R}$ Corollary $3.20$ page $267$ of Hungerford - Algebra: "Every proper ...
6
votes
0answers
64 views

When exactly is the splitting of a prime given by the factorization of a polynomial?

Let $L/K$ be an extension of number fields with $L=K(\alpha)$, where $\alpha\in \mathcal{O}_L$. Let $f\in \mathcal{O}_K[x]$ be the minimal polynomial of $\alpha$ over $K$. Let ...
6
votes
0answers
98 views

Classes of groups known to be realizable (IGP)

A finite group $G$ of order $n$ is said to be realizable (over $\mathbb{Q}$) if there exists a Galois extension $L/\mathbb{Q}$ such that $\mathrm{Gal}(L/\mathbb{Q})=G$. I'm curious what classes of ...
6
votes
0answers
74 views

Generalization of Kummer isomorphism?

Let $p$ be a prime number and denote by $\mathbb{F}_p(1)$ the one dimensional vector space over $\mathbb{F}_p$ endowed with an action of $G:=Gal(\bar{\mathbb{Q}}_p / \mathbb{Q}_p)$ via the mod $p$ ...
6
votes
0answers
226 views

Can one trisect $\arccos(6/7)$?

Is this proof correct? Proof: Here $\theta = \arccos(6/7)$. Now to show we can't trisect $\theta$, we show that $\theta/3$ is not constructible by finding the irreducible polynomial in $\mathbb ...
5
votes
0answers
51 views

Galois group solvable but $f$ not solvable.

I know from a theorem that: Let $F$ be a field of characteristic $0$ and $f(x)\in F[x]$. Then $f(x)$ is solvable by radicals if and only if the Galois group of $f(x)$ is solvable. But what if the ...
5
votes
0answers
150 views

Complex Conjugation as an $F$-Automorphism of $K$?

I am struggling with the following problem: Let $f \in F[x]$ be an irreducible quintic polynomial with splitting field $K$, where $\mathbb{Q} \subseteq F$. Supposing that $f$ has three real roots ...
5
votes
0answers
128 views

Intuition about structures in Galois Theory.

Background Often in mathematics I find we can ask "why" something is true. Of course, this is not a well defined question. However, it usually prompts answers that includes words like ...
5
votes
0answers
109 views

Understanding a Proof in Galois Theory Notes

My course lecture notes for Galois Theory make the following (standard) claim about the uniqueness of splitting fields for a given polynomial. I am struggling to understand the proof the lecturer ...
5
votes
0answers
124 views

Galois Group of $x^5+ 5x^3 + 5x + 1$.

I've been asked to determine the Galois Group of $x^5+ 5x^3 + 5x + 1$. This is what I know so far. 1) The polynomial is irreducible. 2) Its discriminant is $78125=5^7$ Since the discriminant is ...
5
votes
0answers
310 views

Deriving the Bring-Jerrard quintic using a $cubic$ Tschirnhausen transformation

One can simultaneously eliminate three terms from the general quintic using a quartic Tschirnhausen transformation. The 4th parameter of the quartic allows it to be done in radicals and details are in ...
5
votes
0answers
703 views

Galois group acts transitively

The question I am dealing with is: Let F be a field, $f(x)\in F[x]$ be irreducible and let $N/F$ be normal field extension. Let $$f(x) = g_1(x) \cdot \dots \cdot g_r (x)$$ be the factorization of ...
5
votes
0answers
98 views

Showing that $[\mathbb C(z):\mathbb C(f_0)]=$topological degree of $f_0\in\mathbb C(z)$ as a function from the Riemann sphere to itself

McKean & Moll offer the following sketch of a proof. Let $P(x)=a_0(x)-f_0b_0(x)$ in $\mathbb C(f_0)[x]$ where $f_0(z)=\dfrac{a_0(z)}{b_0(z)}$ is in $\mathbb C(z)$. Then evidently, $\deg P=\#$ ...
4
votes
0answers
45 views

What is the automorphism group of the field of all constructible numbers?

Let $\Omega\subseteq \mathbb{C}$ be the field of all constructible numbers (i.e. $\Omega$ is the smallest subfield of $\mathbb{C}$ which is closed under taking square roots). What is known about the ...
4
votes
0answers
27 views

A sequence of rational polynomials whose splitting fields over $\mathbf{Q}$ have dihedral Galois groups.

It is well known that the splitting fields of $x^3-2$ and $x^4-2$ over $\mathbf{Q}$ have Galois groups $D_6$ and $D_8$, Dihedral groups of $6$ and $8$ elements respectively. However, this pattern ...
4
votes
0answers
42 views

Why restriction to $B(\alpha)$ is a homomorphism from $Gal(E/B)$ to a group with kernel $Gal(E/B(\alpha))$?

I'm reading Galois Theory for Beginners by John Stillwell. It's a good introduction, giving the essence of the idea with minimum algebra complexity. However, I'm a bit lost at his Theorem 2 (the ...
4
votes
0answers
27 views

Why is $F_5(\root{15}\of t)$ not normal over $F_5(t)$?

(I'm asking this to understand the solution of this question. My idea for a proof so far: $f:=X^{15}-t\in F_5(t)$ is the minimal polynomial of $\root{15}\of t$ in $F_5(t)$, so it suffices to show ...
4
votes
0answers
60 views

is $\sqrt p$ in $\mathbb Q(\zeta_{4p})$?

i think for every prime $p$ we have $\sqrt p \in \mathbb Q(\zeta_{4p})$ when $\zeta_{4p}$ is a primitive 4p-th root of unity.but i have no idea to prove it. is it true? can any one help me with a ...
4
votes
0answers
40 views

Compute Galois group of these extensions.

I think that I have a problem in the redaction. I have to compute 1) $G=\text{Gal}(\mathbb Q(\sqrt 3,\sqrt 2)/\mathbb Q)$ I know that $\mathbb Q(\sqrt 3,\sqrt 2)$ is the splitting field of ...
4
votes
0answers
48 views

Let $K = \mathbb{Z_p(t)}$ be the field of rational functions and let $f(x) = x^p - x - t \in K[x]$ and let $E/K$ be the splitting field of $f(x)$.

Show $f(x)$ is not solvable by radicals and $Gal(E/K) \cong Z_p$. I was just reading Galois theory from the textbook "Galois Theory - Rotman" and I stumbled acrossed an exercise that looked ...
4
votes
0answers
58 views

Splitting field of $1 + x^3 + x^6 + x^9$

I'm studying for a qualifying exam and wanted to know if my reasoning on this problem was correct: Let $L$ be the splitting field of $f(x) = 1 + x^3 + x^6 + x^9$ over $\mathbb{Q}$. Find the Galois ...
4
votes
0answers
55 views

Number field theoretical analogue of Riemann's Existence Theorem

This question is related to Riemann's Existence Theorem as cited in Neukirch, Schmidt et. al.: Cohomology of Number fields (10.5.1). Let $k$ be a number field, $T \supseteq S \subseteq S_p \cup ...
4
votes
0answers
85 views

Systematically describing the Galois Group and Intermediate Fields

In an exercise in the textbook you are asked to describe the Galois Group and the intermediate fields of the extension $$ L=\newcommand{\Q}{\mathbb Q}\Q(\sqrt 2,\sqrt 3)\supset\Q $$ I have noted that ...
4
votes
0answers
55 views

Automorphism group of an L-function

I define the notion of Galois class of L-functions as follows: $A$ is a Galois class of L-functions if and only if the following conditions simultaneously hold true: 1) $A$ is a subset of the ...
4
votes
0answers
135 views

Ultraproduct of the algebraic closure of finite fields

Ok, I have done a little research on the next problem, and there are simple proofs of it using model theory, logic and the Łoś's theorem. But here, the idea is to prove it using only Field Theory, ...
4
votes
0answers
91 views

Relationship between automorphisms of finite etale covers and function fields

Let $X$ and $Y$ be varieties over an algebraically closed field $K$, $\phi:Y \longrightarrow X$ be a finite etale cover , and let $K(X),K(Y)$ be the function fields of $X$ and $Y$ respectively. Then ...
3
votes
0answers
35 views

“Breaking the symmetry” in solving algebraic equations

I've heard somewhere a discussion about solving algebraic equations before: When solving a quadratic equation, we are essentially doing the following. Observe that ...
3
votes
0answers
25 views

Way to check the Galois groups of given polynomials online?

Is there some way (for instance a way of typing into Wolfram Alpha) that will give me the Galois group of a given polynomial over Q.
3
votes
0answers
39 views

$\mathbb{Q}(\sqrt{2+\sqrt{2}})$ is Galois over $\mathbb{Q}$?

I need to show that the extension $\mathbb{Q}(\sqrt{2+\sqrt{2}})$ is Galois over $\mathbb{Q}$, and compute its Galois group. I am learning Galois theory by myself and got stuck in this exercise. I ...
3
votes
0answers
44 views

Inertia field of a compositum.

My question is regarding composite field extensions. The problem is motivated but not explicitly stated in the chapter 4 exercises of Marcus' Number Fields, in particular ex. 31 c) We first provide ...
3
votes
0answers
63 views

Splitting field and Galois group of a quintic polynomial over $\mathbb{Q}$

On an old algebra prelim, there is a particular problem I would like some help on. It is a five-part question. Let $K$ be the splitting field over $\mathbb{Q}$ of the polynomial $$f(x)=x^5- x^4 + x^3 ...
3
votes
0answers
38 views

Root finding using Galois theory

Is there a method in Galois theory that, say given an $n$th degree polynomial with integer coefficients $$a_nx^n+a_{n-1}x^{n-1}+\cdots+a_0$$ and $\alpha_1$ is a root of said polynomial, gives ...
3
votes
0answers
89 views

Galois group of $x^8-2$ and intermediate fields

Let $p(x)=x^8-2$ be a polynomial over $\mathbb{Q}$. I am to find its Galois group $G$ and the correspondence between subfields of its splitting field $\mathbb{K}_p$ and subgroups of $G$. It is easy to ...
3
votes
0answers
62 views

Algebraic number of degree four that cannot be constructed with ruler and compass

The real number $b:=\frac{\sqrt{2a}+\sqrt{4\sqrt{a^2-3}-2a}}{2}$, where \begin{equation*} ...
3
votes
0answers
47 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 ...
3
votes
0answers
38 views

Finding polynomial with Galois group $S_n$.

I'm studying the proof that for every $n\in \mathbb{N}$, there exists a polynomial $f\in \mathbb{Q}$ such that $\mbox{Gal}(E/\mathbb{Q})\cong S_n$, with $E$ the splitting field of $f$ over ...
3
votes
0answers
83 views

Automorphism(Galois groups) and galois theory

I've been stuck on two last parts for two different questions, can someone please help me with these. The first question is: Let $\sigma\in Aut(L/\mathbb{Q})$, where $L$ is some subfield of ...