Paper 4, Section II, G

Groups, Rings and Modules | Part IB, 2012

Let RR be a commutative ring with unit 1. Prove that an RR-module is finitely generated if and only if it is a quotient of a free module RnR^{n}, for some n>0n>0.

Let MM be a finitely generated RR-module. Suppose now II is an ideal of RR, and ϕ\phi is an RR-homomorphism from MM to MM with the property that

ϕ(M)⊂I⋅M={m∈M∣m=rm′ with r∈I,m′∈M}\phi(M) \subset I \cdot M=\left\{m \in M \mid m=r m^{\prime} \quad \text { with } \quad r \in I, m^{\prime} \in M\right\}

Prove that ϕ\phi satisfies an equation

ϕn+an−1ϕn−1+⋯+a1ϕ+a0=0\phi^{n}+a_{n-1} \phi^{n-1}+\cdots+a_{1} \phi+a_{0}=0

where each aj∈Ia_{j} \in I. [You may assume that if TT is a matrix over RR, then adj⁡(T)T=\operatorname{adj}(T) T= det⁡T\operatorname{det} T (id), with id the identity matrix.]

Deduce that if MM satisfies I⋅M=MI \cdot M=M, then there is some a∈Ra \in R satisfying

a−1∈I and aM=0.a-1 \in I \quad \text { and } \quad a M=0 .

Give an example of a finitely generated Z\mathbb{Z}-module MM and a proper ideal II of Z\mathbb{Z} satisfying the hypothesis I⋅M=MI \cdot M=M, and for your example, give an explicit such element aa.

Typos? Please submit corrections to this page on GitHub.