Explicit Generators of the Invariants of Finite Groups
✍ Scribed by David R. Richman
- Publisher
- Elsevier Science
- Year
- 1996
- Tongue
- English
- Weight
- 681 KB
- Volume
- 124
- Category
- Article
- ISSN
- 0001-8708
No coin nor oath required. For personal study only.
✦ Synopsis
Let R denote a commutative (and associative) ring with 1 and let A denote a finitely generated commutative R-algebra. Let G denote a finite group of R-algebra automorphisms of A. In the case that R is a field of characteristic 0, Noether constructed a finite set of R-algebra generators of the invariants of G. This paper proves that the same construction produces a set of generators of the invariants of G when |G|! is invertible in R. Generators of the invariants of G are also explicitly described in the case that G is solvable and |G| is invertible in R.
1996 Academic Press, Inc.
Noether's proof is an ingenious application of the theorem (due to Waring [18, p. 13]) that the symmetric polynomials are generated by the elementary symmetric polynomials. A different proof of (0.1) is described in [19, pp. 275 276], but it is not as short or as direct as Noether's original proof.
📜 SIMILAR VOLUMES
Let G be a finite group of complex n = n unitary matrices generated by reflections acting on ރ n . Let R be the ring of invariant polynomials, and let be a multiplicative character of G. Let ⍀ be the R-module of -invariant differential forms. We define a multiplication in ⍀ and show that under thi
Any finite reflection group G admits a distinguished basis of G-invariants canonically attached to a certain system of invariant differential equations. We determine it explicitly for groups of types A, B, D, and I in a systematic way.