Is it right to say: A finite semigroup always contains an idempotent element?

260 Views Asked by At

Is there a theorem which says: If an operation on a set is associative then the set contains idempotent?

1

There are 1 best solutions below

2
On

Let $\Bbb N$ be the free semi-group on one generator.