A Hilbert-Nagata theorem in

noncommutative invariant theory

Authors:
Mátyás Domokos and Vesselin Drensky

Journal:
Trans. Amer. Math. Soc. **350** (1998), 2797-2811

MSC (1991):
Primary 16W20; Secondary 16R10, 16P40, 16W50, 13A50, 15A72

DOI:
https://doi.org/10.1090/S0002-9947-98-02208-9

MathSciNet review:
1475681

Full-text PDF Free Access

Abstract | References | Similar Articles | Additional Information

Abstract: Nagata gave a fundamental sufficient condition on group actions on finitely generated commutative algebras for finite generation of the subalgebra of invariants. In this paper we consider groups acting on noncommutative algebras over a field of characteristic zero. We characterize all the T-ideals of the free associative algebra such that the algebra of invariants in the corresponding relatively free algebra is finitely generated for any group action from the class of Nagata. In particular, in the case of unitary algebras this condition is equivalent to the nilpotency of the algebra in Lie sense. As a consequence we extend the Hilbert-Nagata theorem on finite generation of the algebra of invariants to any finitely generated associative algebra which is Lie nilpotent. We also prove that the Hilbert series of the algebra of invariants of a group acting on a relatively free algebra with a non-matrix polynomial identity is rational, if the action satisfies the condition of Nagata.

**1.**Gert Almkvist, Warren Dicks, and Edward Formanek,*Hilbert series of fixed free algebras and noncommutative classical invariant theory*, J. Algebra**93**(1985), no. 1, 189–214. MR**780492**, https://doi.org/10.1016/0021-8693(85)90183-8**2.**S.A. Amitsur,*The T-ideals of the free ring*, J. London Math. Soc.**30**(1955), 470-475.MR**17:122c****3.**M. F. Atiyah and I. G. Macdonald,*Introduction to commutative algebra*, Addison-Wesley Publishing Co., Reading, Mass.-London-Don Mills, Ont., 1969. MR**0242802****4.**Jean A. Dieudonné and James B. Carrell,*Invariant theory, old and new*, Academic Press, New York-London, 1971. MR**0279102****5.**Vesselin Drensky,*On the Hilbert series of relatively free algebras*, Comm. Algebra**12**(1984), no. 19-20, 2335–2347. MR**755919**, https://doi.org/10.1080/00927878408823112**6.**Vesselin Drensky,*Computational techniques for PI-algebras*, Topics in algebra, Part 1 (Warsaw, 1988) Banach Center Publ., vol. 26, PWN, Warsaw, 1990, pp. 17–44. MR**1171223****7.**V. Drensky,*Commutative and noncommutative invariant theory*, in ``Mathematics and Education in Mathematics'', Union of Bulgarian Mathematicians, Sofia, 1995, 14-50.**8.**Edward Formanek,*Noncommutative invariant theory*, Group actions on rings (Brunswick, Maine, 1984) Contemp. Math., vol. 43, Amer. Math. Soc., Providence, RI, 1985, pp. 87–119. MR**810646**, https://doi.org/10.1090/conm/043/810646**9.**P.J. Higgins,*Lie rings satisfying the Engel condition*, Proc. Cambridge Phil. Soc.**50**(1954), 8-15. MR**15:596b****10.**G. Higman,*On a conjecture of Nagata*, Proc. Cambridge Phil. Soc.**52**(1956), 1-4. MR**17:453c****11.**V. K. Kharchenko,*Noncommutative invariants of finite groups and Noetherian varieties*, J. Pure Appl. Algebra**31**(1984), no. 1-3, 83–90. MR**738208**, https://doi.org/10.1016/0022-4049(84)90079-3**12.**O. G. Kharlampovich and M. V. Sapir,*Algorithmic problems in varieties*, Internat. J. Algebra Comput.**5**(1995), no. 4-5, 379–602. MR**1361261**, https://doi.org/10.1142/S0218196795000227**13.**A. N. Krasil′nikov,*On the property of having a finite basis of some varieties of Lie algebras*, Vestnik Moskov. Univ. Ser. I Mat. Mekh.**2**(1982), 34–38, 116 (Russian, with English summary). MR**655399****14.**V.N. Latyshev,*A generalization of Hilbert's theorem on the finiteness of bases*, (Russian), Sibirsk. Mat. Zhur.**7**(1966), 1422-1424.**15.**I. V. L′vov,*Maximality conditions in algebras with identity relations*, Algebra i Logika**8**(1969), 449–459 (Russian). MR**0279127****16.**Ju. N. Mal′cev,*Varieties of associative algebras*, Algebra i Logika**15**(1976), no. 5, 579–584, 606 (Russian). MR**0485632****17.**Lyubov A. Vladimirova,*Codimensions of 𝑇-ideals containing an identity of degree 4*, Serdica**14**(1988), no. 1, 82–94 (Russian). MR**944488****18.**Nikolaus Vonessen,*Actions of linearly reductive groups on affine PI algebras*, Mem. Amer. Math. Soc.**81**(1989), no. 414, iv+106. MR**990363**, https://doi.org/10.1090/memo/0414**19.**E. I. Zel′manov,*On Engel Lie algebras*, Sibirsk. Mat. Zh.**29**(1988), no. 5, 112–117, 238 (Russian); English transl., Siberian Math. J.**29**(1988), no. 5, 777–781 (1989). MR**971234**, https://doi.org/10.1007/BF00970273

Retrieve articles in *Transactions of the American Mathematical Society*
with MSC (1991):
16W20,
16R10,
16P40,
16W50,
13A50,
15A72

Retrieve articles in all journals with MSC (1991): 16W20, 16R10, 16P40, 16W50, 13A50, 15A72

Additional Information

**Mátyás Domokos**

Affiliation:
Mathematical Institute of the Hungarian Academy of Sciences, Budapest, P.O. Box 127, H-1364, Hungary

Email:
domokos@math-inst.hu

**Vesselin Drensky**

Affiliation:
Institute of Mathematics and Informatics, Bulgarian Academy of Sciences, Acad. G. Bonchev Str., Block 8, 1113 Sofia, Bulgaria

Email:
drensky@math.acad.bg

DOI:
https://doi.org/10.1090/S0002-9947-98-02208-9

Keywords:
T-ideals,
algebras with polynomial identity,
noncommutative invariant theory,
algebra of invariants,
rational Hilbert series

Received by editor(s):
June 5, 1996

Additional Notes:
The first author was partially supported by Hungarian National Foundation for Scientific Research Grant no. F023436.

The second author was partially supported by Grant MM605/96 of the Bulgarian Foundation for Scientific Research.

Article copyright:
© Copyright 1998
American Mathematical Society