Let the $G$ is a abelian group and $R$ is a commutative Ring
Say subgroup $H (\le G)$ and subring $S(\le R)$
It is trivial that H is the normal subgroup of the G
But Does S the ideal of the R? (I couldn't find any examples.)
If not, what condition we need that S is a ideal of the R?
Hint: $\mathbb{Z}$ is a subring of $\mathbb{Q}$ but not an ideal.