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

21
votes
0answers
297 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 ...
14
votes
0answers
692 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
74 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 ...
9
votes
0answers
105 views

Classification of all subrings

Let $R$ be an integral domain whose underlying additive group is finitely generated free and whose field of fractions $K$ is a finite Galois extension of $\mathbb{Q}$. Is there a method of ...
9
votes
0answers
230 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 ...
9
votes
0answers
204 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
299 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
505 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
605 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 ...
7
votes
0answers
84 views

Use the identity $\cos 3\theta = 4 \cos^3\theta- 3 \cos \theta$ to solve the cubic equation $t^3 + pt + q = 0$ when $p, q \in \mathbb{R}$.

I'm self studying Ian Stewart's Galois Theory and this is Exercise 1.8 from his Third Edition: Use the identity $\cos 3\theta = 4 \cos^3\theta- 3 \cos \theta$ to solve the cubic equation $t^3 + ...
7
votes
0answers
134 views

Galois' theory: fixed subfield formula.

In a homework dealing with Galois' theory, I am asked to prove the following standard statement, known as the fixed subfield formula: Theorem. Let $L$ be a field and $G$ be a finite subgroup of ...
7
votes
0answers
77 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 ...
7
votes
0answers
98 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
878 views

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

Let $K=k(x)$ be the rational function field 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$ relatively ...
6
votes
0answers
136 views

The cubic equation $x^3 - 4 x^2 + x + 1 =0$

The cubic polynomial $P(x) =x^3 - 4 x^2 + x + 1$ has discriminant $\Delta = 169 = 13^2$ which tells us that the extension $\mathbb{Q}(a)/\mathbb{Q}$ is normal, where $a$ is any root of the equation ...
6
votes
0answers
59 views

Two algebraic number theory questions.

I have two algebraic number theory questions. See page 26 here, specifically Lemma 5.11. Lemma 5.11. The group $\mathcal{O}^\times$ is generated by roots of unity and $[\mathcal{O}^\times]^+$, the ...
6
votes
0answers
65 views

Serre's surjective theorem importance.

I'm studying Serre's paper in wich he shows the following theorem: Let K be a number field, $E$ an elliptic curves over K without CM. Then the representation $$\rho_{\ell}:\mathrm{Gal}(\bar ...
6
votes
0answers
45 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 ...
6
votes
0answers
151 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
429 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 ...
6
votes
0answers
283 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
110 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
82 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
248 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
30 views

Prove/Disprove : Every polynomial with prime degree and coefficients in $[-1,1]$ has galois-group $S_p$

Conjecture : Let $p$ be a prime number , $f\in \mathbb Z[X]$ an irreducible polynomial with degree $p$ and coefficients in the range $[-1,1]$. Then the galois group of $f$ over $\mathbb Q$ ...
5
votes
0answers
74 views

How (possibly) many subfields does $\mathbb{F}$ has that extend $\mathbb{Q}$?

$\mathbb{F}/\mathbb{Q}$ is a finite extension. Denote $\dim_{\mathbb{Q}}\mathbb{F}=n$. How (possibly) many subfields does $\mathbb{F}$ has that extend $\mathbb{Q}$? Thoughts: if ...
5
votes
0answers
58 views

How to find the Galois group of a given polynomial from Galois viewpoint?

Excerpt from Page 3 Consider the polynomial equation \begin{equation*} x^4 - 2 = 0, \end{equation*} with integer coefficients. We have four solutions: \begin{equation*} \alpha = ...
5
votes
0answers
63 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 ...
5
votes
0answers
68 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
74 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 ...
5
votes
0answers
61 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 ...
5
votes
0answers
215 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
66 views

Determine $\text{Gal}(\mathbb{Q}(\alpha) / \mathbb{Q})$ where $\alpha = \omega + \omega^7 + \omega^{11}$

Suppose $\alpha = \omega + \omega^7 + \omega^{11}$, where $\omega$ is a primitive root of unity of order 19. Determine the Galois group of $\mathbb{Q}(\alpha) / \mathbb{Q}$. With which other well ...
5
votes
0answers
150 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
99 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 ...
5
votes
0answers
117 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
148 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
99 views

Exist automorphism from an element to its conjugate

I was asked to prove the galois group of a given normal extension is non-abelian. My original solution was to use isomorphism extension theorem but that was not taught in class. So, in my new attempt ...
5
votes
0answers
868 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
103 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
96 views

Learning Galois theory geometrically?

Recently I started poking at algebraic geometry and commutative algebra. My background is basic category theory and basic algebraic topology. I don't know a lot of other mathematics. I noticed Galois ...
4
votes
0answers
64 views

A quick Galois Theory question

Let $\mathbb{F}_q$ be a finite field of order $q$ where $q$ is a prime power. For any $d \in \mathbb{N},$ we have an inclusion $\mathbb{F}_{q^d} \subseteq \overline{\mathbb{F}}_q.$ Both ...
4
votes
0answers
46 views

dim. of $\left[\mathbb{Q}\left(\sqrt[n]{a},\zeta_{n}\right):\mathbb{Q}\right]$

I want to find dim. $\left[\mathbb{Q}\left(\sqrt[n]{a},\zeta_{n}\right):\mathbb{Q}\right]$ for positive rational number $a$ and $n^\text{th}$ root of unity $\zeta_{n}$ with assumption ...
4
votes
0answers
69 views

Galois group of $x^6-5x^3+6$

Let $f = x^6-5x^3+6$. I want to determine $\operatorname{Gal}(f/\mathbb{Q})$ without some group theory tricks (like Sylow's theorems) and without reduction $\bmod p$. Let $L_f = ...
4
votes
0answers
63 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
97 views

Solvability of Higher Degree Polynomials by Bring Radicals

A Bring radical of $a$ is any root of the polynomial $x^5+x+a$. It is known that we can solve the quintic if we're allowed to use the Bring radical. Now, I was wondering what happens if we ...
4
votes
0answers
58 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
58 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
166 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
166 views

Gaussian periods

Let p be an odd prime number and $p-1=m d$ a decomposition into positive factors. Then there is a unique cyclic extension $K_d/\mathbb Q$ of degree d ramified only at p. It is contained in the ...