I'm reading Dummit's book. (Abstract Algebra, 3ed, p224) Now I want to prove the following. Suppose $R$ is a ring with 1. Then, $|R|=1$($R$ is a trivial ring, [or the zero ring in the book]) if and only if $1=0$.
$(\Rightarrow)$ : Since $0\in R$, $1\in R$ and $|R|=1$, it is immediate that $1=0$.
$(\Leftarrow)$ : Suppose that $a\in R$. Then $a=a\cdot1=a\cdot0\stackrel{(*)}=0$. Thus $R=\{0\}$.
But how can I justify $(*)$? Does that follow immediately from the definition of a ring with unity?
Or, is there another proof for $(\Leftarrow)$?