Loewy ring

From HandWiki - Reading time: 2 min


In mathematics, a Loewy ring or semi-Artinian ring is a ring in which every non-zero module has a non-zero socle, or equivalently if the Loewy length of every module is defined. The concepts are named after Alfred Loewy.

Loewy length

The Loewy length and Loewy series were introduced by Emil Artin, Cecil J. Nesbitt, and Robert M. Thrall (1944).

If M is a module, then define the Loewy series Mα for ordinals α by M0 = 0, Mα+1/Mα = socle(M/Mα), and Mα = ∪λ<α Mλ if α is a limit ordinal. The Loewy length of M is defined to be the smallest α with M = Mα, if it exists.

Semiartinian modules

RM is a semiartinian module if, for all epimorphisms MN, where N0, the socle of N is essential in N.

Note that if RM is an artinian module then RM is a semiartinian module. Clearly 0 is semiartinian.

If 0MMM0 is exact then M and M are semiartinian if and only if M is semiartinian.

If {Mi}iI is a family of R-modules, then iIMi is semiartinian if and only if Mj is semiartinian for all jI.

Semiartinian rings

R is called left semiartinian if RR is semiartinian, that is, R is left semiartinian if for any left ideal I, R/I contains a simple submodule.

Note that R left semiartinian does not imply that R is left artinian.

References




Licensed under CC BY-SA 3.0 | Source: https://handwiki.org/wiki/Loewy_ring
14 views |
↧ Download this article as ZWI file
Encyclosphere.org EncycloReader is supported by the EncyclosphereKSF