Kommutativer Ring/Modul/Ideal/Filtration/Definition

Aus Wikiversity
Zur Navigation springen Zur Suche springen
Idealfiltration

Zu einem Ideal in einem kommutativen Ring und einem -Modul heißt eine Folge () von -Untermoduln eine -Filtration, wenn die Eigenschaften

  1. für alle ,
  2. Es ist für alle ,

erfüllt sind.