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

Semigroup partitions and Identity element

  1. Jul 1, 2009 #1
    If I have a semigroup S, is it possible to partition the set of element S into two semigroups [tex]S_1[/tex] and [tex]S_2[/tex] (with [tex]S_1 \cap S_2 = 0[/tex]), in such a way that [tex]S_1[/tex] has an identity element but [tex]S_2[/tex] has none?
  2. jcsd
  3. Jul 1, 2009 #2


    User Avatar
    Science Advisor

    If the orginal semigroup has an identity, yes! If your semigroup has an identity, but no element has an inverse, then taking S1 to be the identity only, S2 all other elements, works.
  4. Jul 1, 2009 #3
    I should have been more specific:

    - The semigroup S has no identity (it just satisfies associativity and closure)
    - I want to partition S into [tex]S_1[/tex] and [tex]S_2[/tex] such that:
    - [tex]S_1[/tex] is a subsemigroup and has a right-identity for itself
    - [tex]S_2[/tex] is a subsemigroup but does not have any identity element

    Is this situation possible at all?
  5. Jul 1, 2009 #4
    If I worked out my proof correctly, then under those conditions, if [tex]S_1[/tex] had a right-identity, then [tex]S_2[/tex] must have at least a left-identity.

    I based my proof on the observation: [tex]ab = (a1)b = a(1b)[/tex], with [tex]a\in S_1[/tex], [tex]b\in S_2[/tex]

    I'd like to be confirmed to be right anyways.
Share this great discussion with others via Reddit, Google+, Twitter, or Facebook