Semiperfekter Ring
# Semiperfekter Ring

Ein semiperfekter Ring im mathematischen Teilgebiet der Algebra ist ein Ring, über dem jeder endlich erzeugte Linksmodul eine projektive Decke hat. Der Begriff wurde 1959/60 von Hyman Bass eingeführt.

## Definition

Im Folgenden sei R ein Ring mit 1, J=J(R) das Jacobson-Radikal.

Ein Ring R heißt semiperfekt, wenn er eine der folgenden äquivalenten Eigenschaften besitzt:

* Jeder einfache R-Links-/Rechtsmodul hat eine projektive Decke.
* Jeder endlich erzeugte R-Links-/Rechtsmodul hat eine projektive Decke.
* R/J ist halbeinfach, und jedes Idempotent von R/J lässt sich zu R heben.
* Es existiert eine Zerlegung $1=\sum _{i=1}^{n}e_{i}$ mit paarweise orthogonalen, lokalen Idempotenten $e_{1},\dots ,e_{n}$.

## Eigenschaften

* Alle linksartinschen und alle rechtsartinschen Ringe sind semiperfekt.
* Jeder lokale Ring ist semiperfekt.
* Ein kommutativer Ring R ist genau dann semiperfekt, wenn R eine endliche direkte Summe von lokalen Ringen ist.
* Ist R semiperfekt und I ein Ideal von R, dann ist auch der Faktorring R/I semiperfekt.
* Ist R semiperfekt und $e\in R$ ein Idempotent, dann ist auch eRe semiperfekt.
