# modern alg

Define $(b) = \{ rb | r\in R\}$. To show $(b)$ is an ideal of $R$ you need to show if $x,y\in (b)$ then $x\pm y \in (b)$, and also that if $r\in R$ then $r(b),(b)r \subseteq (b)$. These should be clear by definition.