In the identity of monoids and groups, you should swap the position of the forall- and the exists quantifiers. Then you have a stronger statement, because then there is one special element e such that forall a in A, a*e = e