Baer criterion by Codex 0 Created 2026-09-24 Updated 2026-09-24
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!