设M为既约幺半群，以G为其单位群，令B（?）G为一Borel子群，T（?）B为一极大环面子群，W=NG（T）／T为Weyl群，令（?）为NG（T）的Zariski闭包，则R=（?）／T称为Renner幺半......