Generating system for $R$-module $M$ still generating $\mathfrak aM$?

99 Views Asked by At

Let $M$ be a module over a commutative ring $R$ with unity and $\mathfrak a$ an ideal in $R$. Let $m_1, ..., m_n \in M$ be a generating system for $M$ and $z \in\mathfrak a M$. Then there are $a_1, ..., a_n \in\mathfrak a$ with $a_1 m_1 + \cdots + a_n m_n = z$.

I do not see why this statement is true. We know that there are $r_1, ..., r_n \in R$ with $r_1 m_1 + ... + r_n m_n =z$, but can we find coefficients in $\mathfrak a$ as well?

2

There are 2 best solutions below

0
On BEST ANSWER

By definition of $\,\mathfrak a M$, there exist elements $\alpha_1,\dots,\alpha_r\in\mathfrak a$, $\;x_1,\dots,x_r\in M$, such that $$z=\alpha_1x_1+\dots+\alpha_rx_r.$$ Now, each $x_i$ can be written as $\;x_i=\sum_{j=1}^nc_{ij}m_j$, whence \begin{align*}z&=\alpha_1(c_{11}m_1+\dots+c_{1n}m_n)+\dots+\alpha_r(c_{r1}m_1+\dots+c_{rn}m_n)\\ &=(\alpha_1c_{11}m_1+\dots+\alpha_rc_{r1})m_1+\dots+(\alpha_1c_{1n}+\dots+\alpha_rc_{rn})m_n, \end{align*} and each $\;\alpha_1c_{1i}m_1+\dots+\alpha_rc_{ri}\in\mathfrak a $.

0
On

$z\in \mathfrak aM$ is equivalent to saying that $z=\sum_{i=1}^l u_iv_i$ where $u_i\in\mathfrak a$ and $v_i\in M$. Write $v_i=\sum_{j=1}^n r_{ij}m_j$. We have $$z=\sum_iu_i\sum_jr_{ij}m_j=(u_1r_{11}+\dots+u_lr_{l1})m_1+\dots+(u_1r_{1n}+\dots+u_lr_{ln})m_l.$$

Since $\mathfrak a$ is an ideal, $\sum_iu_ir_{ij}\in\mathfrak a$.