The centraliser of a semisimple element on a reductive algebraic monoid (Q1305030)

Let \(M\) be a reductive algebraic monoid with simply connected unit group \(G\). Let \(B\) be a Borel subgroup of \(G\), and let \(T\) be the maximal torus of \(B\). Define for \(s\in T\): \(M_s=\{x\in M\mid xs=sx\}\), \(B_s=\{g\in B\mid gs=sg\}\), \(R_s=\{x\in\overline{N_G(T)}\mid xs=sz\}\), \({\mathcal R}_s=R_s/T=\{xT=Tx\mid x\in R_s\}\) (\(\overline A\) is the Zariski closure of \(A\subseteq M\)). \textit{L. E. Renner} [J. Algebra 101, 303-338 (1986; Zbl 0595.20064)] proved an analogue of Bruhat decomposition for \(M\). In the present paper the same is done for \(M_s\). Main results: \(M_s=\bigcup B_sxB_s\) (\(x\in{\mathcal R}_s\)) (Theorem 2.6); \({\mathcal R}_s\) is a finite inverse monoid (Theorem 3.1); \(M_s\) is a regular algebraic monoid (Theorem 3.2); \(M_s\) is irreducible if and only if \({\mathcal R}_s\) is unit regular (Theorem 3.3). A monoid \(S\) is unit regular if and only if, for every \(x\in S\), there exists a unit \(a\in S\) such that \(x=xax\).