Let [tex]A, M[/tex] be a commutative ring and a finitely generated A-module respectively. Let [tex]\phi[/tex] be an A-module endomorphism of M such that [tex]\phi (M)\subseteq \alpha\ M[/tex] where [tex]\alpha[/tex] is an ideal of A. Let [tex]x_1,\dots,x_n[/tex] be the generators of M. Then we know that [tex]\displaystyle{\phi(x_i)=\sum_{j=1}^{n} a_{ij}x_j\ (1\leq i\leq n;\ a_{ij}\in \alpha)}[/tex].(adsbygoogle = window.adsbygoogle || []).push({});

Then the book I have (commutative algebra by atiyah goes on to say) - That means

[tex] \sum_{j=1}^{n} (\delta_{ij}\phi - a_{ij})x_j=0,\ \delta_{ij}[/tex] being the kronecker delta function This is the part I can't understand - how can you separate [tex]\phi[/tex] form it's argument [tex]x_j[/tex]. How can [tex] \phi(x) = \phi\cdot x[/tex]?

**Physics Forums - The Fusion of Science and Community**

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

# Module question

Loading...

Similar Threads - Module question | Date |
---|---|

I Advantages of Vector Spaces over Modules | Aug 4, 2017 |

I Finitely Generated Modules ... another question | Oct 2, 2016 |

(Apparently) simple question rearding module homomorphisms | May 9, 2014 |

A question about modules | Oct 25, 2012 |

Z -module Question | Dec 8, 2008 |

**Physics Forums - The Fusion of Science and Community**