Hopkins–Levitzki theorem

In abstract algebra, in particular 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. The theorem takes its current form from a paper by Charles Hopkins and a paper by Jacob Levitzki, both in 1939. For this reason it is often cited as the Hopkins–Levitzki theorem. However Yasuo Akizuki is sometimes included since he proved the result for commutative rings a few years earlier, in 1935. Since it is known that right Artinian rings are semiprimary, a direct corollary of the theorem is: a right Artinian ring is also right Noetherian. The analogous statement for left Artinian rings holds as well. This is not true in general for Artinian modules, because there are examples of Artinian modules which are not Noetherian. Another direct corollary is that if R is right Artinian, then R is left Artinian if and only if it is left Noetherian. Here is the proof of the following: Let R be a semiprimary ring and M a left R-module. If M is either Artinian or Noetherian, then M has a composition series. (The converse of this is true over any ring.) Let J be the radical of R. Set . The R-module may then be viewed as an -module because J is contained in the annihilator of . Each is a semisimple -module, because is a semisimple ring. Furthermore, since J is nilpotent, only finitely many of the are nonzero. If M is Artinian (or Noetherian), then has a finite composition series. Stacking the composition series from the end to end, we obtain a composition series for M. Several generalizations and extensions of the theorem exist.

About this result

This page is automatically generated and may contain information that is not correct, complete, up-to-date, or relevant to your search query. The same applies to every other page on this website. Please make sure to verify the information with EPFL's official sources.

Related concepts (4)

Related courses (1)

Related lectures (1)

Glossary of ring theory

Ring theory is the branch of mathematics in which rings are studied: that is, structures supporting both an addition and a multiplication operation. This is a glossary of some terms of the subject. For the items in commutative algebra (the theory of commutative rings), see glossary of commutative algebra. For ring-theoretic concepts in the language of modules, see also Glossary of module theory. For specific types of algebras, see also: Glossary of field theory and Glossary of Lie groups and Lie algebras.

Morita equivalence

In abstract algebra, Morita equivalence is a relationship defined between rings that preserves many ring-theoretic properties. More precisely two rings like R, S are Morita equivalent (denoted by ) if their are equivalent (denoted by ). It is named after Japanese mathematician Kiiti Morita who defined equivalence and a similar notion of duality in 1958. Rings are commonly studied in terms of their modules, as modules can be viewed as representations of rings.

Semisimple module

In mathematics, especially in the area of abstract algebra known as module theory, a semisimple module or completely reducible module is a type of module that can be understood easily from its parts. A ring that is a semisimple module over itself is known as an Artinian semisimple ring. Some important rings, such as group rings of finite groups over fields of characteristic zero, are semisimple rings. An Artinian ring is initially understood via its largest semisimple quotient.

Rings and Modules: Lecture 1 MATH-311: Algebra IV - rings and modules

Covers rings, modules, exact sequences, and finitely generated modules in the context of Noetherian and Artinian properties.

MATH-311: Algebra IV - rings and modules

Ring and module theory with a major emphasis on commutative algebra and a minor emphasis on homological algebra.