# When does a faithful module have an element with zero annihilator?

Let $M$ be a finitely generated module over a commutative ring $R$ with the property that $\operatorname{Ann}_R x\ne 0$ for all $x \in M$. When $\operatorname{Ann}_R M\ne0$?

The simplest case is $R$ an integral domain. But what about $R$ (local) artinian, or noetherian? (In the counterexample I gave to the linked question $R$ is a commutative ring which is not noetherian.)

• The question is nice but the title is quite misleading. It should be something such as "When does a faithful module have an element with zero annihilator?" – YCor Mar 19 '15 at 22:29
• "linearly independent elements" is quite misleading because it usually means "elements that are linearly independent with each other", which is not what you mean... – YCor Mar 19 '15 at 23:38

Over a noetherian ring:

1) the answer is no in general, even for local artinian rings: Let $R$ be the ring given as a $K$-linear space with basis $(1,t_1,t_2)$ and $t_1t_2=0$, it is local artinian if $K$ is a field. Let $M$ be the free $K$-module with basis $(e_1,e_2,f)$; make it an $R$-module by setting $t_ie_i=f$, $t_ie_j=0$ for $i\neq j$, $t_if=0$.

It is faithful because if $\alpha+\alpha_1t_1+\alpha_2t_2$ is in the annihilator, evaluation on $f$ yields $\alpha=0$, then on $e_i$ yields $\alpha_i=0$.

But every element has a nontrivial annihilator: an element $a_1e_1+a_2e_2+bf$ is killed by $a_2t_1-a_1t_2$ which is nonzero if $(a_1,a_2)\neq (0,0)$, and $bf$ is killed by $t_1$.

There are many more examples using large abelian subspaces of nilpotent matrices, for instance, using matrices in the upper right block (say over a field) of $2n\times 2n$-matrices, we obtain a $K$-algebra of dimension $n^2+1$ and a faithful $2n$-dimensional module (with dimension in the sense of linear algebra), hence it's to small to contain free submodules of rank 1 as soon as $n\ge 2$.

2)(edit!) the answer is yes if $R$ is an arbitrary domain.

Indeed, let $M$ be a finitely generated $R$-module such that each element has a nonzero annihilator. Using generators, we can write $M$ as a quotient of $\bigoplus_{j=1}^d R/I_j$ for some nonzero ideals $I_j$ (the annihilators of the $d$ generators). Since $R$ is a domain, $I=I_1\dots I_d\neq 0$; since $I$ annihilates $M$ we deduce that $M$ has a nonzero annihilator.

• I've made it clear in my question that all domains satisfy the requirement. – user26857 Mar 20 '15 at 12:27
• You asked several questions. I did't claim I answered all of them and since I give a negative answer in the noetherian case, it was natural to add the easy argument that it works in the case of noetherian domains. – YCor Mar 20 '15 at 13:48
• ... but finally it works in the general case of domains, so I edited. – YCor Mar 20 '15 at 13:59