# Property: prime

Definition: The product of nonzero right ideals is nonzero

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