Let S be a non-empty set with a binary operation that satisfies the following:
1) the operation is associative
2) there exists a right sided identity
3) there exists a right sided inverse
Is S a group?
It seems like this should be simple but I can neither produce a counter nor adequately show it is true (the couple of 'proofs' I made seemed a bit hand-wavy)