We investigate the transfer of the Cohen᎐Macaulay property from a commutative ring to a subring of invariants under the action of a finite group. Our point of view is ring theoretic and not a priori tailored to a particular type of group action. As an illustration, we discuss the special case of mul
On the Cohen–Macaulay Property of Modular Invariant Rings
✍ Scribed by Gregor Kemper
- Publisher
- Elsevier Science
- Year
- 1999
- Tongue
- English
- Weight
- 203 KB
- Volume
- 215
- Category
- Article
- ISSN
- 0021-8693
No coin nor oath required. For personal study only.
✦ Synopsis
If V is a faithful module for a finite group G over a field of characteristic p, then the ring of invariants need not be Cohen᎐Macaulay if p divides the order of G. In this article the cohomology of G is used to study the question of Cohen᎐Macaulayness of the invariant ring. One of the results is a classification of all groups for which the invariant ring with respect to the regular representation is Cohen᎐Macaulay. Moreover, it is proved that if p divides the order of G, then the ring of vector invariants of sufficiently many copies of V is not Cohen᎐Macaulay. A further result is that if G is a p-group and the invariant ring is Cohen᎐Macaulay, then G is a bireflection group, i.e., it is generated by elements which fix a subspace of V of codimension at most 2. ᮊ 1999 Academic Press * The author thanks Ian Hughes, Eddy Campbell, Jim Shank, and David Wehlau for their hospitality during his visit to Queen's University in Kingston, Ontario, where most of this paper was prepared.
📜 SIMILAR VOLUMES
Numerical invariants which measure the Cohen Macaulay character of homomorphisms .: R Ä S of noetherian rings are introduced and studied. Comprehensive results are obtained for homomorphisms which are locally of finite flat dimension. They provide a point of view from which a variety of phenomena re
Let I be an ᒊ-primary ideal in a Buchsbaum local ring A, ᒊ . In this paper, we investigate the Buchsbaum property of the associated graded ring of I when the equality I 2 s ᒎ I holds for some minimal reduction ᒎ of I. However, the Buchsbaum property does not always follow even if I 2 s ᒎ I. So we gi
We construct a canonical generating set for the polynomial invariants of the simultaneous diagonal action (of arbitrary number of l factors) of the two-dimensional finite unitary reflection group G of order 192, which is called the group No. 9 in the list of Shephard and Todd, and is also called the