The assertion is true. This is the Artinian commutative ring is Noetherian theorem. One proof uses the nilpotent nilradical of an Artinian ring . The quotient is a finite product of fields. Each quotient is an Artinian module over the semisimple ring , hence has finite length and is Noetherian. The finite filtrationthen makes a Noetherian module over itself, which is exactly the ascending chain condition on its ideals.