Results 1 to 9 of 9

Math Help - [SOLVED] Abstract algebra semigroup question

  1. #1
    Super Member Matt Westwood's Avatar
    Joined
    Jul 2008
    From
    Reading, UK
    Posts
    824
    Thanks
    33

    [SOLVED] Abstract algebra semigroup question

    Let \left({S, \circ}\right) be a semigroup.

    Let u \in S be such that:

    \forall a \in S: \exists x, y \in S: u \circ x = a = y \circ u

    Prove that \left({S, \circ}\right) has an identity element.
    Follow Math Help Forum on Facebook and Google+

  2. #2
    MHF Contributor kalagota's Avatar
    Joined
    Oct 2007
    From
    Taguig City, Philippines
    Posts
    1,026
    i think, you can work on with this..

    since u \in S, \exists \, x,y \, \in S such that u \circ x = u = y \circ u
    Follow Math Help Forum on Facebook and Google+

  3. #3
    Newbie
    Joined
    Apr 2008
    Posts
    4

    Talking im sorry but

    hi everybody,
    actually this questions has got nothing to do with the above quetsion, which is above all my understandung, by the way..
    but im new here so i kinda dont no how to deal with this forum example where to post my questions and where to go to may be help someone.. can any one help?
    Follow Math Help Forum on Facebook and Google+

  4. #4
    MHF Contributor kalagota's Avatar
    Joined
    Oct 2007
    From
    Taguig City, Philippines
    Posts
    1,026
    Quote Originally Posted by Zara View Post
    hi everybody,
    actually this questions has got nothing to do with the above quetsion, which is above all my understandung, by the way..
    but im new here so i kinda dont no how to deal with this forum example where to post my questions and where to go to may be help someone.. can any one help?
    if you don't know where to put your question, go to Urgent Homeworks folder and click New Thread to post your things.. the mods will put them in their proper places.. however, if you know that it belongs to calculus, algebra whatsoever, then find the folder and post your questions there.

    many helpful friends will read it and help you do it..

    EDIT: i think you already know what to do..
    Follow Math Help Forum on Facebook and Google+

  5. #5
    Newbie
    Joined
    Apr 2008
    Posts
    4
    thanks a lot!!!!!!!!!!!!!!!!!!!!!!
    and how can i help?like, how do i come to those questions that havent been answered?
    Follow Math Help Forum on Facebook and Google+

  6. #6
    MHF Contributor kalagota's Avatar
    Joined
    Oct 2007
    From
    Taguig City, Philippines
    Posts
    1,026
    sorry mods for being off-topic..
    Quote Originally Posted by Zara View Post
    thanks a lot!!!!!!!!!!!!!!!!!!!!!!
    and how can i help?like, how do i come to those questions that havent been answered?

    just read them, and if you can do them, reply with your partial, i mean partial, solutions.
    Follow Math Help Forum on Facebook and Google+

  7. #7
    Super Member Matt Westwood's Avatar
    Joined
    Jul 2008
    From
    Reading, UK
    Posts
    824
    Thanks
    33
    Thanks Kalagota - I've got that far but haven't got further.

    I think I can establish that if there's an identity element then it needs to be u.

    I think that if I can then establish that both x and y need to be equal to a then the job is done.

    I haven't been able to rule out the possibility that x and y need not be equal to a.

    And I can get no further.
    Last edited by Matt Westwood; July 7th 2008 at 10:16 AM.
    Follow Math Help Forum on Facebook and Google+

  8. #8
    Senior Member JaneBennet's Avatar
    Joined
    Dec 2007
    Posts
    293
    Quote Originally Posted by Matt Westwood View Post
    Let \left({S, \circ}\right) be a semigroup.

    Let u \in S be such that:

    \forall a \in S: \exists x, y \in S: u \circ x = a = y \circ u

    Prove that \left({S, \circ}\right) has an identity element.
    If \forall\, a \in S,\ \exists\,x, y \in S: u \circ x = a = y \circ u, then since u\in S, we have that \exists\,v,w\in S such that u\circ v=u=w\circ u.

    Let a be any element in S. Then there are x,y\in S with u\circ x=a=y\circ u.

    a=u\circ x\ \Rightarrow\ w\circ a=w\circ u\circ x=u\circ x=a

    a=y\circ u \Rightarrow\ a\circ v = y\circ u\circ v = y\circ u = a

    Hence w\circ a = a\;\ldots\;\fbox{1} and a\circ v = a\;\ldots\;\fbox{2} for any a\in S. In particular, letting a=v in \fbox{1} gives w\circ v=v and letting a=w in \fbox{2} gives w\circ v = w.

    Thus v=w\circ v=w is the identity element in S.
    Follow Math Help Forum on Facebook and Google+

  9. #9
    Super Member Matt Westwood's Avatar
    Joined
    Jul 2008
    From
    Reading, UK
    Posts
    824
    Thanks
    33
    That was so elegant. Much indebted.
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. [SOLVED] Abstract Algebra Problem
    Posted in the Advanced Algebra Forum
    Replies: 1
    Last Post: November 23rd 2008, 10:56 AM
  2. [SOLVED] Abstract Algebra: Homomorphisms
    Posted in the Advanced Algebra Forum
    Replies: 4
    Last Post: March 16th 2008, 08:57 AM
  3. [SOLVED] Abstract Algebra: Integers Modulo n
    Posted in the Advanced Algebra Forum
    Replies: 2
    Last Post: February 16th 2008, 05:16 PM
  4. [SOLVED] Abstract Algebra: Integers Modulo n 2
    Posted in the Advanced Algebra Forum
    Replies: 2
    Last Post: February 16th 2008, 02:48 PM
  5. Replies: 2
    Last Post: February 16th 2008, 02:30 PM

Search Tags


/mathhelpforum @mathhelpforum