Definition:Injective Module

Definition
Let $R$ be a ring with unity.

A left $R$-module is injective if it is an injective object in the category of left $R$-modules.