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 (galois-...

learn more… | top users | synonyms

22
votes
0answers
369 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 ...
17
votes
0answers
778 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 x^{11}...
12
votes
0answers
136 views

Does the category of algebraically closed fields of characteristic $p$ change when $p$ changes?

EDIT I've now posted this question on mathoverflow. It probably makes sense to post answers over there, unless someone prefers posting here. Let $\mathrm{ACF}_p$ denote the category of algebraically ...
11
votes
0answers
77 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 "...
10
votes
0answers
275 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 ...
10
votes
0answers
579 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 ...
9
votes
0answers
112 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
329 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 ...
9
votes
0answers
231 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 ...
9
votes
0answers
628 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
51 views

Galois group of extension generated by all cubic roots

Let $K/\mathbb{Q}$ be generated by all cubic roots of rational numbers, that is $K=\mathbb{Q}(\{\sqrt[3]{a}:a\in\mathbb{Q}\})$. I would like to understand its Galois group. I only could prove that $...
7
votes
0answers
69 views

If $K\cap\Bbb Q^{\text{cycl}}=\Bbb Q(\zeta_m)$ and $K/\Bbb Q$ Galois, then $\text{Gal}(K(\zeta_n)/K)\cong\text{Gal}(\Bbb Q(\zeta_n)/\Bbb Q(\zeta_m))$

$\DeclareMathOperator{\Gal}{Gal}$ Here is my argument: Induction on the number of primes dividing $n/m$. If there are two primes (i.e., $K(\zeta_n) = K(\zeta_{q_1},\zeta_{q_2})$, where $q_i=p_i^{e_i}$...
7
votes
0answers
113 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
147 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
71 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 ...
7
votes
0answers
162 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 $\...
7
votes
0answers
496 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 ...
7
votes
0answers
87 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 $\mathfrak{p}\...
7
votes
0answers
115 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 ...
7
votes
0answers
86 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$ ...
7
votes
0answers
255 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 Q[x]$,...
7
votes
0answers
99 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 \mathcal{O}...
7
votes
0answers
928 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
56 views

Generalizing Ramanujan's cube roots of cubic roots identities

(This extends this post.) Define the function, $$\sqrt[3]{G(t)} = \sqrt[3]{t+x_1}+\sqrt[3]{t+x_2}+\sqrt[3]{t+x_3}\tag1$$ where the $x_i$ are roots of the cubic, $$x^3+ax^2+bx+c=0\tag2$$ While $G(t)...
6
votes
0answers
106 views

If $E/F$ is finite, $F$ has no odd extensions, and $E$ has no extensions of degree $2$, then $F$ is perfect and $E$ is algebraically closed?

I'm struggling to understand the claim that if $E/F$ is a finite field extension, $F$ has no odd extensions, and $E$ has no extensions of degree $2$, then $F$ is perfect and $E$ is algebraically ...
6
votes
0answers
148 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
67 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 K/K)\...
6
votes
0answers
66 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 ...
6
votes
0answers
50 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
74 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 ...
6
votes
0answers
326 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 ...
5
votes
0answers
32 views

Degree of the difference of two roots

Let $f\in \mathbb Q[x]$ be an irreducible monic polynomial of degree $n$ and let $\alpha,\beta\in \overline{\mathbb Q}$ be two distinct roots of $f$. Is it possible to find a lower bound on the degree ...
5
votes
0answers
48 views

Galois automorphism and linear independence

Let $\zeta$ be a 5th root of unity and $K=\mathbb{Q}(\zeta)$. Define $$\Phi: K \to \mathbb{C}^2, a \mapsto (\phi_1(a), \phi_2(a))$$ where out of $\operatorname{Gal} (K|\mathbb{Q})=\{\phi_1, \phi_2, \...
5
votes
0answers
81 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 $A=\{v_1,...,v_n\}...
5
votes
0answers
69 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 = \sqrt[4]...
5
votes
0answers
82 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
64 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
258 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
70 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
162 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 "intuitively..."...
5
votes
0answers
115 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
124 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
162 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
186 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, ...
5
votes
0answers
102 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
964 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
106 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
30 views

Sum of divisors in $\mathbb{Z}_2[x]$

Let $A$ denote a polynomial on $\mathbb{Z}_2[x]$ and $\sigma(A)$ denote the sum of divisors on $A$. Let$$A = x^h(x + 1)^k P^l Q^{2n - 1},$$where $P$, $Q$ are irreducible polynomials with degree at ...
4
votes
0answers
35 views

Some lemmas on overcategory adjunctions

I'm reading chapter 5 of Borceux and Janelidze's Galois Theories and I think the formulation of some lemmas in section 5.1 require unnecessary conditions. Let $F\dashv G$ where $\mathsf C \stackrel{F}...
4
votes
0answers
56 views

When does a splitting field of a polynomial have the same degree as the polynomial?

Let's say we have the irreducible polynomial $f$ with roots $\alpha_1,\ldots,\alpha_n$. Now let $K$ be its splitting field, in other words $$K=\mathbb Q(\alpha_1,\ldots,\alpha_n).$$ When is it the ...