Asymptotics of dimensions of invariants for finite groups (Q584384): Difference between revisions
From MaRDI portal
Created a new Item |
Changed an Item |
||
Property / review text | |||
Let G be a finite group, \(A=\sum^{\infty}_{m=0}A_ n\) be a finitely generated graded algebra over a base field k of characteristic zero. The group G acts on A by graded k-algebra automorphisms. Then \(A^ G=\sum^{\infty}_{m=0}A^ G_ m\) is the subalgebra of G-invariants. Let PK\(\subseteq G\) be the subgroup of G which acts on each \(A_ m\) by sclars. Suppose that A is an integral domain and g.c.d.\(\{\) m: \(A_ m\neq 0\}=1\). It is shown that (a) \(A^ G_ m=0\) if m is not divisible by {\#}(PK); (b) if {\#}(PK)\(=c\), then \(\lim_{\ell \to \infty}(\dim A^ G_{\ell c}/\dim A_{\ell c})=1/\#(G/PK)\). | |||
Property / review text: Let G be a finite group, \(A=\sum^{\infty}_{m=0}A_ n\) be a finitely generated graded algebra over a base field k of characteristic zero. The group G acts on A by graded k-algebra automorphisms. Then \(A^ G=\sum^{\infty}_{m=0}A^ G_ m\) is the subalgebra of G-invariants. Let PK\(\subseteq G\) be the subgroup of G which acts on each \(A_ m\) by sclars. Suppose that A is an integral domain and g.c.d.\(\{\) m: \(A_ m\neq 0\}=1\). It is shown that (a) \(A^ G_ m=0\) if m is not divisible by {\#}(PK); (b) if {\#}(PK)\(=c\), then \(\lim_{\ell \to \infty}(\dim A^ G_{\ell c}/\dim A_{\ell c})=1/\#(G/PK)\). / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 20C05 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 16W50 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 15A72 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 4134289 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
finite group | |||
Property / zbMATH Keywords: finite group / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
finitely generated graded algebra | |||
Property / zbMATH Keywords: finitely generated graded algebra / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
graded k-algebra automorphisms | |||
Property / zbMATH Keywords: graded k-algebra automorphisms / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
subalgebra of G-invariants | |||
Property / zbMATH Keywords: subalgebra of G-invariants / rank | |||
Normal rank |
Revision as of 19:33, 1 July 2023
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Asymptotics of dimensions of invariants for finite groups |
scientific article |
Statements
Asymptotics of dimensions of invariants for finite groups (English)
0 references
1989
0 references
Let G be a finite group, \(A=\sum^{\infty}_{m=0}A_ n\) be a finitely generated graded algebra over a base field k of characteristic zero. The group G acts on A by graded k-algebra automorphisms. Then \(A^ G=\sum^{\infty}_{m=0}A^ G_ m\) is the subalgebra of G-invariants. Let PK\(\subseteq G\) be the subgroup of G which acts on each \(A_ m\) by sclars. Suppose that A is an integral domain and g.c.d.\(\{\) m: \(A_ m\neq 0\}=1\). It is shown that (a) \(A^ G_ m=0\) if m is not divisible by {\#}(PK); (b) if {\#}(PK)\(=c\), then \(\lim_{\ell \to \infty}(\dim A^ G_{\ell c}/\dim A_{\ell c})=1/\#(G/PK)\).
0 references
finite group
0 references
finitely generated graded algebra
0 references
graded k-algebra automorphisms
0 references
subalgebra of G-invariants
0 references