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

Algebraic Operation Identity

  1. Mar 23, 2012 #1
    When we talk about an abstract binary operation *:SxS --> S

    We say that an identity element "e" exists when e * x = x * e = x, (x; e belong to S)

    Now my questions:

    1) If the operation is not commutative, does not this imply no identity? since e * x != x * e necessarily?

    2) Does e * x = x imply x * e = x? And if one side is true, can we still say that * has an identity restricted to one side?

    3) Is there cases where not all x's of the set S have the same identity wrt operation *?

    These questions are regardless of any kind of algebraic structure.

    Thanks.
     
  2. jcsd
  3. Mar 23, 2012 #2

    micromass

    User Avatar
    Staff Emeritus
    Science Advisor
    Education Advisor
    2016 Award

    We DEMAND that e*x=x*e. If it is not true, then e can not be an identity.
    If the operation is commutative, then asking that e*x=x*e is unnecessary. So it is only interesting for noncommutative operations.

    When e is an identity, we DEMAND that both e*x=x and x*e=x are true. If it is not true, then e is not an identity.
    However, if the structure is commutative, then one equality implies the other. So demanding that both equalities hold is only interesting for noncommutative operations.

    No. An identity must be one for ALL elements. That is, for ALL x it must be that e*x=x*e=x.
    If it is only true for one x, then e is not an identity.
     
  4. Mar 23, 2012 #3
    Thank you very much. This clarified things to me.
     
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook




Similar Discussions: Algebraic Operation Identity
  1. Operator Algebra (Replies: 1)

Loading...