Property: (right/left) primitive

Definition: (right primitive) There exists a faithful simple right $R$ module

• passes to $eRe$ for any full idempotent $e$