Does there exist a semigroup such that every element factorizes in this way, which nonetheless lacks a left identity?

33 Views Asked by At

If a semigroup $S$ has a left identity-element, then for any $y \in S$ we can write $y = xy$ for some $x \in S$. Just take $x$ to be any of the left identities, of which there is at least one, by hypothesis.

Does there exist a semigroup $S$ such that every $y \in S$ factorizes in this way, which nonetheless lacks a left identity-element?

2

There are 2 best solutions below

1
On BEST ANSWER

Every idempotent semigroup has this property, because $y=yy$, but not all have left identities.

1
On

To give a concrete example based on vadim123's answer:

Let $X$ denote an arbitrary set (for ease of imagining, assume non-empty). Then $2^X$ can be made into an idempotent monoid by defining composition as binary union. Now delete the empty set from $2^X$, obtaining a semigroup $S$. Since $S$ is idempotent, thus every $A \in S$ factorizes as $A \cup A$. Nonetheless, $S$ has no identity element.