On an example of Nagarajan

DOI10.1016/J.JALGEBRA.2023.09.038MaRDI QIDQ6087816zbMATH OpenOpenAlexFDO

Authors Annie Giokas, Anurag K. Singh

Publication date 16 November 2023

Published in Journal of Algebra (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2211.09230

zbMATH Keywords

cyclic groupinvariant ringregular ring

Mathematics Subject Classification ID

Polynomial rings and ideals; rings of integer-valued polynomials (13F20) Formal power series rings (13F25)

Abstract: K. R. Nagarajan constructed an example of a formal power series ring of dimension two, over a field of characteristic two, with the action of a cyclic group of order two, such that the ring of invariants is not noetherian. We point out how Nagarajan's example readily extends to each positive prime characteristic, and also to a characteristic zero example: There exists a formal power series ring of dimension two, over a field of characteristic zero, with an action of the infinite cyclic group, such that the ring of invariants is not noetherian. Both the positive characteristic and the characteristic zero examples are sharp in multiple ways.

Review text

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=Kx,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.

Recommendations

• scientific article; zbMATH DE number 4202432
• On the action of the group ring of the automorphism group of a field
• Two Examples in the Theory of Fixed Rings
• On the finite generation of additive group invariants in positive characteristic
• Invariants of formal group law actions

Cites work

• A counterexample to Hilbert's fourteenth problem in dimension 5
• A counterexample to the fourteenth problem of Hilbert in dimension three
• A survey of counterexamples to Hilbert's fourteenth problem
• An infinitely generated symbolic blow-up in a power series ring and a new counterexample to Hilbert's fourteenth problem
• Hilbert’s 14th problem over finite fields and a conjecture on the cone of curves
• scientific article; zbMATH DE number 4202432 (Why is no real title available?)
• scientific article; zbMATH DE number 3531544 (Why is no real title available?)
• scientific article; zbMATH DE number 3561502 (Why is no real title available?)
• scientific article; zbMATH DE number 1014907 (Why is no real title available?)
• scientific article; zbMATH DE number 3207349 (Why is no real title available?)
• scientific article; zbMATH DE number 3279244 (Why is no real title available?)
• scientific article; zbMATH DE number 3309791 (Why is no real title available?)
• Kahler Differentials and Hilbert's Fourteenth Problem for Finite Groups
• On the 14-th Problem of Hilbert

This page was built for publication: On an example of Nagarajan

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6087816)