Constructing the Galois Group of f

  • Context: Graduate 
  • Thread starter Thread starter Ant farm
  • Start date Start date
  • Tags Tags
    Group
Click For Summary

Discussion Overview

The discussion centers around the construction of the Galois Group for the polynomial f = (x^2 - 2x - 1)^3 (x^2 + x + 1)^2 (x + 1)^4. Participants explore the splitting field of the polynomial, its degree, and the representation of the Galois group as a permutation group of the roots.

Discussion Character

  • Technical explanation
  • Mathematical reasoning
  • Debate/contested

Main Points Raised

  • One participant constructs the splitting field as Q(√2, √-3) and claims its degree is 4, questioning if this is correct.
  • Another participant states that the splitting field for the polynomial is the same as that for its irreducible, non-linear factors.
  • A participant expresses uncertainty about the correctness of their permutation group representation and seeks confirmation.
  • One participant notes that while the listed permutations must map roots of the same polynomial, not all may be valid, prompting a discussion about the relationship between the degree of the splitting field and the size of the Galois group.
  • A participant concludes that since the degree of the splitting field is 4, the Galois group must also have 4 elements, suggesting they believe their work is complete.

Areas of Agreement / Disagreement

Participants express uncertainty regarding the correctness of the permutation group and the validity of the constructed splitting field. There is no consensus on the final correctness of the Galois group representation.

Contextual Notes

Participants have not resolved the validity of the proposed permutation group or the implications of the degree of the splitting field on the Galois group.

Ant farm
Messages
19
Reaction score
0
Hey there,
firstly I hope that this is the right place to discuss such things. if not, could you direct me somewhere else?
Ok, I have to construct the Galois Group of f= (x^2-2x-1)^3 (x^2+x+1)^2 (x+1)^4 and then represent it as a permutation group of the roots.

first I constructed the splitting field extension S:Q (where S= summation symbol and Q = field of Rational numbers)

The splitting field i Came up with was Q(sqrt (2), sqrt (-3)):Q, and the degree of this splitting field is 4...am I correct here? is this the splitting field?

The Galois group represented as a permutation group I ended up getting was
{ e (the identity), (sqrt(-3),-sqrt(-3)),(sqrt(2),-sqrt(2)),(sqrt(2),-sqrt(2))(sqrt(-3),-sqrt(-3))}
isomorphic to the Klein4 group...
am i doing this right?? it just seems abit simple a result for an initial function that wasn't that simple ! :rolleyes:
 
Physics news on Phys.org
The splitting field for a polynomial is the same as the splitting field for the product of its irreducible, non-linear factors. Thus the splitting field of f(x) is the same as that of (x^2-2x-1)(x^2+x+1).
 
Excellent, thank you very much. the point you have made will help me in the future too ! Is my permutation group correct...not entirely sure as to whether this is all that's required!
 
You know that every permutation must take a root of one polynomial to a root of the same polynomial, so the ones you've written are the only possible ones. However, it may be that not all of those are valid. Have you seen the connection between the degree of a splitting field and the size of its Galois group?
 
Yes, the degree of the splitting field is 4, so there are 4 elements in the Galois Group too, so I think I'm done. Thank you for your advice!
 

Similar threads

  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 13 ·
Replies
13
Views
3K
  • · Replies 1 ·
Replies
1
Views
823
  • · Replies 26 ·
Replies
26
Views
1K
  • · Replies 2 ·
Replies
2
Views
1K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 13 ·
Replies
13
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K