Rings of invariants of certain \(p\)-groups over the field \(\mathbb{F}_p\) (Q1283946)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Rings of invariants of certain \(p\)-groups over the field \(\mathbb{F}_p\) |
scientific article |
Statements
Rings of invariants of certain \(p\)-groups over the field \(\mathbb{F}_p\) (English)
0 references
26 May 1999
0 references
Let \(V\) be a finite-dimensional vector space over a field \(k\) and \(S=k[V]\) the symmetric algebra of \(V\) over \(k\). Suppose that \(G\) is a finite \(p\)-group with a polynomial ring of invariants, and \(S^G\) the fixed points of \(S\) under \(G\); denote by \(H\) its maximal proper subgroup. Nakajima's characterization of \(p\)-groups with polynomial rings of invariants over the field \(\mathbb{F}_p\) is used to prove the following: \(S^H\) is the free \(S^G\)-module with the basis of specific \(p\) elements. In particular, \(S^H\) is a hypersurface and hence a Cohen-Macaulay ring. An explicit construction for the ring of invariants of such a group, as a module over the ring of invariants of the total group is given.
0 references
symmetric algebra
0 references
\(p\)-groups
0 references
ring of invariants
0 references
Cohen-Macaulay ring
0 references
hypersurfaces
0 references