Rings of invariants for modular representations of elementary abelian \(p\)-groups (Q1949291)

This article investigates the rings of invariants of modular representations of elementary abelian \(p\)-groups. In Section 1 is introduced a new algorithm which is an extension of the SAGBI (Subalgebra Analogue of a Gröbner Basis for Ideals) algorithm. With the aid of this algorithm it becomes possible to compute the ring of invariants for any modular representation of a \(p\)-group. In Section 2 the authors compute the ring of invariants for all two-dimensional modular representations of \(p\)-groups; these rings are generated by two algebraically independent elements. In Section 3 the authors compute the ring of invariants of the symmetric square of a two-dimensional representation; these rings are hypersurfaces. In Section 4 are described the three-dimensional representations of \((\mathbb Z/p)^r\). Section 5 includes the construction of a generating set for the field of fractions of the ring of invariants for a generic three-dimensional representation of \((\mathbb Z/p)^r\). In Sections 6 and 7 the authors compute the ring of invariants for all three-dimensional representations of \((\mathbb Z/p)^2\) and \((\mathbb Z/p)^3\).