The crystallographic group of infinite Coxeter groups (Q1185959)

[George Maxwell pointed out that this paper is virtually identical to his article ''On the crystallography of infinite Coxeter groups'', Math. Proc. Camb. Philos. Soc. 82, 13-24 (1977; Zbl 0364.20054). No explanation of the author has been forthcoming. W. Feit, J. Algebra 175, No.1, 408 (1995)] Since the work of Serre and Bourbaki, one knows how to define Lie algebras without requiring that the Weyl group is a finite Coxeter group \(K\). The elements \(g\) of the Weyl group are then affine reflections and one can still apply the concept of chambers \(C\) determined by the finite set of hyperplanes in \(V\) correspondingly left invariant by the reflections generating \(K\). In order to avoid limiting cases, the author restricts the considerations to linear Coxeter groups [\textit{E. B. Vinberg}, Izv. Akad. Nauk SSSR, Ser. Mat. 35, 1072-1112 (1971; Zbl 0247.20054)], for which \(g(\text{int} (C))\cap \text{int}(C)=\emptyset\), where \(\text{int}(C)\) denotes the interior of \(C\). Translating the properties of roots and of weights into crystallography leads to affine space groups \(G\), which are group extensions of subgroups of \(Gl(n,\mathbb{Z})\) by \(\mathbb{Z}^ n\). Whereas the abstract structure of \(G\) is given by \(H^ 2(K, \mathbb{Z}^ n)\), their properties as groups of transformations of \(V\) follow from \(H^ 1(K, \mathbb{R}^ n/ \mathbb{Z}^ n)\). In order to apply the results obtained by \textit{G. Maxwell} [J. Algebra 35, 159-177 (1975; Zbl 0312.20029)], who derived Euclidean space groups from lattices \(\Lambda\) in \(V\) left invariant by a finite Coxeter group \(K\) by calculating \(H^ 1 (K, \mathbb{R}^ n/\mathbb{Z}^ n)\), which in that case is isomorphic to \(H^ 2(K,\mathbb{Z}^ n)\), the author supposes that \(H^ 1(K, \mathbb{R}^ n)=0\), a property not true in general for \(K\) of infinite order. The affine space groups are then obtained on the basis of the Coxeter graph \(\Gamma\) of \(K\).