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

Homework Help: Prove a semigroup is a group

  1. Sep 15, 2010 #1
    1. The problem statement, all variables and given/known data
    Prove, that a senigruop S is a group if and only if for every x in S there exists a unique x' in S so that xx'x=x.

    2. Relevant equations

    3. The attempt at a solution
    I am trying to prove that xx'=1S for all x in S. But all I can show is that xx' is in ES={x | x^2=x} for every x in S. I am having a lot of troubles proving xx'=yy' and I can't even prove that 1S si in S. Am I going in the right direction?
  2. jcsd
Share this great discussion with others via Reddit, Google+, Twitter, or Facebook

Can you offer guidance or do you also need help?
Draft saved Draft deleted