I've found this problem in an exercise. I've searched it in the web but I've found one which says that it is a group but, in my version of the problem it's says that: "show that finite semi groups which obey cancellation law are abelian groups".
Is there a mistake in this problem?