Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Group (Associativity of Binary Operators)

  1. Aug 1, 2009 #1
    One of the key elements in being in what people call group is that elements must be associative.

    So this means if we take any three elements from what we propose to be a group, they should be associative,
    a*(b*C) = (a*b)*c

    Suppose we do have a group with elements a, b, c.
    Would the following be true,
    a*(b*C) = (a*b)*c = (c*a)*b
  2. jcsd
  3. Aug 1, 2009 #2


    User Avatar
    Science Advisor
    Homework Helper

    It would be true if and only if c commutes with ab. In that case, you only need associativity in a(bc) = (ab)c = c(ab) = (ca)b.
    However, in general that is not true. Probably your favorite non-abelian group provides an easy counterexample.
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook

Similar Threads - Group Associativity Binary Date
I Lorentz Group Wednesday at 6:29 PM
A Why a Lie Group is closed in GL(n,C)? Feb 12, 2018
How to find the manifold associated with a Lie Group? Nov 13, 2013
Generalized Associative Law for Groups Jan 18, 2013
Non-Associative groups Dec 30, 2008