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

11
votes
0answers
437 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 ...
3
votes
2answers
713 views

Galois group of $x^6+3$ over $\mathbb Q$

I'm having some difficulties finding the Galois group of the polynomial $g(x)=x^6+3$ over $\mathbb Q$. Here's what I did : I observed that the roots of the given polynomial are $\sqrt[6]3 ...
7
votes
3answers
209 views

A simple question about Galois groups

When talking about field extensions of degree two I understand the automorphisms in the Galois group intuitively as analogous to complex conjugation. I lose my understanding when going to field ...
4
votes
2answers
139 views

Galois Theory Problem

Let $L$ be a Galois extension of fields such that $Gal(L/K)=GL_{2}(\mathbb{F}_{p})$. Let $L_{1}$ and $L_{2}$ be subfields of $L$ containing $K$ corresponding to subgroups ...
2
votes
1answer
113 views

Double root mod p implies transposition in galois group?

Let $K$ be the splitting field of some irreducible polynomial $f(x)$ in $\mathbb{Z}[x]$, and let $B$ be the integral closure of $\mathbb{Z}$ in $K$. Suppose that, for some prime $p$: $f(x) \equiv ...
17
votes
1answer
1k views

Intuition behind looking at permutations of the roots in Galois theory

What I find after reading books is that they explain only the conceptual definition and no one mentions the explanation behind it; I have been reading the Galois theory as many people told me to read, ...
1
vote
1answer
116 views

Classification of field extensions

Is it true that all extension of field $k$ are subfields of $\bar k$ (algebraic closure of $k$)? The same question for all algebraic extension. Thanks.
2
votes
2answers
161 views

Action of Galois group on set of generators

Let $k\subset K$ be a Galois extension, i.e. $$K=\langle{\xi}_{1}, {\xi}_{2},\ldots, {\xi}_{n}\rangle,$$ $$k\supset K=\{a_0+a_1{\xi}_{1}+\ldots+a_n{\xi}_{n}|a_0,\ldots,a_n\in k\}.$$ Is it true that ...
1
vote
1answer
108 views

Do we need to distinguish between positive and negative square roots?

I am seeking resolution of a disagreement over the nature of Galois theory. In the followup comments on a separate thread, I made the claim that the beauty of Galois theory is that it does not require ...
4
votes
1answer
245 views

Did Galois show $5^\sqrt{2}$ can't solve a high-order integer polynomial?

Suppose you have an unlimited quantity of the number one, and the operators plus, minus, multiply, divide, and power. Consider the (countable) set $S$ you generate by combining these: Using just one ...
2
votes
0answers
79 views

Is it true that $\forall G\leq Aut(\mathbb{P}^1)=PGL_2(\mathbb{C})$ the map $\mathbb{P}^1\rightarrow \mathbb{P}^1/G$ is defined over $\mathbb{Q}$?

Is it true that for every finite $G\leq Aut(\mathbb{P}^1_{\mathbb{C}})=PGL_2(\mathbb{C})$ the morphism $\mathbb{P}^1_{\mathbb{C}}\rightarrow \mathbb{P}^1_{\mathbb{C}}/G$ descends as a morphism (not ...
4
votes
1answer
428 views

What is a Weil-Deligne representation?

Can anyone explain (or give reference) Weil-Deligne representations, and how they are linked with Galois representations of p-adic field (on l-adic vector spaces or else) ?
1
vote
1answer
66 views

$\mathrm{Gal}(\mathbb{F}_{p^n}/\mathbb{F}_{p^m})$, where $m|n$

Find $\mathrm{Gal}(\mathbb{F}_{p^n}/\mathbb{F}_{p^m})$, where $m|n$. Is this proof correct? Since the base field is finite, $\mathbb{F}_{p^m}\subset \mathbb{F}_{p^n}$ is a Galois extension. (Is ...
2
votes
1answer
148 views

Galois group $Gal(\mathbb{Q}[\xi]:\mathbb{Q})$

Lets $\xi$ is primitive n-th root of unity over $\mathbb{C}$ and lets $$\mathbb{Q}[\xi]\ni\alpha=\sum_{i=0}^{n-1}a_i{\xi}^i.$$ Consider any element $g\in Gal(\mathbb{Q}[\xi]:\mathbb{Q})$. ...
7
votes
5answers
4k views

Galois group of $x^3 - 2 $ over $\mathbb Q$

I know the Galois group is $S_3$. And obviously we can swap the imaginary cube roots. I just can't figure out a convincing, "constructive" argument to show that I can swap the "real" cube root with ...
6
votes
4answers
1k views

Do finite algebraically closed fields exist?

Let $K$ be an algebraically closed field ($\operatorname{char}K=p$). Denote $${\mathbb F}_{p^n}=\{x\in K\mid x^{p^n}-x=0\}.$$ It's easy to prove that ${\mathbb F}_{p^n}$ consists of exactly $p^n$ ...
1
vote
4answers
402 views

How to interpret the phrase “transforms under the irreducible representation”?

I'm reading Robert Gilmore's "Lie Groups, Physics, and Geometry," and trying to understand his brief presentation of Galois theory. I think I get the gist of the method, but would be grateful for help ...
4
votes
1answer
393 views

Normal closure of a radical extension is radical

I'm struggling to understand the proof that the normal closure of a radical extension of fields is also a radical extension, which is crucial since it allows us to work with radical and normal ...
9
votes
2answers
979 views

Exercises on Galois Theory

I need a source for exercises on classical Galois Theory, or to be more specific, Galois extensions of finite fields and the rationals as well as applications (solvability by radicals, for example). ...
11
votes
1answer
560 views

Galois group of a reducible polynomial over $\mathbb {Q}$

Let $f \in\mathbb {Q}[X]$ be reducible - for the sake of simplicity, $ f = gh$ with $g,h \in\mathbb {Q}[X]$ irreducible. Let L be the splitting field of f. Does $Gal(f) \simeq Gal(g) \times Gal(h)$ ...
14
votes
6answers
3k views

How to show that $\sqrt{2}+\sqrt{3}$ is algebraic?

In Abbot's Understanding Analysis I am asked to show that $\sqrt{2}+\sqrt{3}$ is an algebraic number. I have shown that those two are algebraic separately (that was simple), but I can't figure out ...
7
votes
1answer
618 views

Reference book for Artin-Schreier Theory

The aim of the question is very simple, I would like to study Artin-Schreier Theory, but I have had embarassing difficulties in finding a book which could help me in doing that. In specific I'm ...
3
votes
1answer
187 views

Galois action on central simple algebras

Suppose we have the Galois field extensions $\mathbb{F} \leq \mathbb{L} \leq \mathbb {K}$ with Galois groups $\Gamma = Gal(\mathbb{K} / \mathbb{F})$, $N=Gal (\mathbb{K} / \mathbb{L})$. The Galois ...
2
votes
1answer
158 views

Galois theory: splitting field of cubic as a vector space

I'm trying to express the splitting field of a cubic equation as a vector space over the rationals. Specifically I am looking for a set of six independent vectors that span the space. If the roots are ...
10
votes
3answers
374 views

Galois ring extension

Is there an analogous theory to Galois extension of fields for commutative rings? In particular, what does it mean for a ring extension to be Galois? Thanks.
3
votes
0answers
129 views

Extensions Q(α,β) and Q(α∗β) over Q are the same one?? When?

I would like to know in which conditions the extensions $\mathbb{Q}(\alpha,\beta)$ and $\mathbb{Q}(\alpha*\beta)$ over $\mathbb{Q}$ are the same one. Thanks in advance.
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 ...
3
votes
1answer
246 views

The degree of the algebraic closure over the separable closure of an imperfect field

Let $K$ be imperfect, $K^a$ its algebraic closure and $K^{\rm sep}$ its separable closure. Show $[K^a \colon K]$ and $[K^a\colon K^{\rm sep}]$ are infinite. Is $[K^{\rm sep}\colon K]$ infinite? ...
2
votes
1answer
63 views

Basis of Subextension

I'm investigating the splitting field of $x^{17}-1$. Clearly this is just $\mathbb{Q}(\zeta)$ where $\zeta$ is a complex 17th root of unity. I know that there is a unique subextension $F$ of order 2, ...
7
votes
5answers
660 views

Shortest way of proving that the Galois conjugate of a character is still a character

Let $G$ be a finite group and $\chi$ a character of $G$. The values of $\chi$ generate an abelian Galois extension $K$ of $\mathbb{Q}$, and so one can consider the conjugate $\sigma(\chi)$ of $\chi$ ...
8
votes
1answer
129 views

How to extend Galois character?

Let $D_p$ be a decomposition group of $Gal(\overline{\mathbb{Q}}/\mathbb{Q})$ above $p$ (for all $p$) and $I_p$ the inertia group. Let $\chi_p$ be a character of $D_p$, such that $\chi_p$ is trivial ...
4
votes
1answer
310 views

There are enough Galois extensions?

There are enough Galois extensions? For me enough means that every finite extension of a certain field is included in a Galois extension of that field, formally: "Given a field $k$, and a finite ...
3
votes
1answer
121 views

Does there exist an English translation of Distler's paper on solving polynomials by radicals?

The Radiroot package for GAP by Andreas Distler solves by radicals polynomials with solvable Galois group. The package uses the algorithm described in Distler's paper "Ein Algorithmus zum Lösen einer ...
5
votes
2answers
493 views

Prove that the Galois group of $x^5+x^4-4x^3-3x^2+3x+1$ is cyclic of order $5$

I have been asked to prove that the Galois group of $x^5+x^4-4x^3-3x^2+3x+1$ (presumably over $\mathbb{Q}$ is cyclic of order $5$. Unfortunately, I have no idea where to start. The hint says to show ...
6
votes
2answers
595 views

A question concerning polynomial solvable by radicals

We know from Galois Theory that a polynomial is solvable by radicals if and only if its Galois group is solvable. On the other hand solvable by radicals for example means that the equation $X^n-1=0$ ...
2
votes
2answers
1k views

Calculating the Galois group of an (irreducible) quintic

On my homework I have been asked to compute the Galois group of a quintic. I have no idea how to do this, except (a) I calculated that it was irreducible (brute-force) (b) Since it is irreducible, ...
12
votes
3answers
351 views

Complex Galois Representations are Finite

In A First Course in Modular Forms, Diamond and Shurman leave as an exercise ($9.3.3$) that every complex Galois representation is finite. While I think I have worked through this exercise here, this ...
3
votes
2answers
112 views

Geometric distinction between real cubics with different Galois group?

The following Cubics have 3 real roots but the first has Galois group $C_3$ and the second $S_3$ $x^3 - 3x + 1$ (red) $x^3 - 4x + 2$ (green) Is there any geometric way to distinguish between the ...
6
votes
2answers
1k views

Does a cubic polynomial with 3 real roots have Galois group C3?

If an irreducible cubic polynomial with coefficients in $\mathbb Q$ has Galois group $C_3$ then, since no order $2$ symmetry lies in the Galois group no complex conjugation acts on the roots, it's ...
3
votes
3answers
1k views

Degree 2 Field extensions

Are all degree 2 field extensions Galois? I know that this is true over the rationals. But is it true in General?
20
votes
2answers
1k views

“Standard” ways of telling if an irreducible quartic polynomial has Galois group C_4?

The following facts are standard: an irreducible quartic polynomial $p(x)$ can only have Galois groups $S_4, A_4, D_4, V_4, C_4$. Over a field of characteristic not equal to $2$, depending on whether ...
6
votes
1answer
426 views

Galois Theory, finding roots of a polynomial

Given a field $K$ (for example $K = \mathbb Q$) and a polynomial $p \in K[X]$ with cyclic Galois group $C_n$ then one only needs to adjoin an $n$th root of some element $k \in K(\zeta_n)$ to ...
0
votes
1answer
106 views

Finite Normal Extension

I attempting to solve this proof for my Abstract Algebra II class. Let $K$ be a finite normal extension of a field $F$, and let $x$ be an element of $G(K/F)$. Prove that if $x(b) = b$ for some ...
8
votes
4answers
369 views

Families of Polynomials with specific Galois Group

The cyclotomic polynomials $\Phi_n$ have Galois group $(\mathbb Z/n\mathbb Z)^\times$. What other families of polynomials are there with known Galois groups like this?
2
votes
1answer
289 views

geometric construction of a given angle

Given any angle how can you say that it is constructable or not?
4
votes
1answer
1k views

The Galois Extension of $\mathbb Q$ with cyclic group of prime order as its Galois group

What is(are) the Galois Extension(s) of $\mathbb{Q}$ whose Galois group is cyclic group of prime order? The fundamental theorem of Galois theory says that the degree of the extension is same as the ...
2
votes
1answer
2k views

Showing field extension $\mathbb{Q}(\sqrt{2}, \sqrt{3}, \sqrt{5})/\mathbb{Q}$ degree 8 [duplicate]

Possible Duplicate: The square roots of the primes are linearly independent over the field of rationals I am trying to classify the Galois group of the field extension $\mathbb{Q}(\sqrt{2}, ...
2
votes
1answer
463 views

Galois group is isomorphic to the group of invertible affine transformations

Let $p$ be a prime and suppose $f(x)=x^p-a$ is irreducible. Let $AGL(1,\mathbb{Z}_p)$ be the group of invertible affine transformations of $\mathbb{Z}_p$. Show that the Galois group of $f$ over ...
11
votes
2answers
630 views

“A Galois group is a fundamental group”?

I read here that "a Galois group is a fundamental group". What does this mean? To every number field is there a topological space whose fundamental group is the Galois group of the polynomial?
6
votes
2answers
886 views

Galois group of the product of two fields being the product of Galois groups?

I'm just wondering if the following theorem is reasonable and whether the proof is makes sense or not? Also I have an application of it which I was trying to do earlier but I made a lot of mistakes so ...