Hopkins–Levitzki theorem

In the branch of abstract algebra called ring theory, the Akizuki–Hopkins–Levitzki theorem connects the descending chain condition and ascending chain condition in modules over semiprimary rings. A ring R (with 1) is called semiprimary if R/J(R) is semisimple and J(R) is a nilpotent ideal, where J(R) denotes the Jacobson radical. The theorem states that if R is a semiprimary ring and M is an R module, the three module conditions Noetherian, Artinian and "has a composition series" are equivalent. Without the semiprimary condition, the only true implication is that if M has a composition series, then M is both Noetherian and Artinian.