This criterion characterizes an injective module using extension from ideals. A left -module is injective exactly when every homomorphism from a left ideal of extends to a homomorphism from .
New to topics? Read the docs here!
New to topics? Read the docs here!