The join A ∨ B of two semigroup varieties A and B is investigated. The latrine of subvarieties of A ∨ B is completely described, It is shown that this lattice is finite and non-modular and that all varieties in it are finitely based and finitely generated.
In this paper, all subvarieties of the varieties Ak （k ∈N） generated by aperiodic commutative semigroups are characterized. Based on this characterization, the structure of lattice of subvarieties of Ak is investigated.
Characterization theorems for abundant sernigroups having a quasi-ideal quasi-adequate transversal are obtained. Our results generalize and amplify the related results of Satio on regular semigroup obtained in 1985 and Kong obtained in 2007 respectively. Some recent results on this topic given by Guo-Shum are strengthened. In particular, the structure of such an abundant semigroup is described.
