Finding splitting field and Galois group questions

Click For Summary

Homework Help Overview

The discussion revolves around two polynomial problems in the context of field theory and Galois groups. The first polynomial is \( g(x) = x^6 - 10 \) over \( \mathbb{Q}(c) \), where \( c \) is a primitive 6th root of unity. The second polynomial is \( f(x) = x^3 + x^2 + 2 \) with coefficients in \( \mathbb{F}_3 \). Participants are tasked with finding splitting fields and determining the Galois groups for both polynomials.

Discussion Character

  • Mixed

Approaches and Questions Raised

  • For the first polynomial, one participant suggests adjoining the 6th real root of 10 to \( \mathbb{Q}(c) \) as a splitting field and proposes that the Galois group is isomorphic to \( (Z_6, +) \). Others discuss the nature of the roots and the structure of the Galois group. In the second problem, participants express difficulty in constructing a splitting field and explore the implications of dividing the polynomial by a root. There are questions about the relevance of certain field characteristics and the discriminant of the resulting quadratic.

Discussion Status

The discussion is ongoing, with participants sharing their thoughts on the splitting fields and Galois groups. Some have provided insights and alternative approaches, while others are questioning assumptions and exploring different interpretations of the problems. There is no explicit consensus yet, as participants are still working through their reasoning.

Contextual Notes

Participants note potential complexities in the second problem, including the need for specific roots and the implications of working within finite fields. There are also references to the characteristics of the fields involved, which may affect the construction of the splitting fields.

PsychonautQQ
Messages
781
Reaction score
10

Homework Statement


2 questions here:

1)
Let g(x) = x^6 - 10 be a polynomial in Q(c) where c is a primitive 6th root of unity. Find a splitting field for this polynomial and determine it's Galois group

2)
let f(x) = x^3 + x^2 + 2 with coefficients in ##F_3##. Find a splitting field K for this polynomial and determine it's Galois group

Homework Equations

The Attempt at a Solution


Question 1)
If we adjoin b = the 6th real root of 10 to Q(c) then we have a splitting field. Furthermore, the roots of f will be {b, bc, bc^2, bc^3, bc^4, bc^5}. The Galois group will permute the roots whilst fixing every element of Q(c). So I believe this galois group will be isomorphic to ##(Z_6,+)## where the generator will take b-->bc and fix all elements of Q(c).

Question 2)
I'm having trouble constructing a splitting field for this polynomial. If I assume r is a root and then divide f(x) by x-r I don't seem to arrive at anything helpful. Perhaps I should consider that the multiplicative group in F_7(r) will be cyclic of order 26 (since the degree of r is 3 and 3*9 = 27) so r^27=r, and then use this knowledge to see if any powers of r are also roots. Does this make sense? Does anyone else have any other insights to make this simpler?
 
Physics news on Phys.org
PsychonautQQ said:

Homework Statement


2 questions here:

1)
Let g(x) = x^6 - 10 be a polynomial in Q(c) where c is a primitive 6th root of unity. Find a splitting field for this polynomial and determine it's Galois group

2)
let f(x) = x^3 + x^2 + 2 with coefficients in ##F_3##. Find a splitting field K for this polynomial and determine it's Galois group

Homework Equations

The Attempt at a Solution


Question 1)
If we adjoin b = the 6th real root of 10 to Q(c) then we have a splitting field. Furthermore, the roots of f will be {b, bc, bc^2, bc^3, bc^4, bc^5}. The Galois group will permute the roots whilst fixing every element of Q(c). So I believe this galois group will be isomorphic to ##(Z_6,+)## where the generator will take b-->bc and fix all elements of Q(c).
I think this is correct. Only one remark: you can say ##g(x)## is a polynomial over ##\mathbb{Q}(c)## or in ##\mathbb{Q}(c)[x]##.
Question 2)
I'm having trouble constructing a splitting field for this polynomial. If I assume r is a root and then divide f(x) by x-r I don't seem to arrive at anything helpful. Perhaps I should consider that the multiplicative group in F_7(r) will be cyclic of order 26 (since the degree of r is 3 and 3*9 = 27) so r^27=r, and then use this knowledge to see if any powers of r are also roots. Does this make sense? Does anyone else have any other insights to make this simpler?
I don't understand why you consider ##\mathbb{F}_7## here or even ##\mathbb{Z}_{26}##.
If you divided ##f(x)=x^3+x^2+2## by ##(x-r)## with a root ##r## such that ##r^3+r^2+2=0## then you can also do the rest and split ##f(x)## completely. If I made no mistake, then you will need ##\sqrt{r+1}## in the splitting field. Together with ##r^2## this looks like a four-dimensional extension of ##\mathbb{F}_3## but I didn't check linear dependencies.
 
  • Like
Likes   Reactions: PsychonautQQ
I divided by x-r and then solved the resulting quadratic and calculated that it has a discriminant -3r^2 - 2r + 1. it appears our splitting fields will be a bit different.
 
PsychonautQQ said:
I divided by x-r and then solved the resulting quadratic and calculated that it has a discriminant -3r^2 - 2r + 1. it appears our splitting fields will be a bit different.
I don't think so. ##-3=0## and ##-2=1## in ##\mathbb{F}_3##. :smile:
 
  • Like
Likes   Reactions: PsychonautQQ
Ahhh we are such genius's! lol
 
  • Like
Likes   Reactions: fresh_42

Similar threads

  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 28 ·
Replies
28
Views
5K
  • · Replies 7 ·
Replies
7
Views
2K
Replies
13
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 19 ·
Replies
19
Views
2K
Replies
6
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K