\(E\)-free objects in \(E\)-varieties of inverse rings (Q1357112)

Let \((S,\cdot)\) be a semigroup and \(E\) its set of idempotents. \((S,\cdot)\) is called \(E\)-solid if whenever \(e,f,g\in E\) such that \(e{\mathcal L}f{\mathcal R}g\) there is some \(h\in E\) such that \(e{\mathcal R}h{\mathcal L}g\), and \((S,\cdot)\) is called a ring-semigroup if there is an addition \(+\) on \(S\) such that \((S,+,\cdot)\) is a ring. It is shown that for each regular ring-semigroup the following are equivalent: (i) \((S,\cdot)\) is inverse, (ii) \((S,\cdot)\) is \(E\)-solid, (iii) for each \(e\in E\) the subsemigroup \(eSe\) of \((S,\cdot)\) is inverse, (iv) for each \(e\in E\) the subsemigroup \(eSe\) of \((S,\cdot)\) is \(E\)-solid. A class \(\mathcal C\) of regular rings is called an \(e\)-variety if \(\mathcal C\) is closed under homomorphic images and direct products and contains every regular subring of every member of \(\mathcal C\). The main result is: There is an \(e\)-free object on any non-empty set in each \(e\)-variety of inverse rings. -- The concept of a semiring is defined but never really used in the paper.