Re: Semigroup problem



On 11-05-2008 15:41, marcjhg@xxxxxxxxx wrote:

Let * be a semigroup operation that satisfies the following
properties:

all z exists x exists y (x * y = z).
all x all y (F(x) * G(y) = y * x).

The problem is: prove that * is commutative or find a counterexample
(finite if it is possible) to this claim.

What are F and G?

Best regards,

Jose Carlos Santos
.