Modules over crossed products of a division ring by a free Abelian group. II
type: Item
instance of: scholarly article
title: Modules over crossed products of a division ring by a free Abelian group. II
zbMATH Open document ID: 1011.16018
DOI: 10.1016/S0021-8693(02)00072-8
author: Christopher J. B. Brookes
author: J. R. J. Groves
published in: Journal of Algebra
publication date: 2002-11-28T00:00:00Z
review text: Let \(DA\) (\(=D*A\)) be a crossed product of a finitely generated free Abelian group \(A\) of rank \(n\) over a division ring \(D\). In this paper, the authors continue their study of finitely generated \(DA\)-modules. Their earlier work in part I of this series [J. Algebra 229, No. 1, 25-54 (2000; Zbl 0958.16028)] associated to each such module a subset \(\Delta(M)\) of the dual group \(\widehat A=\Hom(A,\mathbb{R})\cong\mathbb{R}^n\), where \(\mathbb{R}\) is the field of real numbers. With this notation, they showed that if \(\dim M\) is the largest integer \(r\leq n\) such that \(M\) contains a nonzero free \(DB\)-submodule with \(B\) a subgroup of \(A\) of rank \(r\), then \(\dim M=\text{GK}\dim M\) and \(\Delta(M)\) contains a rational convex polyhedron of dimension equal to \(\dim M\). In part II, the paper under review, the authors use this material to prove a rigidity theorem. To start with, say that two \(DA\)-modules are `similar' if they have isomorphic injective hulls and let \([M]\) denote the corresponding equivalence class of \(M\). Observe that \(\Aut(DA)\) permutes the isomorphism classes of \(DA\)-modules and hence it permutes these similarity equivalence classes. The goal here is to obtain information on \(\text{Stab}_{\Aut(DA)}[M]\), the stabilizer in \(\Aut(DA)\) of the class \([M]\). Let \({\mathcal F}_M(A)\) be the set of elements \(a\in A\) such that \(M\) has an essential \(DA\)-submodule which is \(D\langle a\rangle\)-torsion. It turns out that \({\mathcal F}_M(A)\) is a subgroup of \(A\) with factor group \(A/{\mathcal F}_M(A)\) torsion-free. Note that any automorphism of \(DA\) determines an automorphism of \(D\) and also one of \(A\). Moreover, if this automorphism stabilizes \([M]\), then its action on \(A\) leaves \({\mathcal F}_M(A)\) invariant and hence it yields an automorphism of \(A/{\mathcal F}_M(A)\). The main result of this paper is Theorem B. Let \(M\) be a finitely generated \(DA\)-module and assume that \(M\) contains no no…
Mathematics Subject Classification ID: 16S35
Mathematics Subject Classification ID: 16D80
Mathematics Subject Classification ID: 20C07
Mathematics Subject Classification ID: 20F16
zbMATH DE Number: 1836733
zbMATH Keywords: crossed products
zbMATH Keywords: free Abelian groups
zbMATH Keywords: solvable groups
zbMATH Keywords: division rings
zbMATH Keywords: finitely generated modules
zbMATH Keywords: Gelfand-Kirillov dimension
zbMATH Keywords: automorphisms
reviewed by: D. S. Passman
MaRDI profile type: Publication
cites work: Q3041316
cites work: A Rigidity Property for the Set of all Characters Induced by Valuations
cites work: Valuations and Finitely Presented Metabelian Groups
cites work: Q3809999
cites work: Primitive Group Rings and Noetherian Rings of Quotients
cites work: Modules Over Nilpotent Group Rings
cites work: Modules over crossed products of a division ring by a free Abelian group. I
cites work: Some infinite soluble groups, their modules, and the arithmeticity of associated automorphism groups.
cites work: Q3994888
cites work: HNN-extensions of finitely presented soluble groups
cites work: Observations on group rings
cites work: Prime Ideals in Group Rings of Polycyclic Groups
description: scientific article; zbMATH DE number 1836733