A Hilbert-Nagata theorem in noncommutative invariant theory

Domokos, Mátyás; Drensky, Vesselin

doi:10.1090/S0002-9947-98-02208-9

A Hilbert-Nagata theorem in noncommutative invariant theory
HTML articles powered by AMS MathViewer

by Mátyás Domokos and Vesselin Drensky PDF

Trans. Amer. Math. Soc. 350 (1998), 2797-2811 Request permission

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.

References

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, DOI 10.1016/0021-8693(85)90183-8
Saunders MacLane, Steinitz field towers for modular fields, Trans. Amer. Math. Soc. 46 (1939), 23–45. MR 17, DOI 10.1090/S0002-9947-1939-0000017-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
Jean A. Dieudonné and James B. Carrell, Invariant theory, old and new, Academic Press, New York-London, 1971. MR 0279102
Vesselin Drensky, On the Hilbert series of relatively free algebras, Comm. Algebra 12 (1984), no. 19-20, 2335–2347. MR 755919, DOI 10.1080/00927878408823112
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
V. Drensky, Commutative and noncommutative invariant theory, in “Mathematics and Education in Mathematics”, Union of Bulgarian Mathematicians, Sofia, 1995, 14-50.
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, DOI 10.1090/conm/043/810646
Sam Perlis, Maximal orders in rational cyclic algebras of composite degree, Trans. Amer. Math. Soc. 46 (1939), 82–96. MR 15, DOI 10.1090/S0002-9947-1939-0000015-X
Saunders MacLane, Steinitz field towers for modular fields, Trans. Amer. Math. Soc. 46 (1939), 23–45. MR 17, DOI 10.1090/S0002-9947-1939-0000017-3
V. K. Kharchenko, Noncommutative invariants of finite groups and Noetherian varieties, J. Pure Appl. Algebra 31 (1984), no. 1-3, 83–90. MR 738208, DOI 10.1016/0022-4049(84)90079-3
O. G. Kharlampovich and M. V. Sapir, Algorithmic problems in varieties, Internat. J. Algebra Comput. 5 (1995), no. 4-5, 379–602. MR 1361261, DOI 10.1142/S0218196795000227
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
V.N. Latyshev, A generalization of Hilbert’s theorem on the finiteness of bases, (Russian), Sibirsk. Mat. Zhur. 7 (1966), 1422-1424.
I. V. L′vov, Maximality conditions in algebras with identity relations, Algebra i Logika 8 (1969), 449–459 (Russian). MR 0279127
Ju. N. Mal′cev, Varieties of associative algebras, Algebra i Logika 15 (1976), no. 5, 579–584, 606 (Russian). MR 0485632
Lyubov A. Vladimirova, Codimensions of $T$-ideals containing an identity of degree $4$, Serdica 14 (1988), no. 1, 82–94 (Russian). MR 944488
Nikolaus Vonessen, Actions of linearly reductive groups on affine PI algebras, Mem. Amer. Math. Soc. 81 (1989), no. 414, iv+106. MR 990363, DOI 10.1090/memo/0414
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, DOI 10.1007/BF00970273