Residual finiteness and ‘free’ distributively generated near-rings
David J. John · Journal of the Australian Mathematical Society · 1979
Abstract Let V be a variety of groups in which the free group is residually finite, and let S be a residually finite semigroup. Let Nv(S) be the ‘free’ distributively generated near-ring constructed from S and V. Theorem; Nv(S) is residually finite.