Answer to Question #17830 in Algebra for Melvin Henriksen

Question

Let R be any ring whose additive group is torsion-free. Show that J = rad R[t] is nonzero implies that R ∩ J is nonzero.