- The set $S(X,X)$ of all mappings of a set $X$ to itself with the composition of mappings in the role of multiplication, where $|X|>1$. Why is not it a group?
- Let $X$ be a nonempty set. Then the idempotents of the semigroup $S(X,X)$ of all mappings of $X$ to itself are precisely the mappings $f: X \to X$ satisfying the condition $f(x)=x$ for every $x \in f(X)$. An element $x$ of a semigoup is callled an idemotent if $xx=x$. My question is this: Here why $f(x)=x$ for any $x\in f(X)$?
Thanks a Lot!