关于<span class="math-container">${\mathbb Z}[x]$</span>中根绝对值为1的首一不可约多项式的形式问询

嘿，咱们来聊这个有意思的代数问题：我们知道$x^n + 1$是$\mathbb{Z}[x]$中的首一多项式，它的所有根都是单位根，而且当$n$为素数时，这个多项式是不可约的。那我就好奇了——有没有其他的首一不可约多项式，它的所有根的绝对值都是1（这里要提一句，这种情况下所有根必然都是单位根），但又不是$x^n + 1$这种形式的呢？

备注：内容来源于stack exchange，提问作者ghc1997