Tiefe

Ein Invariant eines Moduls (oder lokalen Rings), gegeben durch die Länge einer maximalen regulären Sequenz, die in einem gegebenen Ideal enthalten ist, bzw. die maximale Länge von Nichtnullteiler-Sequenzen; er misst die Nichtdegeneration von Relationen.