Groups of units of integral group rings commensurable with direct products of free-by-free groups. (Q884437)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Groups of units of integral group rings commensurable with direct products of free-by-free groups.
scientific article

    Statements

    Groups of units of integral group rings commensurable with direct products of free-by-free groups. (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    6 June 2007
    0 references
    The authors classify the finite groups \(G\) such that the group of units of the integral group ring \(\mathbb{Z} G\) has a subgroup of finite index which is a direct product of free-by-free groups. Recall that a group \(H\) is said to be free-by-free if \(H\) contains a normal subgroup \(N\) so that both \(N\) and \(H/N\) are free groups. Denote by \(R^*\) the group of invertible elements of \(R\), where \(R\) is a ring, and by \(Z(R)\) its centre. In case \(R\) is an order in a simple finite-dimensional rational algebra \(A\) we denote by \(R^1\) the group consisting of the elements of reduced norm \(1\) in \(R\). A finite group \(G\) is said to be of Kleinian type if every non-commutative simple quotient \(A\) of the rational group algebra \(\mathbb{Q} G\) has an embedding \(\psi\colon A\to M_2(\mathbb{C})\) such that \(\psi(R^1)\) is a discrete subgroup of \(\text{SL}_2(\mathbb{C})\) for some (every) order \(R\) in \(A\). The main result is the following Theorem 1. For a finite group \(G\) the following statements are equivalent. (A) \(\mathbb{Z} G^*\) is commensurable with a direct product of free-by-free groups. (B) For every simple quotient \(A\) of \(\mathbb{Q} G\) and some (every) order \(R\) in \(A\), \(R^1\) is commensurable with a free-by-free group. (C) For every simple quotient \(A\) of \(\mathbb{Q} G\) and some (every) order \(R\) in \(A\), \(R^1\) has virtual cohomological dimension at most \(2\). (D) \(G\) is of Kleinian type. (E) Every simple quotient of \(\mathbb{Q} G\) is either a field, a totally definite quaternion algebra or \(M_2(K)\), where \(K\) is either \(\mathbb{Q}\), \(\mathbb{Q}(i)\), \(\mathbb{Q}(\sqrt{-2})\) or \(\mathbb{Q}(\sqrt{-3})\). (F) \(G\) is either Abelian or an epimorphic image of \(A\times H\), where \(A\) is Abelian and one of the following conditions holds: 1. \(A\) has exponent \(6\) and \(H\) is one of the following groups: \(\bullet\) \(\mathcal W=(\langle t\rangle_2\times\langle x^2\rangle_2\times\langle y^2\rangle_2):(\langle\overline x\rangle_2\times\langle\overline y\rangle_2)\), with \(t=(y,x)\) and \(Z(\mathcal W)=\langle x^2,y^2,t\rangle\). \(\bullet\) \(\mathcal W_{1n}=(\prod_{i=1}^n\langle t_i\rangle_2\times\prod_{i=1}^n\langle y_i\rangle_2)\rtimes\langle x\rangle_4\), with \(t_i=(y_i,x)\) and \(Z(\mathcal W_{1n})=\langle t_1,\dots,t_n,x^2\rangle\). \(\bullet\) \(\mathcal W_{2n}=(\prod_{i=1}^n\langle y_i\rangle_4)\rtimes\langle x\rangle_4\), with \(t_i=(y_i,x)=y_i^2\) and \(Z(\mathcal W_{2n})=\langle t_1,\dots,t_n,x^2\rangle\). 2. \(A\) has exponent \(4\) and \(H\) is one of the following groups: \(\bullet\) \(\mathcal V=(\langle t\rangle_2\times\langle x^2\rangle_4\times\langle y^2\rangle_4):(\langle\overline x\rangle_2\times\langle\overline y\rangle_2)\), with \(t=(y,x)\) and \(Z(\mathcal W)=\langle x^2,y^2,t\rangle\). \(\bullet\) \(\mathcal V_{1n}=(\prod_{i=1}^n\langle t_i\rangle_2\times\prod_{i=1}^n\langle y_i\rangle_4 )\rtimes\langle x\rangle_8\), with \(t_i=(y_i,x)\) and \(Z(\mathcal V_{1n})=\langle t_1,\dots,t_n,y_1^2,\dots,y_n^2,x^2\rangle\). \(\bullet\) \(\mathcal V_{2n}=(\prod_{i=1}^n\langle y_i\rangle_8 )\rtimes\langle x\rangle_8\), with \(t_i=(y_i,x)=y_i^4\) and \(Z(\mathcal V_{2n})=\langle t_i,x^2\rangle\). \(\bullet\) \(\mathcal U_1=(\prod_{1\leq i<j\leq 3}\langle t_{ij}\rangle_2\times\prod_{k=1}^3\langle y_k^2\rangle_2):(\prod_{k=1}^3 \langle\overline{y_k}\rangle_2)\), with \(t_{ij}=(y_j,y_i)\) and \(Z(\mathcal U_1)=\langle t_{12},t_{13},t_{23},y_1^2,y_2^2,y_3^2\rangle\). \(\bullet\) \(\mathcal U_2=(\langle t_{23}\rangle_2\times\langle y_1^2\rangle_2\times\langle y_2^2\rangle_4\times\langle y_3^2\rangle_4):(\prod_{k=1}^3\langle\overline{y_k}\rangle_2)\), with \(t_{ij}=(y_j,y_i)\), \(y_2^4=t^{12}\), \(y_3^4=t_{13}\) and \(Z(\mathcal U_2)=\langle t_{12},t_{13},t_{23},y_1^2,y_2^2,y_3^2\rangle\). 3. \(A\) has exponent \(2\) and \(H\) is one of the following groups: \(\bullet\) \(\mathcal T=(\langle t\rangle_4\times\langle y\rangle_8):\langle\overline x\rangle_2\), with \(t=(y,x)\) and \(x^2=t^2=(x,t)\). \(\bullet\) \(\mathcal T_{1n}=(\prod_{i=1}^n\langle t_i\rangle_4\times\prod_{i=1}^n\langle y_i\rangle_4)\rtimes\langle x\rangle_8\), with \(t_i=(y_i,x)\), \((t_i,x)=t_i^2\) and \(Z(\mathcal T_{1n})=\langle t_1^2,\dots,t_n^2,x^2\rangle\). \(\bullet\) \(\mathcal T_{2n}=(\prod_{i=1}^n\langle y_i\rangle_8)\rtimes\langle x\rangle_4\), with \(t_i=(y_i,x)=y_i^{-2}\) and \(Z(\mathcal T_{2n})=\langle t_1^2,\dots,t_n^2,x^2\rangle\). \(\bullet\) \(\mathcal T_{3n}=(\langle y_1^2t_1\rangle_2\times\langle y_1\rangle_8\times\prod_{i=2}^n\langle y_i\rangle_4):\langle \overline x\rangle_2\), with \(t_i=(y_1,x)\), \((t_i,x)=t_i^2\), \(x^2=t_1^2\), \(Z(\mathcal T_{3n})=\langle t_1^2,y_2^2,\dots,y_n^2,x^2\rangle\) and, if \(i\geq 2\) then \(t_i=y_i^2\). 4. \(H=M\rtimes P=(M\times Q):\langle\overline u\rangle_2\), where \(M\) is an elementary Abelian \(3\)-group, \(P=Q:\langle\overline u\rangle_2\), \(m^u=m^{-1}\) for every \(m\in M\), and one of the following conditions holds: \(\bullet\) \(A\) has exponent \(4\) and \(P=C_8\). \(\bullet\) \(A\) has exponent \(6\), \(P=\mathcal W_{1n}\) and \(Q=\langle y_1,\dots,y_n,t_1,\dots,t_n,x^2\rangle\). \(\bullet\) \(A\) has exponent \(2\), \(P=\mathcal W_{21}\) and \(Q=\langle y_1^2,x\rangle\). The proof of the theorem follows the steps below. 1. Equivalence of (A) and (B). 2. (B) implies (C), (C) implies (D), and (E) implies (B). 3. (F) implies (E). 4. (D) implies (F), for nilpotent groups. 5. (D) implies (F), for non-nilpotent groups. The entire paper under review is focused on the proof of Theorem 1, and in the process significant problems have been overcome.
    0 references
    integral group rings
    0 references
    finite groups
    0 references
    groups of units
    0 references
    Kleinian groups
    0 references
    free-by-free groups
    0 references
    subgroups of finite index
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references