No puedes suponer que

es positivo. De hecho, seguro que un número positivo no puede ser un generador de

, porque sus potencias son todas positivas, luego en el subgrupo que genera no habrá números negativos.
Ahora bien,

sí que lo puedes suponer positivo y, de hecho, tendrá que ser par, porque

es positivo, con lo que

y
![q^2 = \sqrt[r]2](/foros/Sources/latexrender/pictures/de4323893e100244a71385d169d0a25a.png)
.