Some infinite soluble groups, their modules, and the arithmeticity of associated automorphism groups. (English) Zbl 1070.20002
In recent years the authors have made detail studies of modules over a crossed product of a division ring by an Abelian group, promising us that there were group theoretic applications to come. In this current paper we get these applications, or at least some of them. There are three.
The first concerns a module \(M\) over the group ring \(RG\), where \(R\) is a commutative ring and \(G\) is a torsion-free ‘connected’ polycyclic group and gives conditions under which \(M\) is torsion-free over a sizeable section of \(RG\). Connected here means that the group can be embedded as a Zariski-connected subgroup of some \(\text{GL}(n,\mathbb Z)\).
The second, with \(M\), \(R\) and \(G\) as above, but now with \(R\) Noetherian, \(M\) finitely generated and \(G\) nilpotent, gives conditions under which a specific subgroup of \(\operatorname{Aut} G\) the authors denote by \(\text{Stab}_{\operatorname{Aut} G}M\) is arithmetic.
The third concerns a finitely generated nilpotent-nilpotent-by-finite group \(G\) with Fitting subgroup \(F\) such that no subgroup of \(G\) of finite index has a quotient isomorphic to a wreath product of a cyclic group of prime order by an infinite cyclic group. They show that the group of automorphisms induced on \(G/F\) by \(\operatorname{Aut} G\) has a subgroup of finite index acting nilpotently on \(G/F\) and that any finitely generated extension of \(G\) by a nilpotent group is again nilpotent-by-nilpotent-by-finite.
The first concerns a module \(M\) over the group ring \(RG\), where \(R\) is a commutative ring and \(G\) is a torsion-free ‘connected’ polycyclic group and gives conditions under which \(M\) is torsion-free over a sizeable section of \(RG\). Connected here means that the group can be embedded as a Zariski-connected subgroup of some \(\text{GL}(n,\mathbb Z)\).
The second, with \(M\), \(R\) and \(G\) as above, but now with \(R\) Noetherian, \(M\) finitely generated and \(G\) nilpotent, gives conditions under which a specific subgroup of \(\operatorname{Aut} G\) the authors denote by \(\text{Stab}_{\operatorname{Aut} G}M\) is arithmetic.
The third concerns a finitely generated nilpotent-nilpotent-by-finite group \(G\) with Fitting subgroup \(F\) such that no subgroup of \(G\) of finite index has a quotient isomorphic to a wreath product of a cyclic group of prime order by an infinite cyclic group. They show that the group of automorphisms induced on \(G/F\) by \(\operatorname{Aut} G\) has a subgroup of finite index acting nilpotently on \(G/F\) and that any finitely generated extension of \(G\) by a nilpotent group is again nilpotent-by-nilpotent-by-finite.
Reviewer: B. A. F. Wehrfritz (London)
MSC:
20C07 | Group rings of infinite groups and their modules (group-theoretic aspects) |
20F16 | Solvable groups, supersolvable groups |
20F28 | Automorphism groups of groups |
20F18 | Nilpotent groups |
20E07 | Subgroup theorems; subgroup growth |
16S34 | Group rings |
Keywords:
modules; infinite soluble groups; automorphism groups; group rings; polycyclic groups; nilpotent groupsReferences:
[1] | Brookes, C. J.B., Stabilisers of injective modules over nilpotent groups, (Group Theory: Proc. 1987 Singapore Conf (1989), de Gruyter: de Gruyter Berlin), 275-291 · Zbl 0661.20023 |
[2] | Brookes, C. J.B.; Brown, K. A., Primitive group rings and Noetherian rings of quotients, Trans. Amer. Math. Soc, 288, 605-623 (1985) · Zbl 0562.16005 |
[3] | Brookes, C. J.B.; Brown, K. A., Injective modules, induction maps and endomorphism rings, Proc. London Math. Soc. (3), 67, 127-158 (1993) · Zbl 0815.20005 |
[4] | Brookes, C. J.B.; Groves, J. R.J., Modules over nilpotent group rings, J. London Math. Soc. (2), 52, 467-481 (1995) · Zbl 0857.20002 |
[5] | Brookes, C. J.B.; Groves, J. R.J., Modules over crossed products of a division ring with an abelian group I, J. Algebra, 229, 25-54 (2000) · Zbl 0958.16028 |
[6] | Brookes, C. J.B.; Groves, J. R.J., Modules over crossed products of a division ring with an abelian group II, J. Algebra, 253, 417-445 (2002) · Zbl 1011.16018 |
[7] | Goodearl, K. R.; Warfield, R. B., An Introduction to Non-Commutative Noetherian Rings (1989), Cambridge Univ. Press: Cambridge Univ. Press Cambridge, UK · Zbl 0679.16001 |
[8] | Groves, J. R.J., HNN-extensions of finitely presented soluble groups, J. Algebra, 162, 12-27 (1993) · Zbl 0804.20019 |
[9] | Passman, D. S., The algebraic structure of group rings (1977), Wiley: Wiley New York · Zbl 0366.16003 |
[10] | Roseblade, J. E., Group rings of polycyclic groups, J. Pure Appl. Algebra, 3, 307-328 (1973) · Zbl 0285.20008 |
[11] | Roseblade, J. E., Prime ideals in group rings of polycyclic groups, Proc. London Math. Soc. (3), 36, 385-447 (1978) · Zbl 0391.16008 |
[12] | Segal, D., On the residual simplicity of certain modules, Proc. London Math. Soc. (3), 34, 327-353 (1977) · Zbl 0354.20004 |
[13] | Segal, D., Polycyclic Groups, (Cambridge Tracts in Math., vol. 82 (1983), Cambridge Univ. Press: Cambridge Univ. Press Cambridge, UK) · Zbl 0516.20001 |
[14] | Wehrfritz, B. A.F., Infinite Linear Groups, (Ergeb. Math. Grenzgeb., vol. 76 (1973), Cambridge Univ. Press: Cambridge Univ. Press Cambridge, UK) · Zbl 0956.20047 |
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.