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

6
votes
1answer
259 views

Galois over Galois

I am working on this exercise: If $E$ is an intermediate field of an extension $F/K$ of fields. Suppose $F/E$ and $E/K$ are Galois extensions, and every $\sigma\in Gal(E/K)$ is extendible to an ...
2
votes
4answers
66 views

find a polynomial whose roots are inverse of squares of roots of $x^3+px+q$

Question is : Given a polynomial $f(x)=x^3+px+q\in \mathbb{Q}[x]$ find a polynomial whose roots are inverse of sqares of roots of $f(x)$ Supposing $a,b,c$ as roots of $f(x)$ we have : $a+b+c=0$ ...
2
votes
1answer
61 views

The degree of the splitting field of $X^6+X^3+1$

Suppose $L \subset \mathbb{C}$ is a splitting field for the polynomial $X^6+X^3+1$ over $\mathbb{Q}$. Determine $[L:\mathbb{Q}]$ I have several solutions for the problem. However I'm having trouble ...
-1
votes
0answers
25 views

Schanuel's conjecture and field extensions.

Doing a little bit of reading over the summer break before going into my masters year of my maths degree and i have been looking at Schanuel's conjecture which states that; Given any $n$ complex ...
1
vote
1answer
24 views

Prove that $K=k(\alpha)$

Prove: If K\k is a Galois extension and $\alpha \in K$ with $\sigma(\alpha)\neq \alpha$ for all $\sigma \in Gal(K,k)\backslash \lbrace id_K \rbrace$, than $K=k(\alpha)$.
6
votes
1answer
120 views

Are there relations among Frobenii?

Let $G=\text{Gal}(\overline{\mathbf Q}/\mathbf Q)$, and for each prime $p$, choose an embedding $\overline{\mathbf Q} \hookrightarrow \overline{\mathbf Q_p}$. Let $\sigma_p$ be a choice of Frobenius ...
12
votes
1answer
230 views

Semialgebraic conditions that convey properties of Galois group

Let $f \in \mathbb{Z}[x]$ be a polynomial of degree $n$ with integer coefficients and let $G_f$ be the Galois group of $f$ over $\mathbb{Q}$. I am trying to collect results that convey some ...
0
votes
2answers
59 views

Help to prove fact about Galois Theory?

If E is extension field over L, and L is field extension over F how to prove Gal(E/L) is a subgroup of Gal(E/F)? Why is this?
4
votes
1answer
79 views

Find intermediate fields of $\mathbb{Q}(\sqrt[3]{2}, \sqrt{3},i) \, | \, \mathbb{Q}(i)$

This is the problem I am facing: Compute the intermediate fields of the extension $K | \mathbb{Q}(i)$ where $K = \mathbb{Q}(\sqrt[3]{2}, \sqrt{3},i)$ and find the intermediate fields $M$ such ...
3
votes
2answers
1k views

How do I find a splitting field $x^8-3$ over $\mathbb{Q}$?

Here's the situation. I am in this algebra class, and so far we have defined splitting fields and proved their existence and uniqueness. We have not yet decided on any rigorous definition of complex ...
3
votes
2answers
499 views

Interview preparation for Ph.D admission

I have recently gave a written exam for admission to Ph.D program to an institute in India. I have done that exam well and hoping for an interview call. I would like to know what could be type of ...
1
vote
1answer
59 views

Solvability of polynomials over fields of characteristic zero

1) Let $K$ be a field, $\operatorname{char}(K)= 0$, and $f ∈ K [x]$ with $\deg(f)\le4$. Then $f$ is solvable by radicals. Proof: $\operatorname{Gal} (F/K) \cong S_4$ then $\operatorname{Gal}(F/K)$ ...
1
vote
2answers
99 views

adjoining root of an irreducible polynomial.

It's been a while since I last touched Galois theory. I want to check if this theorem is true: Let $f$ be an irreducible polynomial over $\mathbb{Q}$ and $\varphi$ be a root of $f$. Then $f$ is ...
1
vote
1answer
49 views

How to show this is the minimal polynomial

I'm trying to the following problem. But I can't show some irreducibility of the polynomials. Put $L=\mathbb{C}(X,Y,Z)$, $\omega=\frac{-1+\sqrt{-3}}{2}$. Define two automorphism $\sigma, \tau$ of ...
3
votes
0answers
63 views

Weil restriction - from abstract nonsense to a practical procedure

Let $L/K$ be a finite field extension. Let $X$ be a $L$-scheme, that is $\exists$ a morphism of schemes $\pi : X \to \operatorname{Spec} L$. The Weil restriction of $X$ is a $K$-scheme $W_{L/K}X$ ...
6
votes
1answer
250 views

How to show that any field extension $K/\mathbb{Q}$ of degree 4 that is not Galois has a quadratic extension $L$ that is Galois over $\mathbb{Q}$.

$\newcommand{\Q}{\mathbb{Q}}$Let $K/\Q$ be a field extension of degree $4$ that is not Galois. How to show that there exists an extension $L\supseteq K$ such that $[L:K]=2$ and $L/\Q$ is Galois? I ...
2
votes
1answer
86 views

Radical Solvable quintic polynomial.

I am trying to solve the following exercise: Let $k$ be a field of characteristic 0, and let $f(x)\in k[x]$ be a polynomial of degree 5 with splitting field $E/k$. Prove that $f(x)$ is ...
3
votes
1answer
70 views

What is the difference between field theory and Galois theory

I am about to finish the book Galois theory by Harold Edwards. I am planning to study Galois theory at a more advanced level or field theory. I am unable to decide because I don't know the difference ...
2
votes
1answer
44 views

$(u+1)(u+2)\cdots(u+p)=u^p-u$

Let $E$ be a field with characteristic $p>0$. How should I prove that $$(u+1)(u+2)\cdots(u+p)=u^p-u$$ I can verify this equality for small $p=2,3,5$. Is there a way to prove this result in general? ...
3
votes
0answers
35 views

Proving that a certain maximal subfield has countably infinite index

Let $K$ be a maximal subfield of $\mathbb C$ which does not contain $\sqrt{2}$. I've shown that $\mathbb C$ is an algebraic extension of $K$, and that the Galois group of any finite extension of $K$ ...
2
votes
1answer
27 views

If $L_1/K$ and $L_2/K$ are not Galois (solvable), then $L_1L_2/K$ is not Galois (solvable)

This is part of an exam preparation: Prove/contradict: If $L_1/K$ and $L_2/K$ are not Galois, then $L_1L_2/K$ is not Galois. If $L_1/K$ and $L_2/K$ are not solvable Galois extensions, ...
2
votes
0answers
62 views

Criteria for a solvable septic equation

I have a certain 7x7 matrix whose elements are all symbolic, and I want to know the eigenvalues. I have to solve a septic equation, but it is generally impossible. However, I am only interested in the ...
3
votes
1answer
58 views

A finite group $G$ is isomorphic to $\operatorname{Gal}(f,K)$.

Let $G$ be a finite group with $1 \neq H < G $ a minimal subgroup which is not normal. Prove that there exists a field $K$ and a polynomial $f \in K[X]$ so that $G \cong \operatorname{Gal}(f,K)$ ...
3
votes
2answers
114 views

Galois Group for $x^5-1$

This question is an extension to the question in math.stackexchange.com/questions/759230/subfield-of-the-galois-group-of-x5-1 It seems the discussion in that topic is dead and I still have a major ...
1
vote
1answer
42 views

Nontrival Subgroups of Cyclotomic Fields

In Dummit and Foote, section 14.5, p.597, he considers the generators of $\mathbb{Q}(\zeta_{13})$ which corresponds to the subgroups of $(\mathbb{Z}/13\mathbb{Z})^{\times}\cong ...
6
votes
1answer
107 views

Question about inverse Galois problem

I have a question... if for every finite simple group, we can construct a Galois extension over $\mathbb{Q}$ with that Galois group, does it follow that we can construct Galois extensions over ...
4
votes
1answer
65 views

Embedding of Galois Group

I am trying to prove the following: Let $E/k$ be a splitting field of $f(x)\in k[x]$ with Galois group $G=\operatorname{Gal}(E/k)$. Prove that if $k^*/k$ is an extension field and $E^*$ is a ...
1
vote
0answers
31 views

Solvability by radicals is independent of the choice of splitting fields

I am trying to prove the following exercise: If $E/k$ and $E'/k$ are splitting fields of $f(x)\in k[x]$ and there is a radical extension $K_t/k$ with $E\subset K_t$, prove that there is a radical ...
1
vote
1answer
20 views

Normalizer of a subgroup of a Galois group

I wanted to check whether my solution for this problem was correct. Let $k \subseteq L \subseteq K$ be a finite extension of fields, with $K/k$ Galois $H$ the normalizer of $Aut(K/L)$ in $Aut(K/k)$. ...
6
votes
1answer
284 views

Proving that a Polynomial is not solvable by radicals.

I'm trying to prove that the following polynomial is not solvable by radicals: $$p(x) = x^5 - 4x + 2 $$ First, by Eisenstein is irreducible. (It is not difficult to see that this polynomial has ...
3
votes
0answers
30 views

Determining if a given equation is solvable given a set of ultra-radicals

So suppose someone is armed with the tools of standard arithmetic, exponents (and of course that comes along with roots) AS WELL AS a set of inverses for some polynomials which are not solvable using ...
4
votes
1answer
38 views

Is the intersection of the conjugates of a subnormal subgroup of prime power index also a subgroup of prime power index?

I was wondering if it's really the case that, if $G$ is a group with subgroups $H$ and $N$ such that $H\unlhd N\unlhd G$ such that $G/N$ and $N/H$ is a $p$-group, then the intersection of all the ...
0
votes
1answer
41 views

cyclic galois group

let K be any field and $\sigma$ be an automorphism of of K where F is the fixed field of $\sigma$ and order of $\sigma$ is "s". now to prove is that [K:F] = s. well if look at Gal(K/F) it contain all ...
5
votes
2answers
102 views

Importance of continuity of Galois representations

So for a one dimensional Galois representation $\rho: G_{\Bbb Q} \to \mathbb C^{\times}$, I know that it must factor through the abelianization of $G_{\Bbb Q}$, which by the Kronecker-Weber theorem is ...
0
votes
2answers
50 views

Find the galois group of the polynomial when a root is given

If $\alpha$ is a root of a polynomial $f(x)=x^3 +x^2-4x+1$ then show that $2 - 2\alpha - \alpha^2$ is also a root of $f(x)$. Use this fact to compute the Galois group of the splitting field of $f(x)$ ...
3
votes
2answers
132 views

Is the order of $\operatorname{Gal}(\bar{\Bbb Q}/\Bbb Q)$ known?

Is the order of $\operatorname{Gal}(\bar{\Bbb Q}/\Bbb Q)$ known? And if so is there a description on how the order can be found? My initial thoughts is that because $\bar{\Bbb Q}$ is countable and ...
2
votes
0answers
35 views

Characterizing quadratic number fields that are subfields of cyclic quartic number fields [duplicate]

Given a quadratic number field $F = \mathbb{Q}(\sqrt{d})$, is there a way to determine whether or not $F \subset K$ for some quartic numberfield $K$ with $\operatorname{Gal}(K/\mathbb{Q}) \cong ...
6
votes
1answer
62 views

Abel-Ruffini Theorem

I'm sorry for the short question, but is the Abel-Ruffini Theorem essentially equivalent to saying that the set of all complex numbers constructable by a concatenation of field operations and n-roots ...
2
votes
1answer
34 views

Separability of a polynomial

I have a non zero polynomial $f\in F[X]$ where $F$ is a field. Let $L$ be a field extension of $F$ so that $f$ splits completely in $L[X]$, so $f(X)=c\prod_{i=1}^n (X-a_i)$ with $c,a_i\in L$. If ...
5
votes
1answer
457 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$ ...
0
votes
1answer
19 views

Parity of the order of the Galois group of a polynomial basing on its discriminant

Let $K$ be a field with $char(K)=0$ and $f\in K[t]$ an irreducible polynomial which Galois group $G_{K}(f)$ is cyclic. Show the discriminant $\Delta(f)$ of $f$ is a square of an element of $K$ if and ...
0
votes
2answers
44 views

Extension field on $\mathbb Q$

Pick the correct statements $\mathbb Q (\sqrt 2)$ and $\mathbb Q(i)$ are isomorphic as $\mathbb Q$ vector space. $\mathbb Q (\sqrt 2)$ and $\mathbb Q(i)$ are isomorphic as fielods. $Gal_{\mathbb ...
0
votes
0answers
25 views

Show two multiplication tables of GF(8) are isomorphic [duplicate]

How to show the two tables above are isomorphic? I try to map one element to another element in another table, but I fail to do so as I found that one element from the table on the left is mapped to ...
-1
votes
0answers
21 views

Galois Field Complete

I need some help with the term above. What is Galois field complete? I google it but nothing relevant comes out. I encounter this term when I was studying erasure coding in computer science. Can ...
1
vote
0answers
27 views

Splitting field and intermediate fields

Find splitting field $K$ of polynomial $x^3-7$ over $\mathbb{Q} (\sqrt{3} )$ and find $(K: \mathbb{Q} )$ $G(K/ \mathbb{Q} )$ Find intermediate fields between $\mathbb{Q}$ and $K$. So the ...
47
votes
4answers
1k views

Integrals of $\sqrt{x+\sqrt{\phantom|\dots+\sqrt{x+1}}}$ in elementary functions

Let $f_n(x)$ be recursively defined as $$f_0(x)=1,\ \ \ f_{n+1}(x)=\sqrt{x+f_n(x)},\tag1$$ i.e. $f_n(x)$ contains $n$ radicals and $n$ occurences of $x$: $$f_1(x)=\sqrt{x+1},\ \ \ ...
3
votes
0answers
138 views

Identifying the Galois Group $G(\mathbb{Q}[\sqrt{2}, \sqrt[3]{2}]/\mathbb{Q})$

I am trying to determine the Galois group $G(\mathbb{Q}[\sqrt{2}, \sqrt[3]{2}]/\mathbb{Q})$. I am fairly confident I have the correct answer, but I need someone to confirm my work since I have just ...
1
vote
1answer
54 views

Clarification of an old question: Galois Groups of Finite Extensions of Fixed Fields

The question is: Let $\overline{K}$ be an algebraic closure of $K$, $\sigma\in G(\overline{K}:K)$ and $E=\{x\in\overline{K}:\sigma(x)=x\}$. Prove that every finite extension $L\mid E$ is a Galois ...
2
votes
1answer
47 views

Proof Verification/Strategy: Galois Group of the splitting field of a polynomial is solvable.

Hi I just wanted to pose a question and see if my approach is valid. I have a more rigorous way of explaining it but it's a little lengthy and I wanted to be as brief as I could. I'm working to prove ...
1
vote
1answer
49 views

Show that a sequence of fields exists

I do not have a clue how to solve the following problem: Let $K\subseteq L$ be Galois extension of degree $p^n$, where $p$ is prime and $n$ is natural. Show that there exists a sequence of subfields ...