Re: Semigroup problem



On Sun, 11 May 2008 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.

Yes, we're interested in this problem. Are you?
Are you interested enought in this problem to give a clear,
complete and unambiguous statement of the problem, explaining
in addition, about F and G.

Please do, otherwise the thread will continuing rambling
about what actually is the problem or if it's just a joke.

Riddle of the day. Are F and G capital punishments?
.



Relevant Pages

  • Re: Bill Joy leaves Sun
    ... but if's a real worry then Sun can ... easily leave the joke out of translations to languages where it falls ... The joke is still in the HP-UX tunefs man page, ... volunteer to translate it to other languages. ...
    (comp.unix.solaris)
  • Re: Looks like Kelvin may be bottlling it!
    ... Apparently News International has poured cold water on the idea, ... the Sun has nothing about Kelvin's participation. ... WHAT A JOKE THAT MAN IS!!! ...
    (uk.politics.misc)
  • Re: Looks like Kelvin may be bottlling it!
    ... Apparently News International has poured cold water on the idea, ... the Sun has nothing about Kelvin's participation. ... WHAT A JOKE THAT MAN IS!!! ...
    (uk.politics.misc)
  • Re: www.birthdatabase.com (more privacy lost)
    ... On Sun, Apr 2 2006 8:46 pm, Antipodean Bucket Farmer wrote: ... of birth, plus city/state/zip. ... For a joke it sure gives accurate dates. ...
    (alt.privacy)
  • Re: what if Bob were Roberto?
    ... It is some kind of a joke I can't get, ... for unknown reasons ... nothing new under the sun. ... and the grand opera. ...
    (rec.music.dylan)