The monoid generated by projections in an algebraic group (Q1825280)

Let G be a fixed simple algebraic group and \({\mathcal B}(G)\) the set of all Borel subgroups of G. For any parabolic subgroup P of G, and \(B\in {\mathcal B}(G)\), define \(proj_ P(B)=)(P\cap B)R_ u(P)\), with \(R_ u(P)\) the unipotent radical of P. The structure of the monoid M(G) generated by these \(proj_ P\) is studied: the author identifies the set of idempotents, describes the one-sided and two-sided principal ideals of M(G), determines the structure of the maximal subgroups of M(G) and shows that M(G) has non nontrivial idempotent separating congruences. If P and Q are parabolic subgroups, then put \(P\leftrightarrow Q\) if \((P\cap Q)R_ u(P)=P\) and \((P\cap Q)R_ u(Q)=Q\). It turns out that every \(a\in M(G)\) can be written in the form \(a=proj_{P_ 1}...proj_{P_ n}\), with \(P_ 1\leftrightarrow...\leftrightarrow P_ n\). From this it follows that, with \(b=proj_{P_ n}...proj_{P_ 1}\), one has \(ab=proj_{P_ 1}\) and \(ba=proj_{P_ n}\); hence M(G) is a regular monoid. Finally, a natural number r is determined such that \(a^ r\) is in a maximal subgroup of M(G) for all \(a\in M(G):\) r is the size of the fundamental generating set of the Weyl group of G.