Dieudonne

#2.12

Over Noetherian ring, fg modules have all sub modules also fg.

#2.10

a commutative ring is a Noetherian ring if and only if it is a Noetherian

module over itself. 

#2.11

Noetherian module, PID algebra

linearly disjoint

#2.6

Splitting lemma

#2.5

flat morphism of local rings

#2.4

f.f criterion

CA

arX

Abrask

Jannsen