Endomorphisms of relatively free algebras with weak exchange properties (Q2583598)

Basis algebras have been introduced by the authors [J. Aust. Math. Soc. 75, 355--384 (2003; Zbl 1041.08002)] as a general setting to ``study the interactions of various notions of independence and relative freeness''. In the present paper, the structure of the monoid \( A\) of endomorphisms of a basis algebra \(A\) is investigated. The monoid \(\text{End} A\) is abundant (all \({\mathcal R}^*\) and all \({\mathcal L}^*\)-classes contain idempotents) if and only if \(A\) enjoys a certain natural stability condition. The authors thus proceed to consider the case where \(A\) is stable. They prove that \(\text{End} A\) is an idempotent connected abundant monoid in the sense of \textit{A. El-Qallali} and \textit{J. Fountain} [Proc. R. Soc. Edinb., Sect. A 91, 79--90 (1981; Zbl 0501.20043)], in which the relations \({\mathcal L}^*\) and \({\mathcal R}^*\) commute and every \({\mathcal H}^*\)-class contains a regular element. They also consider the subsemigroup \(\text{End}_f A\) of endomorphisms of finite rank which they show to be a ``fully stratified straight left order in a regular semigroup'' in the sense of \textit{V. Gould} [Period. Math. Hung. 46, 171--179 (2003; Zbl 1027.20040)]. More generally, for each cardinal \(\kappa\), the set \(T_\kappa\) of all endomorphisms of \(A\) of rank less than \(\kappa\) is a \(*\)-ideal of \(\text{End} A\) and every \(*\)-ideal is of this form. In case \(\kappa=n\) is finite, the authors go on to describe the structure of the quotient \(T_{n+1}/T_n\) as a Rees matrix semigroup over the \({\mathcal H}^*\)-class of the identity of \(\text{End} B\), where \(B\) is any pure subalgebra of \(A\) of rank \(n+1\).