Monogenic cyclotomic compositions

Abstract: Let

m

and

n

be positive integers, and let

p

be a prime. Let

T (x) = P h i_{p^{m}} l e f t (P h i_{2^{n}} (x) i g h t)

, where

P h i_{k} (x)

is the cyclotomic polynomial of index

k

. In this article, we prove that

T (x)

is irreducible over

m a t h b b Q

and that [left{1, heta, heta^2,ldots, heta^{2^{n-1}p^{m-1}(p-1)-1} ight}] is a basis for the ring of integers of

m a t h b b Q (h e t a)

, where

T (h e t a) = 0

.

Review text

A polynomial \(f(x)\in\mathbb{Z}[x]\) is said to be monogenic if it is irreducible over \(\mathbb{Q}\) and if for a root \(\theta\) of \(f\) the ring of integers of \(\mathbb{Q}(\theta)\) coincides with \(\mathbb{Z}[\theta]\). The question addressed in the paper is: if \(f(x)\) and \(g(x)\) are monogenic, when is \(f(g(x))\) monogenic? It is easy to see that this is not always the case, as the authors show giving a concrete example, and it is reasonable to expect that finding a full characterization would be a very hard problem. What the authors do is to consider the special situation of two cyclotomic polynomials \(f(x)=\phi_{p^m}(x)\) and \(g(x)=\phi_{2^n}(x)\), where \(p\) is any prime (also \(2\) is allowed). In this case they prove that \(f(g(x))\) is indeed monogenic.

Recommendations

Cites work

Cited in

(16)

This page was built for publication: Monogenic cyclotomic compositions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2040165)