Ask Your Question
1

how to find minimal polynomial

asked 2016-08-10 12:45:47 -0600

nebuckandazzer gravatar image

How to find the minimal polynomial of an element ? Let $\zeta_n$ be a primitive $n$-th root of unity. I want to find the minimal polynomial of $\zeta_n$ over $\mathbb{Q}(\zeta_n+\zeta_{n}^{-1})$. How do I do that ?

edit retag flag offensive close merge delete

Comments

1

@nebuckandazzer what have you tried?

slelievre gravatar imageslelievre ( 2016-08-16 17:59:47 -0600 )edit

I have not tried anything. I don't even know how to find the minimal polynomial of any algebraic number over $\mathbb{Q}$.

nebuckandazzer gravatar imagenebuckandazzer ( 2016-08-20 12:04:28 -0600 )edit

1 answer

Sort by ยป oldest newest most voted
1

answered 2016-08-21 13:11:59 -0600

There may be a better answer to your question, but here is a first attempt.

$ sage -v
SageMath version 7.3, Release Date: 2016-08-04
$ sage -q
sage: zeta7 = QQbar(exp(2*pi*i/7))
sage: zeta7
0.6234898018587335? + 0.7818314824680299?*I
sage: zeta7.parent()
Algebraic Field
sage: a = zeta7 + zeta7.conjugate()
sage: a
1.246979603717467? + 0.?e-18*I
sage: p = a.minpoly()
sage: p
x^3 + x^2 - 2*x - 1
sage: q = zeta7.minpoly()
sage: q
x^6 + x^5 + x^4 + x^3 + x^2 + x + 1
sage: k.<a> = NumberField(p, name='a', embedding=a)
sage: k
Number Field in a with defining polynomial x^3 + x^2 - 2*x - 1
sage: k.gen()
a
sage: q.factor()
x^6 + x^5 + x^4 + x^3 + x^2 + x + 1
sage: kx.<x> = k[]
sage: qq = kx(q)
sage: qq
x^6 + x^5 + x^4 + x^3 + x^2 + x + 1
sage: qq.factor()
(x^2 - a*x + 1) * (x^2 + (-a^2 + 2)*x + 1) * (x^2 + (a^2 + a - 1)*x + 1)
sage: for f, m in qq.factor(): print f(a)
1
2*a^2
a^2 + a + 2
sage: for f, m in qq.factor(): print f(zeta7)
0
1.054958132087372? + 1.322875655532296?*I
1.900968867902420? + 2.383739563481206?*I
sage:
edit flag offensive delete link more

Your Answer

Please start posting anonymously - your entry will be published after you log in or create a new account.

Add Answer

Question Tools

1 follower

Stats

Asked: 2016-08-10 12:45:47 -0600

Seen: 190 times

Last updated: Aug 21 '16