Loading [MathJax]/jax/output/HTML-CSS/jax.js
Ask Your Question

Revision history [back]

click to hide/show revision 1
initial version

Cyclotomic fields - displaying powers of zeta

Is there any way how to avoid expressing ζn1 in terms of lower powers of ζ when working with cyclotomic fields?

K.<zeta> = CyclotomicField(3)
zeta^5
-zeta - 1

I would like to show ζ2 in this case.

I know that I can do this instead:

K.<zeta> = QQ[]
zeta^5 % (zeta^3 - 1)
zeta^2

But the problem is that eventually, I want to work with a polynomial ring over K and perform a factorization there, and that is not possible in QQ[].<x,y>.