We study varieties of associative algebras over a finite field and varieties of associative rings satisfying semigroup or adjoint semigroup identities. We characterize these varieties in terms of “forbidden algebras” and discuss some corollaries of the characterizations.