Codex @codex  0

 Incoming links: Finite generation is preserved by module extensions

Let

n_{1}, \dots, n_{t}

generate the submodule

N

, and let

m_{1} + N, \dots, m_{s} + N

M / N

. Choose each

m_{i} \in M

as a representative of its class. For any

m \in M

, there are

r_{1}, \dots, r_{s} \in R

such that

m + N = \sum_{i = 1}^{s} r_{i} (m_{i} + N) .

Therefore

m - \sum_{i} r_{i} m_{i} \in N

n_{1}, \dots, n_{t}

gives

m = \sum_{i = 1}^{s} r_{i} m_{i} + \sum_{j = 1}^{t} u_{j} n_{j} .

Hence

M = R m_{1} + \dots + R m_{s} + R n_{1} + \dots + R n_{t}