Kommutativer Ring/Modul/Ideal/Filtration/Definition
Idealfiltration
Zu einem Ideal in einem kommutativen Ring und einem -Modul heißt eine Folge () von -Untermoduln eine -Filtration, wenn die Eigenschaften
- für alle ,
- Es ist für alle ,
erfüllt sind.