Splitting field with Galios group A4

  • Thread starter Jim Kata
  • Start date
  • #1
192
6
the polynomial x^4+8x+12=0 has the Galois group A4. I have all its roots, but can't figure out its splitting field. The roots are
[tex]\alpha_1=\sqrt{2}(\sqrt{\cos{(\pi/9)}}+i\sqrt{\cos{(2\pi/9)}}+i\sqrt{\cos{(4\pi/9)}})[/tex]

[tex]\alpha_2=\sqrt{2}(\sqrt{\cos{(\pi/9)}} - i\sqrt{\cos{(2\pi/9)}}-i\sqrt{\cos{(4\pi/9)}})[/tex]

[tex]\alpha_3=\sqrt{2}(-\sqrt{\cos{(\pi/9)}} + i\sqrt{\cos{(2\pi/9)}}-i\sqrt{\cos{(4\pi/9)}})[/tex]

[tex]\alpha_4=\sqrt{2}(-\sqrt{\cos{(\pi/9)}} - i\sqrt{\cos{(2\pi/9)}}+i\sqrt{\cos{(4\pi/9)}})[/tex]
 
Last edited:

Answers and Replies

  • #2
mathwonk
Science Advisor
Homework Helper
2020 Award
11,249
1,456
what do you mean? its the field generated by those roots. do you want a smaller set of generators? (presumably two of those would do.)
 
  • #3
mathwonk
Science Advisor
Homework Helper
2020 Award
11,249
1,456
hellooo?
 
  • #4
192
6
Sorry I didn't respond earlier, but I don't think it is as simple as just attaching two roots since the degree of the field in that case wouldn't be twelve.
 
  • #5
Hurkyl
Staff Emeritus
Science Advisor
Gold Member
14,950
19
Sorry I didn't respond earlier, but I don't think it is as simple as just attaching two roots since the degree of the field in that case wouldn't be twelve.
Why not?

What can you say about, e.g., the minimal polynomial of a2 in the field Q(a1)?

It can't be x4 + 8x + 12, because this polynomial is reducible over Q(a1)! (it has a root)
 
Last edited:
  • #6
192
6
I think I get what you're saying let me mess with this idea for a bit and get back to you.
 
  • #7
192
6
Here is where I am at.

[tex]x^4+8x+12=(x-\alpha_1)(x-\alpha_2)(x-\alpha_3)(x-\alpha_4)=(x^3+\alpha_1x^2+{\alpha_1}^2x+({\alpha_1}^3+8))(x-\alpha_1)=0[/tex]

So I define [tex]F \equiv \mathbb{Q}(\alpha_1)[/tex] So it is obvious that the coefficients of that cubic are in the field [tex]F \equiv \mathbb{Q}(\alpha_1)[/tex] and that the roots of that cubic are [tex] \alpha_2, \alpha_3, \alpha_4[/tex] but it is not obvious to me that [tex]\alpha_3[/tex] can be written in terms of [tex] \alpha_2[/tex] and the field [tex]\mathbb{Q}(\alpha_1)[/tex] making the the Galois group of the cubic [tex]\mathbb{Z_3}[/tex]
 
  • #8
192
6
I guess I just have to assume that's the case since if it wasn't the Galois group would be S4 not A4. In that case I get a splitting field:
[tex]\mathbb{Q}(\alpha_1,\alpha_2)= A +B\alpha_1 + C{\alpha_1}^2 + D{\alpha_1}^3 + E\alpha_2 + F\alpha_1\alpha_2 +G{\alpha_1}^2\alpha_2 +H{\alpha_1}^3\alpha_2 + I{\alpha_2}^2 + J\alpha_1{\alpha_2}^2 + K{\alpha_1}^2{\alpha_2}^2 +L{\alpha_1}^3{\alpha_2}^2[/tex] Is this correct?
 

Related Threads on Splitting field with Galios group A4

  • Last Post
Replies
3
Views
2K
Replies
4
Views
3K
  • Last Post
Replies
9
Views
2K
  • Last Post
Replies
1
Views
586
  • Last Post
Replies
5
Views
3K
Replies
6
Views
2K
Replies
4
Views
1K
  • Last Post
Replies
1
Views
2K
  • Last Post
Replies
1
Views
3K
Top