Notices
Results 1 to 3 of 3

Thread: Combining the associative and commutative property into one

  1. #1 Combining the associative and commutative property into one 
    Forum Junior anticorncob28's Avatar
    Join Date
    Jun 2013
    Location
    Nebraska, USA
    Posts
    291
    Can anybody do better than this?
    Say I define a specific type of algebraic structure (I guess, a commutative monoid) with the following axioms:
    1) There exists an identity element in the structure (G) e such that for all a in G, ae = a.
    2) For all a, b, and c in G, (ab)c = b(ac)
    And from only these we can deduce the commutative and associative axioms!
    ab
    = (ab)
    = (ab)e (identity axiom)
    = b(ae) (axiom #2)
    = b(a) (identity axiom)
    = ba
    And thus ab = ba. And now for the associative property,
    (ab)c
    = (ba)c (commutative property)
    = a(bc) (axiom #2)
    Is there any statement that would deduce both the commutative and associative properties without the need of an identity element?


    "A 4 degree Celsius warmer world can, and must be, avoided"
    -Jim Young Kim (World Bank President)
    Reply With Quote  
     

  2.  
     

  3. #2  
    Your Mama! GiantEvil's Avatar
    Join Date
    Apr 2010
    Location
    Vancouver, Wa
    Posts
    2,311
    What about in the case of a non-abelian group? Then you would need the associative axiom without the commutative axiom.


    I was some of the mud that got to sit up and look around.
    Lucky me. Lucky mud.
    -Kurt Vonnegut Jr.-
    Cat's Cradle.
    Reply With Quote  
     

  4. #3  
    Forum Junior anticorncob28's Avatar
    Join Date
    Jun 2013
    Location
    Nebraska, USA
    Posts
    291
    What about in the case of a non-abelian group? Then you would need the associative axiom without the commutative axiom.
    The special axiom that (ab)c = b(ac) is not meant to replace the associative axiom or the commutative axiom, but both if they are in fact both true. The special thing about both being true is that you can arrange the terms and parenthesis any way you like and this makes things so much easier.
    They always say that when constructing a system (such as the system of real numbers with addition and multiplication), assume as little as possible.
    "A 4 degree Celsius warmer world can, and must be, avoided"
    -Jim Young Kim (World Bank President)
    Reply With Quote  
     

Similar Threads

  1. Fully Associative Mapping Strategy
    By pas in forum Computer Science
    Replies: 1
    Last Post: April 7th, 2011, 11:56 PM
  2. Combining probabilities
    By esbo in forum Mathematics
    Replies: 24
    Last Post: July 25th, 2009, 07:02 PM
  3. Combining Hydrogen with Oxygen
    By miomaz in forum Chemistry
    Replies: 10
    Last Post: February 14th, 2008, 07:41 AM
  4. Associative access to information (chaos theory)
    By Parsegov in forum Mathematics
    Replies: 0
    Last Post: March 7th, 2007, 03:35 AM
Bookmarks
Bookmarks
Posting Permissions
  • You may not post new threads
  • You may not post replies
  • You may not post attachments
  • You may not edit your posts
  •