Results 1 to 4 of 4

Math Help - Unique identity

  1. #1
    Senior Member
    Joined
    Oct 2008
    Posts
    393

    Unique identity

    Suppose that * is a binary operation on a non-empty set S. Show that if (*,S) contains an identity e then e is unique.

    Is this right?

    e1 * x = x * e1 = x

    x = e2

    e1 * e2 = e2 * e1 = e2

    then do for e2

    e2 * x = x * e2 = x

    x = e1

    e2 * e1 = e1 * e2 = e1
    Follow Math Help Forum on Facebook and Google+

  2. #2
    MHF Contributor

    Joined
    Apr 2005
    Posts
    15,326
    Thanks
    1298
    Quote Originally Posted by adam_leeds View Post
    Suppose that * is a binary operation on a non-empty set S. Show that if (*,S) contains an identity e then e is unique.

    Is this right?

    e1 * x = x * e1 = x

    x = e2

    e1 * e2 = e2 * e1 = e2

    then do for e2

    e2 * x = x * e2 = x

    x = e1

    e2 * e1 = e1 * e2 = e1
    I would say "let x= e2" and "let x= e1" (so a reader won't think you are saying that a previously defined x is equal to e2) but other than that, this is fine.
    Follow Math Help Forum on Facebook and Google+

  3. #3
    Senior Member
    Joined
    Oct 2008
    Posts
    393
    Quote Originally Posted by HallsofIvy View Post
    I would say "let x= e2" and "let x= e1" (so a reader won't think you are saying that a previously defined x is equal to e2) but other than that, this is fine.
    thanks, this site is brilliant.

    Ill contribute after my exams are over and done with
    Follow Math Help Forum on Facebook and Google+

  4. #4
    MHF Contributor Drexel28's Avatar
    Joined
    Nov 2009
    From
    Berkeley, California
    Posts
    4,563
    Thanks
    21
    I think a tad shorter is to note that e=ee'=e'.
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Is a Basis unique?
    Posted in the Advanced Algebra Forum
    Replies: 5
    Last Post: May 14th 2011, 01:09 PM
  2. unique solution
    Posted in the Algebra Forum
    Replies: 6
    Last Post: June 29th 2010, 01:10 PM
  3. unique subgroups
    Posted in the Advanced Algebra Forum
    Replies: 1
    Last Post: October 18th 2008, 06:59 PM
  4. Unique factorization
    Posted in the Number Theory Forum
    Replies: 8
    Last Post: November 2nd 2006, 09:22 AM
  5. [SOLVED] Create Unique ID
    Posted in the Advanced Statistics Forum
    Replies: 1
    Last Post: May 31st 2005, 07:21 AM

Search Tags


/mathhelpforum @mathhelpforum