I'm reading the proof of Lemma 4.1 [1] which says:

"Let $F = K(x,y), y^q = f(x)$, where $q$ is a prime different from characteristic of $K$. Let $Z := Gal(F/K(x))$ and we have $Z < G < Aut(F/K)$ Then:

$Z < Z(G) \iff$ $Z$ is normal in $G$ and for all $\sigma \in G$ there exists $0 \neq B_{\sigma} \in K(x)$ with $\sigma(y) = y.B_{\sigma}$."

My problem is just on the second line, so I'm writing everything up to that point:

"Proof: "$\Rightarrow$" Let $\phi: y \mapsto \xi y, x \mapsto x$ with $\xi$ primitive $q$-th root of unity. Then $Z = <\phi>$. Now let $\sigma \in G$, then $\sigma(y) = y^k.B_{\sigma}$, with $k \in \mathbb{Z}, (k,q) =1$ and $0 \neq B_{\sigma} \in K(x)$..." (the rest is routine to show $k=1$)

My problem is that why only one power of $y$ appears in the image of $\sigma(y)$ while all powers of $y$ makes a basis for $F/K(X)$ why not $\sigma(y) = \sum_{i = 0}^{q-1}y^i.B_{i}$.

Thank you very much indeed for helping me.

[1] Rolf Brandt, *Über die Automorphismengruppen von algebraischen Funktionenkörpern*,Universität-Gesamthochschule Essen, 1988