1. Not finding help here? Sign up for a free 30min tutor trial with Chegg Tutors
    Dismiss Notice
Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

On the properties of non-commutative groups

  1. Aug 20, 2010 #1
    1. The problem statement, all variables and given/known data
    Let [tex] [G,+,0] [/tex] be a non-abelian group with a binary operation [tex] + [/tex] and a zero element [tex] 0 [/tex].

    To prove that if both the zero element and the inverse element act on the same side, then they both act the other way around, that is:
    If [tex] \forall a \in G [/tex],
    [tex] a + 0 = a [/tex],
    and
    [tex] a + (-a) = 0 [/tex],
    then it can be proven that
    [tex] 0 + a = a [/tex]
    and
    [tex](-a)+ a = 0 [/tex].

    2. Relevant equations

    This is not really homework, it is just something that has been bothering me. The doubt in question arises because certain books (like Herstein's Modern Algebra) define groups as structures in which both the inverse and the zero element act on both sides, regardless of if the group is commutative or not. On this subject my linear algebra professor said that having the zero and the inverse act on the same side is equivalent to having them act on both, since the latter can be proven from the former, hence my question.


    3. The attempt at a solution

    I have been trying to do what is stated in section 1, but I only end up concluding tautologies like 0=0 or so.

    Thanks in advance for your help.
    (By the way, I can't get the latex command support thing we have in here do display { and })
    1. The problem statement, all variables and given/known data



    2. Relevant equations



    3. The attempt at a solution
     
  2. jcsd
  3. Aug 21, 2010 #2

    HallsofIvy

    User Avatar
    Staff Emeritus
    Science Advisor

    Latex uses { and } internally to group symbols. To get them to display, use \{ and \}.
     
  4. Aug 25, 2010 #3
    @SrEstroncio
    The existence of inverses, properties of the inverse operation, and the two equations you listed are sufficient to prove what you wanted to prove.
    Remember: [tex]-(a+b)=-b+(-a)[/tex] [tex]\forall a,b \in G[/tex]
     
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook




Similar Discussions: On the properties of non-commutative groups
  1. Commutative matrices (Replies: 9)

  2. Tensor property (Replies: 0)

  3. Property of logarithm (Replies: 3)

Loading...