Statement one is false. Consider the ring of integers, and the ideal the set of even integers.

If you add and odd integer to and even integer you get an odd integer, so it is not back in the ideal.

IV is absolutely true. That is one of the defining characteristics of an ideal.

V. Ideals are subgroups under the addition operation so that must be true as well.