erblicher Ring

In der Mathematik liefert die Länge einer projektiven Auflösung eines Moduls über einem Ring in einem gewissen Sinne ein Maß dafür, wie „kompliziert“ der Modul ist. Ein Ring heißt erblich, wenn jeder Untermodul eines projektiven -Moduls projektiv ist. Das heißt, jede minimale projektive Auflösung eines Moduls stoppt bereits nach zwei Schritten. Bei nicht-kommutativen Ringen unterscheidet man zwischen Links- und Rechtserblichkeit: Ein Ring heißt links-erblich, wenn jeder Untermodul eines projektiven -Linksmoduls projektiv ist. Entsprechend heißt ein Ring rechts-erblich, wenn jeder Untermodul eines projektiven -Rechtsmoduls projektiv ist. Es gibt Ringe, die links- aber nicht rechts-erblich sind, und umgekehrt (s. u.).