\mathbb K = \mathbb Q, \alpha^p=1,\alpha \neq 1, p