Kommutative Ringtheorie/Positive Charakteristik/F-endlich/Definition

F-endlicher Ring

Ein noetherscher kommutativer Ring ${}R$ heißt ${}F$-endlich, wenn der ${}R$-Modul ${}\,^{1}R$ ein endlich erzeugter ${}R$-Modul ist.