The Math Forum

Search All of the Math Forum:

Views expressed in these public forums are not endorsed by NCTM or The Math Forum.

Math Forum » Discussions » Math Topics » alt.math.recreational

Notice: We are no longer accepting new posts, but the forums will continue to be readable.

Topic: The # Operation
Replies: 0  

Advanced Search

Back to Topic List Back to Topic List  
Frank J. Lhota

Posts: 31
Registered: 12/13/04
The # Operation
Posted: Apr 20, 2005 9:49 AM
  Click to see the message monospaced in plain text Plain Text   Click to reply to this topic Reply

I recall seeing this problem used as a means of testing software that does
Mathematical deductions. I though it might also make for an entertaining
recreational algebra problem.

We have a set U with a binary operation #. It is not known if # is
commutatve or associative. What is known is that # satifies the following

Axiom 1: For all x, y in U, x # ( x # y ) = x # ( x # x )
Axiom 2: For all x, y, z in U, ( x # y ) # ( y # z )

Give a simple characterization of U and the # operation. Also, if U is a
finite set, what can we say about the cardinality of U?

Point your RSS reader here for a feed of the latest messages in this topic.

[Privacy Policy] [Terms of Use]

© The Math Forum at NCTM 1994-2018. All Rights Reserved.