Homework Statement
Let S be a finite multiplicative semigroup in which these 2 cancellation laws hold. For all a,x,y \in S, a*x=a*y implies x=y and for all a,x,y, \in S x*a=y*a implies that x=y.
Show that (S, *) is a group.
For given a \in S, let \lambda a: S \rightarrow S, s...