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

2
votes
2answers
52 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 ...
0
votes
1answer
27 views

An alternative definition of a solvable group

I'm putting together an outline for a paper on Galois theory. There are a few equivalent definitions of a solvable group, and I need to make sure that the one I'd like to use works, or more ...
0
votes
1answer
31 views

Galois field splitting a polynomial

Can someone explain to me how i would go about doing a problem like this? I don't really know where to start. GF refers to a Galois field. I'm struggling to even understand exactly what they want me ...
1
vote
0answers
34 views

How to determine the Galois group of a general polynomial over rational number field?

How to determine the Galois group of a general polynomial over rational number field? For example $f(X)=X^n-X-3$, where $n$ is an positive number.${}$
0
votes
3answers
40 views

Discriminant of $f(x)=x^3+ax+b$

Suppose we have the polynomial $f(x)=x^3+ax+b$, with roots $\alpha, \beta, \gamma$ in $\mathbb{C}$, and let $\Delta = (\alpha - \beta)(\beta - \gamma)(\gamma - \alpha)$. Is there any quick way of ...
1
vote
2answers
38 views

Galois Group Calculation

Calculate the Galois Group $G$ of $K$ over $F$ when $F=\mathbb{Q}$ and $K=\mathbb{Q}\big(i,\sqrt2,\sqrt3 \big)$. My thoughts are as follows: By the Tower Lemma, we can see that ...
1
vote
0answers
20 views

Splitting Field of Irreducible Polynomial over a Finite Field

Suppose $f(x)$ is irreducible over $\mathbb{F}_p[X]$ and let $\alpha$ be a root of $f$ in some extension field. I want to prove the following claim. I have included thoughts below, but I am very ...
0
votes
0answers
43 views

Galios Field Theory

$GF(29)^2$ is created by adjoining the root of the irreducible quadratic $p=x^2+7x+15$ to the field $GF(29)$ . The cubic polynomial $q=Y^3+(26x+26)Y^2+(8x+22)Y+13x+23$ is irreducible over this new ...
1
vote
1answer
70 views

Galois field theory

$\mathrm{GF}( 29^2)$ is created by adjoining the root of the irreducible quadratic $p= x^2 + 7x +15$ to the field $\mathrm{GF}(29)$ . The cubic polynomial $q = Y^3 + (26x + 26)Y^2 + (8x+22)Y +13x+23$ ...
1
vote
0answers
19 views

Restrictions on the coefficients that allow a polynomial in a field of characteristic 0 to be solvable by radicals and the associated formula.

We know that a general polynomial $p(x) \in \mathcal{F} \left[ x \right]$, $\deg{ p } = n$, (char(${\mathcal{F}}) = 0$) is not solvable by radicals if $n \geq 5$. However, I was wondering what ...
6
votes
1answer
47 views

Image of the Brauer group under a field extension

For $k$ a field, let $Br(k)$ - the Brauer group of $k$ - denote the group of finite-dimensional central simple algebras over $k$, modulo Morita equivalence $(A\equiv B\iff \exists m, n(A\otimes_k ...
0
votes
1answer
23 views

Relating Galois groups related via completions

Let $K$ be a number field, and let $K_\mathfrak p$ denote the completion of $K$ at the prime $\mathfrak p$ of $K$. I'm wondering what can be said (if anything useful) that relates the Galois groups ...
2
votes
1answer
57 views

Subfield of the Galois Group of $x^5 - 1$

Why is it that the subfield fixed by the subgroup of this Galois group is $\mathbb{Q}(\sqrt5)$. Can someone explain it without using the cyclotomic extension of $\mathbb{Q}$? Thank you edit: Using ...
0
votes
1answer
17 views

Separable and Splitting fields

Does a separable field imply splitting field? I am thinking yes. For $F < E$ If every $\alpha \in E$ is separable over $F$ then it must be that $E$ is a $S.F.$ over $F$? Also we have the ...
0
votes
1answer
48 views

Multiplying in GF(128)

I know that in GF(128) $a + b = a \oplus b$. I have an multiplication table for GF(128). In this table $7\cdot 5 = 27$. How can I create table like this?
0
votes
1answer
18 views

In algebraic extension, field homomorphism induces isomorphism.

I read this page's first answer. But I'm curious about why $\varphi$ induces injective map $S \to S$. Isn't it possible to make $\varphi(\alpha)= k$ such that $k$ is not root of $f(X)$?
1
vote
0answers
46 views

Is this theorem provable using relatively elementary number theory and abstract algebra?

$\textbf{Theorem}$: Let $p$ be a prime. Let $q$ be a prime that doesn't divide $p - 1$, so that $\mathbb{F}_p$ does have an element of order $q$. Let $\zeta$ be an imaginary number whose order is $q$. ...
1
vote
1answer
49 views

How to find a primitive element of $\mathbb{Q}(\sqrt{2}, \sqrt{3}, \sqrt{5})$ over $\mathbb{Q}$?

How to find a primitive element of $\mathbb{Q}(\sqrt{2}, \sqrt{3}, \sqrt{5})$ over $\mathbb{Q}$? I think that $[\mathbb{Q}(\sqrt{2}, \sqrt{3}, \sqrt{5}):\mathbb{Q}] = 8$, but not really sure how to ...
2
votes
1answer
34 views

Galois group of the splitting field of $x^3-2$

I want to find $Gal(E/\mathbb{Q})$ where $E$ is the splitting field of $f(x)=x^3-2$. I started out finding the zeros, which is $2^{1/3},2^{1/3}\omega, 2^{1/3}\omega^2 $, where ...
0
votes
1answer
29 views

Prove every finite extension of subfields of $\mathbb{C}$ is simple

This is a question is from a past paper, and it's only worth 8 marks, and it's really got me. I'm allowed to assume that if $L/K$ is such an extension, that there are $[L:K]$ $K$-embeddings of $L$ ...
3
votes
1answer
49 views

Characterizing the Galois group using permutations of roots

I'm studying Galois theory at the moment. It seems to me that the fundamental motivation for the Galois group is the following. We know that if a rational function of the roots is invariant under ...
0
votes
0answers
32 views

Exhibiting infinitely many subfields of the extension $\mathbb{F}_{p}(x,y) / \mathbb{F}_{p}(x^{p},y^{p})$ with this method.

Suppose that we want to show that $\mathbb{F}_{p}(x,y) / \mathbb{F}_{p}(x^{p},y^{p})$ is not a simple extension by showing that there are infinitely many intermediate subfields. I recently posted a ...
1
vote
2answers
56 views

Why does this method of proof for $\overline{\mathbb{F}_{p}}$ not apply for $\mathbb{F}_{p}$

Let $\overline{\mathbb{F}_{p}}$ be the algebraic closure of the finite field $\mathbb{F}_{p}$. Consider $F:= \overline{\mathbb{F}_{p}}(x,y)$ and let $K:=\overline{\mathbb{F}_{p}}(x^{p},y^{p})$. Below ...
1
vote
1answer
24 views

Splitting field of an irreducible polynomial of degree five $f \in \mathbb{Q}[X]$

Let $\Omega/\mathbb{Q}$ be the splitting field of an irreducible polynomial $f \in Q[X]$ of degree five. Show that $Gal(\Omega/\mathbb{Q})$ equals $A_5$ or $S_5$ if $Gal(\Omega/\mathbb{Q})$ has an ...
1
vote
1answer
34 views

So-called Artin-Schreier Extension

Let $F$ be a field of characteristic $p$. Let $K$ be a cyclic extension of $F$ of degree $p$. Prove that $K=F(\alpha)$ where $\alpha$ is a root of the polynomial $p(x) = x^{p} - x - a$ for $a \in ...
1
vote
2answers
31 views

Prove that every finite group occurs as the Galois group of a field extension of the form $F(x_{1}, \dots , x_{n})/F$.

I've seen that every abelian group is a Galois group over $\mathbb{Q}$ for some subfield of a cyclotomic field, but I'm not sure about this more general result.
1
vote
1answer
17 views

Simple group question need help…

Alright so I've got a question here in terms of groups. So define $\omega = {e}^{2i\pi\over 13}$ -The exponent of e should be $2i\pi\over 13$ but it's not coming clear when as an exponent of e there ...
2
votes
1answer
29 views

Splitting field of $f=X^p -a \in \mathbb{Q}[X]$.

Let $p$ be a prime number, and $a \in \mathbb{Q}$, a number such that there is no integer $k$ satisfying $p^k=a$. Write $f= X^p -a \in \mathbb{Q}[X]$. I have to prove the following statements: The ...
1
vote
1answer
56 views

Dummit and Foote page 512 claim

Dummit and Foote Abstract Algebra page 512 Given any field F and any polynomial $p(x)\in F[x]$ one can ask a similar question: does there exist an extension K of F containing a solution of the ...
2
votes
3answers
72 views

Is is true that $\zeta$ has finite order?

Let $\zeta$ be a complex number on the unit circle $\{z\in \mathbb{C}: |z|=1\}$.Suppose that $[\mathbb{Q}(\zeta):\mathbb{Q}] < \infty$.Is it true that $\zeta ^n=1$ for some positive integer $n$?
2
votes
0answers
33 views

Degree of splitting field of $X^n-1$ over $F_p$

Suppose that $n$ is a natural number and p is a prime that does not divide n. Let $L$ be the splitting field of the polynomial $X^n-1$ over $\mathbb{F}_p$. Show that $[L:\mathbb{F}_p]$ is the smallest ...
5
votes
1answer
61 views

Problem of Galois Extension

$\Bbb K$ is a non-Galois extension of $\Bbb Q$ and $[K:\Bbb Q]=4$. If $\Bbb F$ is the Galois closure of $\Bbb K$ then show that $Gal(\Bbb F/\Bbb Q)$ is either $S_4, A_4$ or $D_8$ with order 8. ...
0
votes
1answer
17 views

Degree of non-separable extension

Suppose $K$ is a field with charasteristic number $p$. Further suppose that L is a non-separable extension of K with $[L:K]=k$. Why does it hold that k is a multiple of p?
1
vote
1answer
27 views

Is this function part of the Galois group?

Let $\Bbb K$ be a Galois extension of $\Bbb F_p$, where $p$ is prime. Let $\Phi$ be a function on $\Bbb K$. If $\Phi$ is an automorphism of $\Bbb F_p$ that permutes the roots of the minimal ...
3
votes
2answers
51 views

Galois Theory problem (primitive roots of unity)

If $e_1,e_2......,e_{p-1}$ denote primitive $p^{th}$ roots of unity. Here $p$ is prime. And set the sum of the $n^{th}$ powers of the $e_i$ as $p_n=e^n_1+e^n_2......+e^n_{p-1}$ Now I want to show that ...
0
votes
1answer
33 views

does the polynomial split?

Let $a \in \mathbb{C}$ such that $a^n $ is rational for some positive $n$.Let $ m$ be the smallest positive integer satisfying previous condition.Is it true that $ x^m- a^m$ splits in ...
3
votes
0answers
62 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
26 views

Integral closures and Galois extensions

I was reading in Lang's Algebraic Number Theory (Second Edition page 15-16) and the following proposition occured. Proposition 14. Let $A$ be integrally closed in its quotient field $K$, and let $B$ ...
2
votes
1answer
51 views

what is the minimal polynomial of $\alpha=\rho+\rho^4+\rho^{16}$ , $\rho^{21}=1$?

here is a question that I recently tried to solve: Is it possible to construct with Compass-and-straightedge the number $$\alpha=\rho+\rho^4+\rho^{16}$$ , while $\rho^{21}=1$ over $\mathbb{Q}$ ? also ...
5
votes
2answers
64 views

Is there always an intermediate field between non-prime field extension?

If we have $[E:F]=n$, where $n$ is not a prime number but is finite, can we like prime factorize $n=p_1p_2...p_r$, so that we have $[E:F]=[E:K_1][K_1:K_2]...[K_{r-1}:F]$ and each of the ...
0
votes
0answers
12 views

$E$ Normal Over $F$ $\implies$ $E$ is Separable Extension of $F$ (Proof Verification)

Note that the definition of normal I'm using below is as follows: $E$ is normal over $F$ iff (i) $E$ is finite dimensional over $F$ and (ii) $F$ is the fixed field for $G(E:F)$. Claim: $$ E \rhd F ...
3
votes
1answer
35 views

The Galois closure

If $\Bbb K$ is an extension of $\Bbb Q$ having degree 4, why is the Galois group corresponding to the Galois closure of $\Bbb K$ a subgroup of $S_4$?
1
vote
1answer
31 views

Proving the Galois Group of an extension is abelian

Let $E_{1}, E_{2}$ be subfields of $\mathbb{C}$. Suppose $E_{1}|\mathbb{Q}$ and $E_{2}|\mathbb{Q}$ are finite Galois extensions and $G(E_{1}:\mathbb{Q})\cong$ $\mathbb{Z}_{6}\cong$ ...
3
votes
1answer
58 views

Problem about Galois Extension.

$Gal(\Bbb K/\Bbb F)\cong S$. Where $\Bbb K$ is extension of $\Bbb F$. And $S= G_1\times G_2\times\cdots\times G_K$ is a solvable group. Where each $G_i$ are groups of prime power order and $o(S)= n.$ ...
0
votes
1answer
40 views

A question on solvable groups.

Let's suppose $S$ is a group and can be written as $S= G_1\times G_2\times\cdots\times G_K$; here each $G_i$ is a group of prime power order. And $o(S)= n.$ Is this $S$ solvable group? If yes how will ...
0
votes
0answers
20 views

Proof Verification of the Primitive Element Theorem

Hypothesis: Let $E$ be a two-dimensional separable extension of $F$. Say $E = F[\alpha, \beta]$. Then $\exists \gamma \in E$ s.t. $E = F[\gamma]$. Note that the case for beyond two dimensions ...
2
votes
1answer
36 views

Galois field of order $p^n$

Can someone help me in establishing an image of how the group looks like. I am having a hard time visualizing it.
0
votes
0answers
29 views

Isomorphism betwixt a Galois Group and the set of $n$th roots of unity

Let $p \in \mathbb{P}$ and $n \in \mathbb{N}: p \nmid n$; the set of $n$th roots of unity be $W_n$; $\mathbb{F}$ be a field$: char(\mathbb{F}) \in \left\{ {0,p}\right\}, \mathbb{F} \supseteq W_n$ (set ...
1
vote
0answers
18 views

A Question about Cubic and Galois Fields

Let $f \in \mathbb{Q}[x]: f(x) = x^3 + p x + q, p \geq 0, f$ irreducible therein; $\mathbb{k}$ be the splitting field of $f$ over $\mathbb{Q}$; $G = Gal(\mathbb{k} / \mathbb{Q})$. I have to show that ...
2
votes
1answer
34 views

Roots of Unity: Sums, Products, and Field Extensions

(1) I have to prove the following: $\forall p \in \mathbb{P} \setminus \left\{ {2}\right\}, \sum_{k=1}^{p-1}(\zeta_{p}^{k})=-1$ where $\mathbb{P}=\left\{ {p\in \mathbb{Z}:p>0, prime}\right\}$. ...