1: \begin{abstract}  Denote by $(R,\cdot)$ the multiplicative semigroup of 

2: an associative algebra $R$ over an infinite field, and let

3: $(R,\circ)$ represent $R$ when viewed as a semigroup via the 

4: circle operation $x\circ y=x+y+xy$.  

5: In this paper we characterize the existence of an identity in

6: these semigroups in terms of the Lie structure of $R$.

7: Namely, we prove that the following conditions on $R$ are equivalent:

8: the semigroup $(R,\circ)$ satisfies an identity; 

9: the semigroup $(R,\cdot)$ satisfies a reduced identity; and,

10: the associated Lie algebra of $R$ satisfies the Engel condition.

11: When $R$ is finitely generated these conditions 

12: are each equivalent to $R$ being upper Lie nilpotent.

13: \end{abstract}

14: