Semi-Artinian ring