# Property: (right/left) principally injective

Definition: (right principally injective) homomorphisms from principal right ideals of the ring into the ring extend to endomorphisms of the ring