Baer criterion (source code)

= Baer criterion
{c}
{wiki=Baer's_criterion}

A left $R$-module is injective exactly when every homomorphism from a left ideal of $R$ extends to a homomorphism from $R$.