Given a semigroup $(R^1,.)$ does there exist a ring say $(R,+,.)$ such that the semigroup $(R,.)$ is same as $(R^1,.)$.
My professor said take $R^1=\{7\}$ and define $7. 7=7$.
Then the above proposition fails.There does not exist any ring $(R,+,.)$ such that the semigroup $(R,.)$ is same as $(R^1,.)$.
How is it true? I don't get his point.
Is it correct?
Take $R=\{7\}$
Define $7\oplus 7=7$.
Now note that $(R,\oplus)$ is a group (why?)
Obviously it is closed .
The identity element is $7$ and so is the inverse element.
Note the distributive laws
$7. (7\oplus 7)=7.7\oplus 7.7 $ also hold
Hence $(R,\oplus ,.)$ is the required ring.