Property: top simple Artinian

Definition: $R/J(R)$ simple Artinian