Unique factorization in invariant power series rings (Q2474477)

Let \(G\) be a finite group, and \(k\) be a perfect field of characteristic \(p>1\). Let \(V\) be a finite-dimensional \(kG\)-module. \(G\) also acts on the ring of polynomials \(k\left[ V\right] \) and the ring of formal power series \( k\left[ [V]\right].\) \textit{H. Nakajima} [J. Algebra 79, 218--234 (1982; Zbl 0499.20029)] proposed and answered the following question. ``When do the invariants \(k[V]^{G}\) form a Unique Factorization Domain (UFD)? The authors of the paper under review consider the same question for \(k\left[ [V]\right] ^{G}\). They show that \(k\left[ [V]\right] ^{G}\) is a UFD when \(G\) is a finite \(p\)-group and \(V\) is a permutation module for \(kG,k\) a perfect field of characteristic \(p>1\). They also generalize this result, with some exception to arbitrary finite groups. They also give a negative answer to Peskin conjecture. \textit{B. R. Peskin} [J. Algebra 81, 72--99 (1983; Zbl 0517.14017)] conjectured that for an indecomposable representation of a cyclic group of order \(p\) in characteristic \(p\) the invariants are always a UFD. The authors use modular representation theory and Krull- Samuel theory about connection between degree one cohomology and unique factorization to prove their results. The paper is well-written with remarkable results.