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

0
votes
1answer
49 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
44 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.${}$
1
vote
2answers
80 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
47 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
46 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
56 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
99 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$ ...
3
votes
1answer
96 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
55 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
31 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 ...
1
vote
1answer
104 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
21 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
87 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
26 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
67 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 not have an element of order $q$. Let $\zeta$ be an imaginary number whose order is ...
1
vote
1answer
108 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
88 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
36 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
55 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
52 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
73 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
30 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
81 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
37 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
18 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
43 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
72 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
77 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
62 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
72 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
20 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?
2
votes
1answer
36 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
62 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 ...
1
vote
1answer
36 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
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
43 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
64 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
81 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
25 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
43 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
43 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
66 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
42 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
23 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
49 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
35 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
22 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
48 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\}$. ...
1
vote
0answers
16 views

$F \subset L \subset E$ s.t. $L,E$ Normal $\implies$ Elements of $G(E/F)$ Map $L$ onto itself.

Problem: Let $E$ be a finite, separable normal extension of $F$. Suppose that $F \subset L \subset E$ s.t. $L$ is also normal over $F$. Prove that the elements of $G(E/F)$ map $L$ onto itself. ...
0
votes
1answer
21 views

$p(x) \in F[x]$ Has One Root in Normal Field Extension $E$ $\implies$ $p(x)$ Splits Entirely in $E$

Problem: Suppose that $E$ is normal over $F$. Let $p(x) \in F[x]$ have one root in $E$. Show that $p(x)$ therefore splits entirely in $E$. EDIT: As per the comment below, assume also $p(x)$ is ...