Crossed products and finitely presented groups. (English) Zbl 0978.16028

Brookes, Christopher J. B.

J. Group Theory 3, No. 4, 433-444 (2000).

Let \(F\) be a field, let \(n\) be a positive integer and let \({\mathbf q}=(q_{ij})\) be an \(n\times n\) matrix with entries from \(F\setminus\{0\}\) such that \(q_{ij}=q^{-1}_{ji}\) and \(q_{ii}=1\) for all \(i,j\). Localised quantum \(n\)-space \(A({\mathbf q},F)\) is the \(F\)-algebra generated by \(X^{\pm 1}_1,\ldots,X^{\pm 1}_n\) subject to the relations \(X_iX_j=q_{ij}X_jX_i\) for all \(i,j\). These algebras are fundamental objects in the study of quantum groups; they also arise frequently in work on infinite groups and their group algebras, since \(A({\mathbf q},F)\) may be regarded as the crossed product \(F*G\) of a free Abelian group \(G\) with \(F\) central. Define \(t\) to be the maximum of the ranks of the subgroups \(H\) of \(G\) for which \(F*H=FH\), the ordinary group algebra. J. C. McConnell and J. J. Pettit [J. Lond. Math. Soc., II. Ser. 38, 47-55 (1988; Zbl 0652.16007)] observed that \(t\) is a lower bound for the global and Krull dimensions of \(A({\mathbf q},F)\), and conjectured that equality holds in both cases. The main theorem of this paper confirms both these equalities, a beautiful result which improves on earlier special cases obtained by a number of authors. The paper also includes applications to finitely presented groups which are somewhat too technical to state here.

Reviewer: Kenneth A.Brown (Glasgow)

MSC:

16S35	Twisted and skew group rings, crossed products
20F05	Generators, relations, and presentations of groups
16E10	Homological dimension in associative algebras
16W35	Ring-theoretic aspects of quantum groups (MSC2000)
16P60	Chain conditions on annihilators and summands: Goldie-type conditions
20F16	Solvable groups, supersolvable groups
16S34	Group rings
20C07	Group rings of infinite groups and their modules (group-theoretic aspects)

Keywords:

crossed products; Krull dimension; global dimension; quantum groups; group algebras; finitely presented groups

References:

[1]	G. Baumslag.Finitely presented metabelian groups. In Proceedings of the second international conference on the theory of groups (Springer-Verlag, 1974), pp. 65-74. · Zbl 0304.20015
[2]	R. Bieri and R. Strebel. Valuations and nitely presented metabelian groups. Proc. London Math. Soc. (3) 41 (1980), 439-464. · Zbl 0448.20029
[3]	Brookes C. J. B., Trans. Amer. Math. Soc. 288 pp 605– (1985)
[4]	C. J. B. Brookes and J. R. J. Groves.Modules over nilpotent group rings. J. London Math. Soc. (2) 52 (1995), 467-481. · Zbl 0857.20002
[5]	Brookes C. J. B., J. Algebra 229 pp 24– (2000)
[6]	C. J. B. Brookes, J. E. Roseblade and J. S. Wilson.Exterior powers of modules for group rings of polycyclic groups. J. London Math. Soc. (2) 56 (1997), 231-244. · Zbl 0911.20006
[7]	J. R. J. Groves and J. S. Wilson.Finitely presented metanilpotent groups. J. London Math. Soc. (2) 50 (1994), 87-104. · Zbl 0819.20038
[8]	Jategaonkar V. A., Comm. Algebra 12 pp 1669– (1984)
[9]	Littlewood D. E., Proc. London Math. Soc. 35 pp 200– (1933)
[10]	J. C. McConnell and J. J. Pettit.Crossed products and multiplicative analogues of Weyl algebras. J. London Math. Soc. (2) 38 (1988), 47-55. · Zbl 0652.16007
[11]	Roseblade J. E., J. Pure Appl. Algebra 3 pp 307– (1973)
[12]	J. E. Roseblade.Prime ideals in group rings of polycyclic groups Proc. London Math. Soc. (3) 36 (1978), 385-447. · Zbl 0391.16008
[13]	Rosset S., R. Acad. Sci. Paris Ser. I Math. 303 pp 89– (1986)
[14]	D. Segal.On the residual simplicity of certain modules. Proc. London Math. Soc. (3) 34 (1977), 327-353. · Zbl 0354.20004
[15]	D. Segal. Polycyclic groups.Cambridge Tracts in Mathematics 82 (Cambridge University Press, 1983). · Zbl 0516.20001
[16]	A. Shamsuddin.A note on a class of simple Noetherian domains. J. London Math. Soc. (2) 15 (1977), 213-216. · Zbl 0355.16019
[17]	P. F. Smith.On the dimension of group rings. Proc. London Math. Soc. (3) 25 (1972), 288-302; Corrigendum, ibid. 27 (1973), 766-768. · Zbl 0236.16011
[18]	Wilson J. S., Invent. Math. 105 pp 177– (1991)
[19]	E. I. Zelmanov.Lie ring methods in the theory of nilpotent groups. In Groups ’93 Galway/ St Andrews, London Math. Soc. Lecture Note Ser. 212 (Cambridge University Press, 1995), pp. 567-585. · Zbl 0860.20031