Hello, I am again blocked in how to access finite fields' multiplicative group. I want to create a group morphism $\phi$ from $GF(p^2) - \lbrace 0 \rbrace$ (which is a group for multiplication) to $GF(p) - \lbrace 0 \rbrace$ defined by $\phi(x) = x^{p+1}$.
If I type:
GF(p^2).hom([GF(p)(z^(p+1))]) where z is GF(p^2).multiplicative_generator(), it throws an error, because of course, this is not a field morphism, but only a multiplicative group morphism...
I searched the documentation for a method like FiniteFiled.multiplicative_group() but I could not find anything.
