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

1
vote
1answer
28 views

Proof of a result on closed subgroups of Galois group

Let $M\supseteq K$ be an algebraic normal extension. Then its Galois group is profinite. I have been told that in this hypothesis, if $H\leq G$, then $H''=H\iff \bar H=H$, where ...
4
votes
2answers
41 views

Show that $\mathbb{Q}(\sqrt{2 +\sqrt{2}})$ is a cyclic quartic field i.e. is a galois extension of degree 4 with cyclic galois group

Show that $\mathbb{Q}(\sqrt{2 +\sqrt{2}})$ is a cyclic quartic field i.e. is a galois extension of degree 4 with cyclic galois group with some elementary algebra, $x - \sqrt{2 +\sqrt{2}} = 0 ...
0
votes
1answer
26 views

Radical extension with root of cubic polynomial

If I take $f(x)$ is an irreducible cubic over $\mathbb{Q}$ with a root $\alpha$ in a splitting field and given that $\mathbb{Q}(\alpha)$ is a radical extension is it true that $\mathbb{Q}(\alpha) = ...
3
votes
1answer
35 views

Inertia group modulo $Q^2$

Let $L/K$ be a normal number field extension with ring of integers $\mathcal O_L/\mathcal O_K$. Let $Q$ be a prime ideal of $\mathcal O_L$ and inertia group $E = \{g \in ...
2
votes
3answers
81 views

If $a_1,a_2,a_3$ are roots $x^3+7x^2-8x+3,$ find the polynomial with roots $a_1^2,a_2^2,a_3^2$ [duplicate]

If $a_1,a_2,a_3$ are the roots of the cubic $x^3+7x^2-8x +3,$ find the cubic polynomial whose roots are: $a_1^2,a_2^2,a_3^2$ and the polynomial whose roots are $\frac{1}{a_1}, \frac{1}{a_2}, ...
5
votes
3answers
74 views

Find the Galois group of the polynomial $x^{4} + x - 1$ over the finite field $\mathbb{F}_{3}$

Find the Galois group of the polynomial $x^{4} + x - 1$ over the finite field $\mathbb{F}_{3}$. I'm particurly struggling with what would be the approach to finding the splitting field of this ...
-1
votes
0answers
19 views

Proving existence of unique maximal subfields of Galois extensions with particular properties

A question I am working on asks the following: Let $K / \mathbb{Q}$ be a Galois extension. Prove that there exists a unique maximal subfield $F$ of $K$ such that $F / \mathbb{Q}$ is Galois with ...
1
vote
0answers
28 views

Galois group of $ \mathbb{Q}(\varepsilon_5) / \mathbb{Q} $

I'm trying to solve the following problem: Let $ L =\mathbb{Q}(\varepsilon_5) $ be an extension of $ \mathbb{Q} $. Find the Galois group $ G(L / \mathbb{Q})$ $ \varepsilon_5 $ is the primitive root ...
1
vote
1answer
20 views

Decomposing the ring of integers of a number field as a sum of prime plus field fixed by ramification group

Let $L/K$ be a normal number field extension with ring of integers $\mathcal O_L/\mathcal O_K$. Let $Q$ be a prime ideal of $\mathcal O_L$ and inertia group $E = \{g \in ...
3
votes
0answers
36 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 = ...
0
votes
3answers
57 views

Finding the fixed Field of $\sigma \in Aut(\mathbb{R}(t)/\mathbb{R})$

Finding the fixed Field of $\sigma \in Aut(\mathbb{R}(t)/\mathbb{R})$ Let $\sigma$ be such that $\sigma(t)=-t$. I assume there is only one automorphism like this, I am not sure exactly why... How ...
1
vote
1answer
40 views

Show that $|\operatorname{Aut}(\mathbb{Q}(\sqrt[10]2))|=2$

Let $\mathbb{K}=\mathbb{Q}(\sqrt[10]2)$. Show that $|\operatorname{Aut}(\mathbb{Q}(\sqrt[10]2))|=2$. Well, it is easy to see that the degree of this extension over $\mathbb{Q}$ is ten. Also, is ...
0
votes
1answer
22 views

What is a Galois closure and Galois group?

I was reading wikipedia for Galois groups and this term suddenly appears and there is no definition for it. What is a Galois closure of a field $F$? Does this mean a maximal Galois extension of $F$ ...
1
vote
0answers
10 views

Intersection of decomposition groups in abelian extensions

Let $L/K$ be a normal number field extension such that $G = \operatorname{Gal}(L/K)$ is abelian. Further let $P$ be a prime in $\mathcal O_K$ and $Q_1,Q_2$ distinct primes of $\mathcal O_L$ that lie ...
2
votes
1answer
80 views

Roots of $f(x) = x^3+x^2-2x-1$

Roots of $f(x) = x^3+x^2-2x-1$ Show: $a_1=2\cos(\frac{2\pi}{7})$ is a root of $f$. [Edited here] $a_2 = a_1^2-2$ is a root of $f$. $a_3 = a_1^3-3a_1$ is a root of $f$. The first one is ...
1
vote
0answers
58 views

Factorisation of large polynomials and Galois theory

As I understand it, one of the consequences of Galois theory is that there is no way of expressing the solutions to a general polynomial of degree 5 or higher in terms of radicals. Would a theory that ...
2
votes
1answer
25 views

On the expression of the Galois conjugates in terms of the coordinates in a basis

Let $K$ be a field and let $L$ be a Galois extension of $K$. Assume that $[L:K]=n$, and consider $e=(e_1, e_2, ...,e_n)$ a basis of $L$ over $K$. We note ...
2
votes
1answer
54 views

How to find minimal polynomial of primitive element (field theory)

I am given a primitive element $\alpha$ in the Galoisfield $F_{2^6}$. The question is to find the mimimal polynomial of $\alpha^7$. How to I find this? My thoughts so far: $$ \alpha^7 \rightarrow ...
1
vote
1answer
27 views

Irreducible Polynomials, and Galois Groups

I have a small question about some concepts. I know that if I have a polynomial $p(x)$ over a field $K$ and an extension field $F$, that elements of $\text{Gal}(F/K)$ permute the roots of $p(x)$ ...
1
vote
0answers
20 views

Why are inertia and decomposition groups only defined over normal extensions?

Can't we define them as the subgroups of the automorphism group of an arbitrary extension $L/K$ that fixes a prime $Q$ in $\mathcal O_L$ over a prime $P$ in $\mathcal O_K$? An ideal answer would ...
2
votes
0answers
39 views

What is the gcd of $x^3-2$ and $x^2+3ax+3a^2$?

I'm trying to understand Galois theory. $f(x)= x^3-2$, with $a$, $b$ and $c$ as roots. Galois resolvent $V_0= a+2b+3c$, $V_1= c+2a+3b$,... etc till $V_5=a+2c+3b$ assume $X=V_0$ ...
4
votes
1answer
54 views

Splitting field and galois group of $x^4-2x^2-1$ over $\Bbb{Q}$

I have that the roots of $m(x)=x^4-2x^2-1$ are plus minus $a=\sqrt{1+\sqrt{2}}$ and $b=\sqrt{1-\sqrt{2}}$ which is complex because $1-\sqrt{2}$ is negative. Taking out $i$ and letting $b=ic$ we have ...
2
votes
1answer
45 views

Extension of fields $[L:K]=2$. Show that there is a element $\alpha\in L$ such that $L=K(\alpha)$ and $\alpha^2\in K$.

Let $K$ be a field with characteristic different from two, then if a extension of fields $L/K$ is such that $[L:K]=2$ then there is a element $\alpha\in L$ such that $L=K(\alpha)$ and $\alpha^2\in K$. ...
4
votes
2answers
45 views

Isomorphism type of the Galois group

$f=(x^2-2)(x^3-3)$. Let $K$ be the splitting field of $f$ over $\mathbb{Q}$. a) Determine the degree of extension of $K$ over $\mathbb{Q}$. b) Determine the isomorphism type of the Galois group of $K$ ...
0
votes
1answer
14 views

Showing polynomial is irreducible over field containing roots of unity.

Given a field $F$ containing all the roots of unity I'm trying to show that $f(x) = x^p - \alpha^p$ is irreducible over $F$ (where $\alpha$ is not in $F$). It's clear that $f$ splits in $F(\alpha)$ ...
0
votes
0answers
28 views

An introduction to monodromy in topology and algebra

I'm looking for some basic references on monodromy and monodromy groups, in particular I'd like something which describes the interplay between the topological definition (in the theory of covering ...
1
vote
0answers
33 views

Determine the galois group of a quartic

I'm reading Hungerford's algebra chapter about galois theory. There is the following theorem in p.273 (with some minor changes) about determining the Galois group of a quartic: Let $K$ be a field ...
7
votes
1answer
71 views

Galois group of $(T^4-3)(T^6-3)$

Given the polynomial $f(T) = (T^4-3)(T^6-3)$, I would like to calculate the Galois group of $f$. What I've done is the following: setting $\alpha = 3^{1/4}$ and $\beta= 3^{1/6}$, $\zeta_k = e^{2\pi i ...
0
votes
0answers
21 views

Relations between galois group of polynomial and its factors

$f = f_1\dots f_n$ where $f_i$ is irreducible and distinct. What can i say about $\operatorname{Gal}(f/\mathbb{Q})$ if i know $\operatorname{Gal}(f_i/\mathbb{Q})$ for any(some) $i$.
4
votes
0answers
60 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 = ...
2
votes
2answers
30 views

Galois group of $x^6-9$

$f = x^6-9 = (x^3-3)(x^3+3)$ Let $L_f$ be splitting field therefore $L_f = \mathbb{Q}[\sqrt[3]{3},e^{\frac{2\pi i}{3}}]$, $[L_f:\mathbb{Q}] = 9$. Also $Gal\space x^3±3/\mathbb{Q} = S_3$ and $Gal\space ...
3
votes
0answers
32 views

Prove the form of a fixed field

let $C_3=\langle\sigma\rangle$ and let $\sigma$ act on $K(s,t)$ by $s \mapsto t$ and $t \mapsto -s-t$ I want to prove that $K(s,t)^{C_3}=K(u,v)$ with $u=\frac{s^2+t^2+st}{st(s+t)}$ and ...
0
votes
1answer
21 views

Compositum of normal extensions is a normal extension

I'm trying to prove that if $ F \subset K, F \subset M $ are normal extensions, $ K,M \subset E $, then $ KM$ is also a normal extension of $ F $. I tried using the fact that $ F \subset KM $ is a ...
2
votes
1answer
22 views

Determine the Galois group of $ F(x^5) \subset F(x) $

I'm rather new to Galois theory and have been given this exercise: Suppose $ F $ is respectively equal to $ \mathbb{Q}, \mathbb{C}, \mathbb{F}_5 $ (the third one is just the 5-element field). My task ...
4
votes
1answer
41 views

Link between Riemann surfaces and Galois theory

In my notes for a Geometry of Surfaces course that I'm studying, there is the following quote: (For those of you who like algebra and Galois theory) Studying compact connected Riemann surfaces is ...
1
vote
0answers
30 views

Summary of Galois quintic unsolvability

Is this a sufficient flow of logic? Summary: Consider a fifth degree polynomial that has a formulaic solution. Then we have a radical extension with a string of subgroups of the Galois group which ...
3
votes
1answer
95 views

Show that $K = \mathbb{Q}(\sqrt{p} \ | \ \text{p is prime} \}$ is an algebraic and infinite extension of Q

Show that $K = \mathbb{Q}(\sqrt{p} \ | \ \text{p is prime} \}$ is a algebraic and infinite extension on Q. Well, if i consider for every p prime, the polynomial p(x)=x^2−p, then p(x) is in Q(p√∣p is ...
0
votes
0answers
34 views

Galois of $x^3+2$

the splitting field of $x^3+2$ is $E=\mathbb Q(\sqrt[3]{2},i\sqrt{3}$) and I know the $Gal(E:\mathbb Q)$ has six elements which is isomorphic to $S_3$. How to find all intermediate subfields using ...
2
votes
0answers
20 views

Reference request: Cohomology of Elliptic Curves

Is it true that the group $$H^1(Gal(K^{ab}/K)/\mu_{\nu}(Gal(K_{\nu}^{ab}/K_{\nu})),E_{p^n})$$ is always p-divisible? Or are there any conditions which, when satisfied, guarantee its p-divisibility? ...
3
votes
0answers
29 views

Galois theory question (Kummer's Theory)

This question is from a past exam paper. Suppose $E = \mathbb{Q}(\theta)$, where $\theta$ is a root of $X^{3} - 39X + 26 \in \mathbb{Q}[X]$. Prove that $E$ is cyclic Galois extension of ...
8
votes
0answers
74 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 ...
2
votes
1answer
20 views

If a field extension contains a cyclotomic extension is it solvable?

This doesn't seem like it should be true but I'm not entirely sure - I would appreciate anyone looking over the following: If we have a finite Galois field extension $L/K$ and $M \subset L$ a ...
0
votes
1answer
36 views

Prove the Galois Group is Isomorphic to $S_3$

Prove G=$Gal(\mathbb{Q}(\sqrt[3]{2},i\sqrt{3}) : \mathbb{Q})$ is isomorphic to $S_3$ I know that the G has 6 automorphims, and $S_3$ has order 3! then consider polynomial $x^3-2 = ...
8
votes
2answers
89 views

$\operatorname{Gal}(\overline{K}/K)=\mathbb{Z}$ possible?

Is it possible to have $\operatorname{Gal}(\overline{K}/K)=\mathbb{Z}$? My question comes from the link beetween covering and field extensions. For covering the simplest example is ...
2
votes
1answer
34 views

Transitivity of the discriminant of number fields

Let $M/L/K$ be a tower of number fields with discriminant of $M/K: d_M$ and of $L/K: d_L$. I would like to find a transitivity theorem for the discriminant and by letting $p_i$ and $q_i$ be integral ...
1
vote
1answer
30 views

Ramification in $\mathbb Q(\zeta_5, \sqrt[5]2)/\mathbb Q(\zeta_5)$

Let $F=\mathbb Q(\zeta_5,\sqrt[5]2)$ and $K=\mathbb Q$ where $\zeta_5$ is a primitive $5$th root of unity and let $p=73$ be a prime in $K$. Fix primes $\mathfrak p$ and $\mathfrak q$ above $73$ in ...
2
votes
1answer
28 views

What is the automorphism group of the field $\mathbb{Z} /p\mathbb{Z}(t)$?

Here, $t$ is transcendental over $\mathbb{Z} /p\mathbb{Z}$. How big is this group? What are its elements? Is for example the map $t \to -t$ an automorphism?
0
votes
1answer
47 views

Automorphisms (in the context of Galois Theory)

Can someone give an explanation of what an automorphism is, in the context of Galois Theory? I keep thinking it is the set of maps which send roots of polynomials to their conjugates but I feel that ...
2
votes
1answer
51 views

Does all splitting fields have characteristic 0?

Does all splitting field have characteristic 0? This may be a bad question, but I am wondering because the author of a book I am reading summarises a lot of properties when he is about to start with ...
0
votes
1answer
30 views

Galois Group, Field Extension Prove Abelian

Let F be an extension of $\mathbb{Q}$ and let $\omega = \cos{(\frac{2\pi}{n})}\sin{(\frac{2\pi}{n})}$. Prove that $Gal(F(\omega):F)$ is abelian. I am looking for a sketch of this proof. so far in ...