On an example of Nagarajan (Q6087816)

Let \(\mathbb{F}\) be a field, \((a_n)_{n\in\mathbb{N}^*}\) and \((b_n)_{n\in\mathbb{N}^*}\) be two sequences of indeterminates over \(\mathbb{F}\), \(K=\mathbb{F}(a_1,b_1,a_2,b_2,\ldots)\) and \(R=K[[x,y]]\) where \(x\) and \(y\) are two indeterminates over \(K\). Set \(f_n=a_nx+b_ny\) for \(n\geq 1\). Define an \(\mathbb{F}-\)endomorphism \(\sigma\) of \(R\) by \(\sigma(x)=x\), \(\sigma(y)=y\), \(\sigma(a_n)=a_n+yf_{n+1}\) and \(\sigma(b_n)=b_n-xf_{n+1}\). By this way, the cyclic group \(G=<\sigma>\) acts on \(R\). The authors show that if the characteristic of \(K\) is \(p>0\), the order of \(G\) is \(p\) and if the characteristic of \(K\) is zero, then \(G\) is infinite. In both cases, the ring of invriants \(R^G\) is not Noetherian.