Presentation of finite modules with null annihilator - MathOverflow most recent 30 from http://mathoverflow.net2013-06-20T05:33:12Zhttp://mathoverflow.net/feeds/question/68956http://www.creativecommons.org/licenses/by-nc/2.5/rdfhttp://mathoverflow.net/questions/68956/presentation-of-finite-modules-with-null-annihilatorPresentation of finite modules with null annihilatorMahdi Majidi-Zolbanin2011-06-27T18:48:36Z2011-06-27T20:07:54Z
<p>Let $R$ be a noetherian local ring and let $M$ be a finite $R$-module. Assume that the annihilator of $M$ is zero. Consider a minimal presentation of M as follows: $R^n\stackrel{\varphi}{\longrightarrow}R^m\longrightarrow M\longrightarrow0$. Can we conclude that $m>n$, or is it also possible to have $m\leq n$ with all $m\times m$ minors of the presentation matrix $\varphi$ equal to zero?</p>
http://mathoverflow.net/questions/68956/presentation-of-finite-modules-with-null-annihilator/68964#68964Answer by Hailong Dao for Presentation of finite modules with null annihilatorHailong Dao2011-06-27T20:07:54Z2011-06-27T20:07:54Z<p>Graham's comment gave some simple counterexamples. I will show that even if $R$ is nice, say a Gorenstein domain, there will always be a lot of counter-examples. </p>
<p>Let $M$ be a non-free maximal CM module over $R$. Consider a minimal presentation:
$$ 0 \to N \to R^n \to R^m \to M \to 0 $$
If $m\leq n$ we found our counter example. If $m>n$ then dualizing the sequence (note that since $R$ is Gorenstein dualizing preserve exactness), so one gets a sequence:</p>
<p>$$ 0 \to M^* \to R^m \to R^n \to N^* \to 0 $$</p>
<p>hence $N^*$ is a counter-example! </p>