New combinatorial properties of linear groups

DOI10.1006/JABR.2000.8413MaRDI QIDQ1840621zbMATH OpenOpenAlexFDO

Authors Alexander Potapchik, V. P. Platonov

Publication date 17 January 2002

Published in Journal of Algebra (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1006/jabr.2000.8413

zbMATH Keywords

automorphism groups of free groupsfinitely generated groupsgeneral linear groupssolvable subgroupssubgroups of finite indexunipotent groups

Mathematics Subject Classification ID

Linear algebraic groups over the reals, the complexes, the quaternions (20G20)

Review text

Let \(G=\langle g_1,\dots,g_n \rangle\) be a finitely generated subgroup of \(\text{GL}_m(\mathbb{C})\). The authors investigate whether \(G\) is unipotent if all primitive words in \(g_1,\dots,g_n\) are unipotent. This work was inspired by a conjecture of Formanek and Zelmanov which says that if \(F_n\) is a free group of rank \(n\), \(\Gamma_n\subset\Aut(F_n)\) is the group of inner automorphisms of \(F_n\), and \(\rho\colon\Aut(F_n)\to\text{GL}_m(\mathbb{C})\) is a representation, then the group \(\rho(\Gamma_n)\) is virtually solvable (i.e., contains a solvable subgroup of finite index). By studying combinatorial problems, it is shown that under some natural conditions, \(G=\langle g_1,\dots,g_n\rangle\) is indeed unipotent. For example, if \(x,y\in\text{GL}_m(\mathbb{C})\) are such that every primitive element in \(x\) and \(y\) is unipotent with Jordan blocks of size at most 3, then the group generated by \(x\) and \(y\) is unipotent. Let \(x_1,\dots,x_n\) be a set of generators for \(\Gamma_n\), and \(V(x_i)\) the subspace of \(\rho(x_i)\)-invariant vectors. The main result of this paper says that the group \(\rho(\Gamma_n)\) is unipotent if \(\dim V(x_n)\leq n\).

Recommendations

• Unipotence of the image of a representation of \(F_2(x,y)\) by matrices from \(\text{GL}(n,\mathbb{C})\), \(n=2,3,4\), under the condition that generators and primitive elements map into unipotent matrices.
• Unipotence of the image of a representation of \(F_2(x,y)\) in \(\mathrm{GL}(6,\mathbb C)\) under the mapping of primitive elements into unipotent matrices.
• Unipotence of the image of the representation of \(F_2(x,y)\) in \(\mathrm{GL}(7,\mathbb C)\) under a mapping of primitive elements into unipotent matrices.
• Unipotence of the image of a representation of \(F_2(x,y)\) in \(\mathrm{GL}(5,\mathbb C)\) under a mapping of primitive elements into unipotent matrices.
• scientific article; zbMATH DE number 5994884

Cites work

• Free subgroups in linear groups
• scientific article; zbMATH DE number 3563392 (Why is no real title available?)
• scientific article; zbMATH DE number 3574107 (Why is no real title available?)
• Low-dimensional representations of \(\text{Aut}(F_ 2)\)
• The automorphism group of a free group is not linear

Cited in

(9)

• On the linearity of automorphism groups for free metabelian groups.
• On linear groups with the property of order finiteness of all primitive words in generators
• On maximal unipotent subgroups of a special linear group over commutative ring
• Combinatorial and logical aspects of linear groups and Chevalley groups.
• Unipotence of the image of a representation of \(F_2(x,y)\) in \(\mathrm{GL}(6,\mathbb C)\) under the mapping of primitive elements into unipotent matrices.
• Unipotence of the image of the representation of \(F_2(x,y)\) in \(\mathrm{GL}(7,\mathbb C)\) under a mapping of primitive elements into unipotent matrices.
• Unipotence of the image of a representation of \(F_2(x,y)\) by matrices from \(\text{GL}(n,\mathbb{C})\), \(n=2,3,4\), under the condition that generators and primitive elements map into unipotent matrices.
• Combinatorial aspects of an odd linkage property for general linear supergroups
• \(\Aut(F_n)\) actions on representation spaces

This page was built for publication: New combinatorial properties of linear groups

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1840621)