Generalized reflection groups. I: Constructing the algebra
Let \(G\) be a group generated by a set \(X\) of involutions such that the product of two elements of \(X\) is of finite order. On \(X\) is defined a graph structure \(\Gamma\) by: \(\{x,y\}\) is an edge of \(\Gamma\) if the order of \(xy\) is \(\geq 3\). It is supposed that \(\Gamma\) is connected. Let \(K\) be a ring and let \(G\) act on the left \(K\)-module \(M\). \((G,X)\) is called a generalized reflection group if the following is satisfied: Let \(x,y\) be in \(X\), \(r:=xy\) be of order \(n\) and let \(V=[M,x]+[M,y]\); if \(n\geq 3\), then \(P_n(r)|_V= 0\); if \(n=2\), then \((Id_M+r)|_V=0\), where \(P_n(Y):=(Y^n-1)/(Y-1)(Y+1)^f\) and \((Y+1)^f\) is the greatest power of \(Y+1\) which divides \((Y^n-1)/(Y-1)\). For the purpose of constructing the algebra it is proved that if \(x,y\) are in \(X\), then \([M,x]\) and \([M,y]\) are isomorphic \(K\)-modules and that there is a canonical \(K\)-algebra \(L\) such that for each \(x\) in \(X\), \([M,x]\) is an \(L\)-module in a natural way. There are also proved some other properties and some examples are given. For the entire collection see [Zbl 0883.00017].
This page was built for publication: Generalized reflection groups. I: Constructing the algebra
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4385478)
