Stack Exchange Network

Stack Exchange network consists of 175 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange

Questions tagged [splitting-field]

The splitting field of a polynomial with coefficients in a field, $F$, is the smallest field extension to $F$ such that the polynomial decomposes into linear factors. Often used with (galois-theory).

18
votes
1answer
762 views

Galois Group of $x^{4}+7$

I am trying to find the Galois group of $x^{4}+7$ over $\mathbb{Q}$ and all of the intermediate extensions between $\mathbb{Q}$ and the splitting field of this polynomial. I have found that the ...
16
votes
3answers
665 views

Prove $f(x)=x^8-24 x^6+144 x^4-288 x^2+144$ is irreducible over $\mathbb{Q}$

How to prove $f(x)=x^8-24 x^6+144 x^4-288 x^2+144$ is irreducible over $\mathbb{Q}$? I tried Eisenstein criteria on $f(x+n)$ with $n$ ranging from $-10$ to $10$. None can be applied. I tried ...
12
votes
1answer
160 views

When is a number in $\mathbb{Q}(\sqrt{a_1},\ldots,\sqrt{a_n})$?

Given an algebraic number $\alpha$ with minimal polynomial $P(x)$ of degree $2^n$, how can I decide if there are integers $a_1,\ldots,a_n$ such that $\alpha\in\mathbb{Q}(\sqrt{a_1},\ldots,\sqrt{a_n})$?...
11
votes
2answers
6k views

Galois group of $x^4-2$

I am trying to explicitly compute the Galois group of $x^4-2$ over $\mathbb{Q}$. I found that the resolvent polynomial is reducible and the order of the Galois group is $8$ using the splitting field $...
11
votes
1answer
678 views

Geometric interpretation of different types of field extensions?

In a first course on rings and fields we met the concept of field extensions, especially algebraic ones. The presentation of the material was very algebraic and felt a little lifeless. I was wondering ...
9
votes
3answers
640 views

How to prove that algebraic numbers form a field?

I'd like to know how to prove algebraic numbers form a field, i.e., if $a,b$ are algebraic numbers, prove that $ab$ and $a+b$ are also algebraic numbers by finding specific polynomials that ...
9
votes
4answers
987 views

Degree of the splitting field of $X^4-3X^2+5$ over $\mathbb{Q}$

I would like to know how to solve part $ii)$ of the following problem: Let $K /\mathbb{Q}$ be a splitting field for $f(X) =X^4-3X^2+5$. i) Prove that $f(X)$ is irreducible in $\mathbb{Q}[X]$ ...
9
votes
1answer
3k views

Find the splitting field of $x^4+1$ over $\mathbb Q$.

Solution:Let $\mathbb E$ be the splitting field of $x^4+1$ over $\mathbb Q$.Then $x^4+1$ splits into linear factors in $\mathbb E$. $$x^4+1=(x^2-i)(x^2+i)=(x-\sqrt i)(x+\sqrt i)(x-\sqrt {-i})(x+\sqrt {...
7
votes
3answers
2k 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 [duplicate]

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 \...
7
votes
1answer
1k views

How to show the uniqueness of splitting fields?

When one defines the splitting field for an arbitrary collection of polynomials, how does one show the uniqueness of such a splitting field? (I'm guessing it is still unique.) The induction argument ...
7
votes
3answers
545 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 ...
7
votes
2answers
2k views

Find all subfields in extension $\mathbb{Q}\subseteq \mathbb{Q}(\sqrt[4]{2})$

I want to find all intermediate subfields of extension $\mathbb{Q}\subseteq \mathbb{Q}(\sqrt[4]{2})$. I guess that $\mathbb{Q}(\sqrt[4]{2})$ is not a splitting field, since we would have polynomial $x^...
7
votes
1answer
295 views

Expressing the roots of a cubic as polynomials in one root

All roots of $8x^3-6x+1$ are real. (*) The discriminant of $8x^3-6x+1$ is $5184=72^2$ and so the splitting field of $8x^3-6x+1$ has degree $3$. Therefore, all three roots can be expressed as ...
7
votes
2answers
219 views

Splitting Field of the polynomial $x^4+x+1$ over $\mathbb{F}_2$.

What is the splitting field $\mathbb{F}_q$ of the polynomial $x^4+x+1$ over $\mathbb{F}_2$? I already knew the polynomial $x^4+x+1$ is irreducible and its roots are distinct in some extension field of ...
7
votes
2answers
2k views

splitting field of a polynomial over a finite field

I just realized that finding the splitting field of a polynomial over finite fields is not as "straightforward" as in $\mathbb{Q}$ I am struggling with the following problem: "Find the splitting ...
6
votes
2answers
549 views

Galois group of an irreducible , separable polynomial be abelian , then each of the roots of the polynomial generates the splitting field?

Let $f(x)\in k[x]$ be an irreducible , separable polynomial , let $E$ be the splitting field of $f(x)$ , then $E/k$ is a Galois extension . If $Gal(E/k)$ is abelian then is it true that $E=k(a)$ for ...
6
votes
2answers
2k views

Galois groups of $x^3-3x+1$ and $(x^3-2)(x^2+3)$ over $\mathbb{Q}$

I want to find the Galois groups of the following polynomials over $\mathbb{Q}$. The specific problems I am having is finding the roots of the first polynomial and dealing with a degree $6$ polynomial....
6
votes
2answers
186 views

Finite dimensional central division $\mathbb K$-algebra as a subalgebra of a matrix $\mathbb K$-algebra

The question is as follows: A finite-dimensional central division $\mathbb K$-algebra $D$ is a $\mathbb K$-algebra isomorphic to a subalgebra of $M_r(\mathbb K)$ if and only if $\dim_{\...
6
votes
2answers
434 views

Problem with units in number field

Edit:There were several major mistakes by my side this post, most of which have been accounted for.Now, after editing these out, the post seems to have no purpose at all.Nevertheless, it feels wrong ...
6
votes
2answers
88 views

Prove that $[\mathbf{Q}(\sqrt{1+i},\sqrt{2}):\mathbf{Q}]=8$.

I am trying to calculate the Galois group of the polynomial $f=X^4-2X^2+2$. $f$ is Eisenstein with $p=2$, so irreducible over $\mathbf{Q}$. I calculated the zeros to be $\alpha_1=\sqrt{1+i},\alpha_2=\...
6
votes
3answers
148 views

Degree of splitting field of $X^4+2X^2+2$ over $\mathbf{Q}$

Find the degree of splitting field of $f=X^4+2X^2+2$ over $\mathbf{Q}$. By Eisenstein, $f$ is irreducible. By setting $Y=X^2$, we can solve for the roots: $Y=-1\pm i \iff X=\sqrt[4]{2}e^{a\pi i/8}$, $...
6
votes
1answer
502 views

Subfield of $\mathbb{Q}(\sqrt[n]{a})$

Exercise 14.7.4 from Dummit and Foote Let $K=\mathbb{Q}(\sqrt[n]{a})$, where $a\in \mathbb{Q}$, $a>0$ and suppose $[K:\mathbb{Q}]=n$(i.e., $x^n-a$ is irreducible). Let $E$ be any subfield of $K$ ...
6
votes
0answers
103 views

Finding the splitting field of $f(x) \in \mathbb{Q}[x]$ in $\mathbb{C}$

Let $E$ be the splitting field for $x^4-2$ over $\mathbb{Q}$ in $\mathbb{C}$. I want to show that $E=\mathbb{Q}[i + \sqrt[4]{2}]$. I have a hint: Find at least five different elements in the orbit of ...
5
votes
1answer
6k views

Determine splitting field $K$ over $\mathbb{Q}$ of the polynomial $x^3 - 2$

Determine the splitting field $K$ over $\mathbb{Q}$ of the polynomial $x^3 - 2$ Also determine the basis over $\mathbb{Q}$ and its degree. Can I do this using only first principles?
5
votes
2answers
601 views

Why every polynomial over the algebraic numbers $F$ splits over $F$?

I read that if $F$ is the field of algebraic numbers over $\mathbb{Q}$, then every polynomial in $F[x]$ splits over $F$. That's awesome! Nevertheless, I don't fully understand why it is true. Can you ...
5
votes
2answers
176 views

Prove that $[\mathbb{Q}(\sqrt{4+\sqrt{5}},\sqrt{4-\sqrt{5}}):\mathbb{Q}] = 8$.

I'm trying to prove this result using elementary Field and Galois theory, but in an "efficient" way. It is desirable to avoid the use of powerful theorems of group theory or results about the ...
5
votes
1answer
323 views

Galois group of $ X^6-2tX^3+1 $ over $ \mathbb{Q}(t) $

As in the question, I am asked to determine the Galois group of $$f(X)= X^6-2tX^3+1 \in \mathbb{Q}(t)[X] $$ over $ \mathbb{Q}(t) $. First, I should prove that $ f $ is irreducible over $ \...
5
votes
1answer
157 views

Galois group of $x^n+1$ over $\Bbb Q$

Let $n\in\Bbb Z_{>0}$. Determine the Galois group of $f(x)=x^n+1$ over $\Bbb Q$. I am having some trouble with this. I started by assuming $n$ is odd, then $f(-x)=(-x)^n+1=-(x^n-1)$, then the ...
5
votes
1answer
182 views

software to compute the degree of the splitting field of a polynomial over $\mathbb{Q}$

I want to do some experiments regarding the degree of the splitting field $\mathbb{Q}$ of a certain class of polynomials in $\mathbb{Q}[T]$. Is there some software that is able to compute the (degree ...
5
votes
2answers
184 views

Confusion about the splitting field of $x^3-7$

I'm asked to find the degree of the splitting field of $x^3-7$ over the rationals. The roots are $\sqrt[3] 7e^{\frac{2\pi ik}{3}},\ k=0,1,2$. Explicitly, $$x_1=\sqrt[3] 7,\\ x_2=\sqrt[3] 7 \bigg(-\...
5
votes
1answer
1k views

Degree of splitting field less than n! [duplicate]

I've been asked to prove that if a polynomial $f\in \mathbb{Q}[x]$ has degree $n$, then the splitting field of $f$ has degree less than or equal to $n!$. That is, $[\mathbb{Q}(\alpha_1,...,\alpha_n):\...
5
votes
1answer
124 views

Find the degree $[E:\mathbb{Q}]$

Let $p$ a prime number. Find a splitting field $E$ of the polynomial $x^p-2 \in \mathbb{Q}[x]$. I have done the following: The solutions of $x^p-2=0$ are : $$\sqrt[p]{2}, \sqrt[p]{2}\omega, \dots, \...
5
votes
1answer
413 views

On a Proof that the Splitting Field of a Separable Polynomial is Galois

Prop.: If $f \in F[x]$ is separable, then the splitting field of $f$ over $F$ is a Galois extension of $F$. Proof: By induction over $[E:F]$, where $E$ is the splitting field. By previous results ...
5
votes
1answer
145 views

Simple field extension and roots of a polynomial

Let $K$ be a field, $f \in K[X]$ separable and irreducible with $\text{deg}(f)=n$; $x_1,...,x_n$ are the roots of $f$ in a splitting field of $f$ over $K$. Let $g \in K[X]$ be any polynomial with $\...
5
votes
1answer
772 views

splitting field of $x^n-1$ over $\mathbb{Q}$

Is it true that the splitting field for $x^n-1$ over $\mathbb{Q}$ is $\mathbb{Q}(\xi_n)$ where $\xi_n$ is a primitive n$^{th}$ root of unity, making it an extension of degree $\phi(n)$ (Euler phi ...
5
votes
1answer
92 views

A galois extension being the splitting field of $X^p-a^p$.

Let $p$ be a prime number and $F$ be a field such that $\textrm{char}(F)\neq p$. Assume that $X^p-1$ splits over $F$ and let: $$\mu_p:=\{x\in F\textrm{ s.t. }x^p=1\}.$$ Proposition 1. One has that: ...
5
votes
1answer
132 views

Splitting field of $(x^3 + x - 1)(x^4 + x - 1)$ over $\mathbb{F}_3$

Let $K$ be the splitting field of the polynomial $(x^3 + x - 1)(x^4 + x - 1)$ over $\mathbb{F}_3$. How many elements does $K$ contain? What I've already done is factoring $(x^3 + x - 1)(x^4 + x - 1)$ ...
5
votes
1answer
567 views

When does a splitting field of a polynomial have the same degree as the polynomial?

Let's say we have the irreducible polynomial $f$ with roots $\alpha_1,\ldots,\alpha_n$. Now let $K$ be its splitting field, in other words $$K=\mathbb Q(\alpha_1,\ldots,\alpha_n).$$ When is it the ...
4
votes
4answers
269 views

Finding roots of the polynomial $x^4+x^3+x^2+x+1$

In general, how could one find the roots of a polynomial like $x^4+x^3+x^2+x^1+1$? I need to find the complex roots of this polynomial and show that $\mathbb{Q (\omega)}$ is its splitting field, but I ...
4
votes
2answers
1k views

Galois group of irreducible cubic equation

The polynomial $f(x) = x^3 -3x + 1$ is irreducible, and I'm trying to find the splitting field of the polynomial. We've been given the hint by our lecturer to allow an arbitrary $\alpha$ to be a ...
4
votes
2answers
577 views

Splitting field of $x^3 - 2$ over $\mathbb{F}_5$

I'm having some difficulty in finding the degree of the splitting field of a polynomial over a finite field. In particular $f = x^3 - 2$ over $\mathbb{F}_5$. This polynomial factorises as $f(x) = (x-...
4
votes
1answer
44 views

Degree of a field extension $K/\mathbb{Q}$

Say we have a an irreducible polynomial $f \in \mathbb{Q}[x]$ whose roots are not all real, and $K$ a splitting field for $f$ over $\mathbb{Q}$. Why is the degree of the field extension $[K : \mathbb{...
4
votes
2answers
3k views

Find the splitting field of $x^3-1$ over $\mathbb{Q}$.

Find the splitting field of $x^3-1$ over $\mathbb{Q}$. My try: Factoring this to the most I can (in $\mathbb{Q}$), we get that $(x-1)(x^2+x+1)$ So $x=1$ is a root of $f(x)$. $x^2+x+1$ has no roots ...
4
votes
2answers
185 views

What is the splitting field of $x^3 - \pi$?

What is the splitting field of $x^3 - \pi$? Is it $\mathbb R(\sqrt[3] \pi, \xi_3)$ or $\mathbb Q(\sqrt[3] \pi, \xi_3)$? (where $\xi_3$ denotes the third root of unity) It is a polynomial over $\...
4
votes
2answers
94 views

Galois group of $x^3+2x+2$

Let $f(x)=x^3+2x+2 \in \mathbb{Q} [x]$. Find the Galois group of $f$. I was trying to find the roots of $f$, but I couldn't. Teacher told us it wasn't necessary to find all roots. I know that since ...
4
votes
2answers
39 views

Splitting field for the polynomial $x^3 + 1 \in \mathbb{Z}_2[x]$ is a subfield of the splitting field of $x^5 + 1 \in \mathbb{Z}_2[x]$

Show that the splitting field for the polynomial $x^3 + 1 \in \mathbb{Z}_2[x]$ is a subfield of the splitting field of $x^5 + 1 \in \mathbb{Z}_2[x]$. I'm not sure how to construct the splitting ...
4
votes
1answer
153 views

Understanding a Solution (Splitting Fields)

Consider the following set-up: We have a polynomial $f(x)=x^6+3$. Define $L$ to be the simple extension of $\mathbb{Q}$ defined by $f$. I want to prove the following claim: Claim: L is a splitting ...
4
votes
1answer
246 views

Splitting field over $\mathbb{F}_3$

The splitting field of $f(x)=x^8-1$ over $\mathbb{F}_3$ is $\mathbb{F}_{3^d}$ where $d=ord_{(\mathbb{Z}/8\mathbb{Z})^*}(3)=2$. But $f(x)=(x^4+1)(x^4-1)$ and $x^4+1$ is irreducible over $\mathbb{F}_3$....
4
votes
1answer
84 views

Extension of Splitting Fields over An Arbitrary Field

Let $F$ be a field in which $0 \neq2$ in $F$, and consider $f=x^4+1$. If $E$ is the splitting field for $f$ over $F$, it turns out that $E$ is a simple extension of $F$. How does one realize this fact?...
4
votes
1answer
68 views

Equality of field extensions given Splitting field is $S_n$.

Let $f\in \mathbb{Q}[x]$ be an irreducible polynomial of degree $n\geq 5$. Let $L$ be the splitting of $f$ and let $\alpha\in L$ be a zero of $f$. Claim If $[L:\mathbb{Q}]=n!$, then $\mathbb{Q}[...