No label defined (Q4948723)

A group \(\Gamma\) virtually has a certain property if some subgroup of finite index in \(\Gamma\) has this property. A group virtually having a non-abelian free quotient is called large. In this paper the following result is obtained. Let \(\Gamma \subset GL(V) \) be a finitely generated irreducible linear group leaving invariant some open convex cone \(K \subset V\) and acting on it discretely. Suppose that \(\Gamma\) contains a linear reflection. Then one of the following alternatives holds: (1) \(K=V\) and \(\Gamma\) is finite; (2) \(K\) is a simplicial cone and \(\Gamma\) is virtually abelian; (3) \(\Gamma\) is large. The next two corollaries are of independent interest. Corollary 1. Let \(\Gamma\) be a finitely generated discrete group of motion of the \(n\)-dimensional Lobachevsky space \(L^n\) \((n>1)\), containing a reflection and leaving invariant no plane (of any dimension) or point at the infinity. Then \(\Gamma\) is large. Corollary 2. Any non-affine infinite indecomposable finitely generated Coxeter group is large.