f12 = (x - ζ)(x - ζ5)(x-ζ7)(x-ζ11)is the definition. However the surprising thing about cyclotomic polynomials is that the coefficients are all rationals (integers infact), none of the surds from taking twelfth roots escape to pollute the polynominal. My book proves this by giving an inductive construction.
Start from x12-1 and divide by all of f1, f2, f3, f4, f6, the point being that 1,2,3,4, and 6 are divisors of 12.
Now I've always believed that ζ has a twelfth degree minimum polynomial and that the field extension [Q(ζ):Q] is twelfth degree. It is "just obvious", I never really thought about it, and I don't spot what is coming.
Starting as I said from x12-1 I divide by x-1 getting
x11+ x10+ x9+ x8+ x7+ x6+ x5+ x4+ x3+ x2+ x+ 1Next comes division by x+1 leaving
x10+ x8+ x6+ x4+ x2+ 1Dividing by x2+x+1 requires care, so I get
x8- x7+ x6+ x2- x+ 1without seeing the danger. Dividing by (x2+1) is an easier calculation but I'm feeling smug that things are going well so I'm not smelling the burning insulation yet. Finally division,by x2-x+1 reveals
x4- x2+1
Oh shit! How the fuck did that happen. ζ is supposed to be a twelfth root, what is it doing satisfying a fourth degree polynomial?
Starting to panic I fire up my trusty REPL and start coding up numerical calculations. Soon it is very clear. The twelfth root of unity does satisfy a fourth degree polynomial. [Q(ζ):Q] = 4 not 12. I don't understand mathematics.
< All my Bones, they are Gone Gone Gone | BBC White season: 'Rivers of Blood' > |