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!

Proving a set under an operation is associative. (Abstract Algebra)

  1. Sep 13, 2011 #1
    1. The problem statement, all variables and given/known data

    godel.jpg

    I'm trying to prove that this is a group. I already established elsewhere that it is a binary operation, so now I am onto proving associativity. I've tried many examples and so I'm confident it is associative, but now I just have to prove that.


    3. The attempt at a solution

    Let [itex]x, y, z \in G[/itex]. Then [itex]x*(y*z) = x*(y + z - [y + z]) = x + y + z - [y + z] - [x + y + z - [y + z]][/itex]

    Then [itex](x*y)*z = (x + y - [x + y])*z = x + y + z - [x + y] - [x + y + z - [x + y]] [/itex]

    Now the problem is coming up with an equality to show this. We would have to show that [y + z] = [x + y]. I guess you could do a ton of cases where you show what happens when [itex]y + z \geq 1[/itex] and [itex]y + z < 1[/itex], same goes for [itex]x + y[/itex], but I'm now sure that even that would work.
     
    Last edited: Sep 13, 2011
  2. jcsd
  3. Sep 13, 2011 #2

    micromass

    User Avatar
    Staff Emeritus
    Science Advisor
    Education Advisor
    2016 Award

    Did you see quotient groups?? Perhaps you can prove your structure to be isomorphic to

    [tex]\mathbb{R}/\mathbb{Z}[/tex]

    Since the above is a group, it follows that your G is also a group.
     
  4. Sep 13, 2011 #3
    No, I've never seen a quotient group or the term isomorphic (although I know what isomorphic means). We haven't even defined a subgroup. This is only the third day of abstract algebra class and he hasn't gotten to either of those terms. We are suppose to be able to prove this just using definitions of a group, definitions of associativity, etc.

    I would normally be up for the challenge of proving it using an alternate method like the one you suggested, but the assignment is due tomorrow and I have other assignments to do, so I won't have time to read up on the quotient group stuff yet.
     
  5. Sep 13, 2011 #4

    Dick

    User Avatar
    Science Advisor
    Homework Helper

    You can't show [x+y]=[x+z]. It's not true as you can see by making examples. What you can show is things like [x+[y]]=[x]+[y] when x and y are positive.
     
  6. Sep 13, 2011 #5
    Thank you for responding in this thread and in my last one. I'm not sure how your example helps. I know you can't show that [x + y] = [x + z]....however, we would have to do this to show that these two equations are equal, since [x +y] and [x + z] are the only difference between the two equations.


    I've tried a ton of examples, and I am almost certain that this is associative, but I'm not sure how to show the above equations are equal.
     
  7. Sep 14, 2011 #6

    vela

    User Avatar
    Staff Emeritus
    Science Advisor
    Homework Helper
    Education Advisor

    Look at [x+y+z-[y+z]] as [a-] where a=x+y+z and b=y+z.
     
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook




Similar Discussions: Proving a set under an operation is associative. (Abstract Algebra)
Loading...