# Tagged Questions

48 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 ...
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 ...
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 ...
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 ...
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 ...
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)$?
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 ...
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 ...
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$?
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. ...
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 ...
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 ...
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 ...
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$?
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$ ...
58 views

$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.$ ...
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 ...
35 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.
39 views

### find the number of solutions of the equation $a_1x_1+a_2x_2+…+a_nx_n=0$ in a linear space over Galois field

Linear space $\Bbb F_p^n$ contains $p^n$ vectors $( x_1, x_2, ..., x_n)$ with length $n$ over finite $\Bbb F_p$ Galois field comprised from $p$ elements. How many solutions in $\Bbb F_p^n$ has the ...
33 views

38 views

### normal extension of $\mathbb{Q}$

We define an algebraic extension $K/F$ to be normal if every irreducible $f \in F[x]$ with one root in $K$ splits in $K[x]$. Now, in my lectures it was stated that $\mathbb{Q}(i)$ is a normal ...
105 views

### What are the subfields of $\mathbb{Q}(\sqrt{3},\sqrt[7]{5})$?

I'm trying to find the subfields of $\mathbb{Q}(\sqrt{3},\sqrt[7]{5})$. This is easily seen to be a degree $14$ extension of $\mathbb{Q}$. I found that there is a unique subfield of degree $2$ over ...
35 views

Let $F/K$ be a Galois (finite) extension with solvable group. Must $F$ be a simple radical extension of $K$? or at least have an intermediate field which is a simple radical extension? If $F/K$ is ...
20 views

### Galois group of composite of Galois extensions

I'm reading through the proof in Dummit and Foote p. 593 that \operatorname{Gal}(K_1K_2/F) \cong H := \{(\sigma, \tau) \in \operatorname{Gal}(K_1/F) \times \operatorname{Gal}(K_2/F) \mid ...
45 views

### Why is the Galois closure of $K/F$ the composite of the Galois conjugates of $K$?

Suppose $K/F$ is a field extension with Galois closure $L$, and let $G=\operatorname{Gal}(L/F)$. Why is $L$ the same as the composite of the Galois conjugates $\sigma(K)$ for $\sigma\in G$? I know ...
31 views

### Degree of extensions and their composite

Let $F<E$ and $F<K$ be finite extensions and assume that $EK$ is defined as composite of two fields. I need to show that $[EK:F] \leq [E:F][K:F]$, with equality if $[E:F]$ and $[K:F]$ are ...
27 views

### Unique “splitting fields” for infinite polynomials

When creating the splitting field of a polynomial we can without loss of generality assume it has constant coefficient $1$ and splits as $\prod_{k=1}^n(1-z_kT)$. The splitting field is obtained by ...
25 views

### The existence of Pisot numbers in any real number field

Wikipedia claims that, given a real algebraic number field $K$ of degree $n$, there is an algebraic integer $r \in K$ of degree $n$ such that $r>1$, but every conjugate of $r$ has modulus $<1$ ...
129 views

### How to show that any field extension $K/\mathbb{Q}$ of degree 4 that is not is 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 ...
104 views

### How to show $\sqrt{3-\sqrt2} \in \mathbb Q \left[\sqrt {3+\sqrt 2}\right ]$

So as title says I wanna show $\sqrt{3-\sqrt2} \in \mathbb Q \left[\sqrt {3+\sqrt 2}\right ]$ So I know that the minimal polynomial of $\mathbb Q \left[\sqrt {3+\sqrt 2}\right ]$ is $x^{4}-6x^{2}+7$ ...
48 views

### Galois group of a particular polynomial

What is the Galois group of the polynomial $X^n − 3$ over $\mathbb Q$? (Here $n$ is greater than $2$.)
53 views

### Constructing a certain bijection

I'm not sure at all which theorem(s) could be applied in order to get started on the following problem. Any suggestion is very much appreciated. Suppose $k$ is a field and $A$ is a finitely ...
47 views

### Characterizing Galois field extensions via tensor product

Let $K\subset L$ be a finite field extension of degree $n$. Prove that it is Galois if and only if $L\otimes_{K} L\simeq L^{n}$, as $L$-algebras, considering on $L \otimes_{K}L=L^{n}$ the left ...
35 views

### A polynomial with solvable Galois group and solution by radicals [duplicate]

Suppose $f(x)\in \mathbb{Q}[x]$ has a solvable Galois group, then we know that it can be solved in terms of radicals. But do we know how to explicitly write the solutions of $f(x)$ in terms of ...
65 views

### Prove that $\left[\mathbb{Q}\left(\sqrt{p_{1}},\sqrt{p_{2}},\ldots,\sqrt{p_{n}}\right):\mathbb{Q}\right]=2^{n}$ [duplicate]

Let $p_{1},p_{2},\ldots,p_{n}$ be $n$ primes,$\left(p_{i},p_{j}\right)=1$ if $i\neq j$ . Prove that ...
38 views

### Prime polynomials over GF(q)

Could anyone please throw some light on my questions? What is the splitting field of an $m$th-degree prime polynomial over $GF(q)$? Is it always $GF(q^m)$? How many $m$th-degree prime polynomials ...
Define $f(X)=X^{p^r}-X \in \mathbb{F}_p[X]$ where $r\geq 1,\ p$ prime. I'm to show its roots are a subfield of its splitting field $E$ (I have already shown it has $p^r$ distinct roots in $E$). What ...
### Question about why $x^{p^n}-x+1$ is irreducible over $\mathbb{F}_p$.
I'm trying to follow a solution I'm reading. The idea is to prove $x^{p^n}-x+1$ is irreducible over $\mathbb{F}_p$ when $n=1$ or $n=p=2$. The solution is as follows: If $x^{p^n}-x+1$ is ...