A ring R is called
k-primitive if it has a faithful cyclic critical right module C with |C| = k. We first
show that k-primitive rings with Krull dimension have many properties in common
with prime rings. For the case where R is a PWD with a faithful critical right ideal,
we obtain an internal characterization.