En matemáticas, un anillo de Loewy o anillo semiartiniano es un anillo en el que cada módulo distinto de cero tiene un zócalo distinto de cero , o de manera equivalente si se define la longitud de Loewy de cada módulo. Los conceptos llevan el nombre de Alfred Loewy .
La longitud Loewy y la serie Loewy fueron presentadas por Emil Artin , Cecil J. Nesbitt y Robert M. Thrall ( 1944 )
Si M es un módulo, entonces defina la serie de Loewy M α para ordinales α mediante M 0 = 0, M α+1 / M α = zócalo M / M α , M α = ∪ λ<α M λ si α es un límite ordinal. La longitud de Loewy de M se define como la α más pequeña con M = M α , si existe.
es un módulo semiartiniano si, por todo epimorfismo, donde , el zócalo de es esencial en .
Tenga en cuenta que si es un módulo artiniano, entonces es un módulo semiartiniano. Claramente 0 es semiartiniano.
Sean exactos entonces y son semiartinianos si y sólo si es semiartiniano.