quotient of injective module