On injective modules