Re: Semigroup problem

On 2008-05-11, marcjhg@xxxxxxxxx <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).

Is this supposed to be:
exists F exists G all x all y (F(x) * G(y) = y * x),
or perhaps
all x all y exists F exists G (F(x) * G(y) = y * x),
or even
all x all F exists G all y (F(x) * G(y) = y * x)?

If you don't state the problem correctly, it's difficult to help you.


- Tim
.

Quantcast