1
$\begingroup$

Let $R$ be a finitely generated commutative ring and $C$ an $R$-algebra ($C$ is not necessarily commutative). Assume that $C$ is a finitely generated $R$-module.

If $S$ is a simple $C$-module, then is the annihilator $I=Ann_{C}(S)$ of $S$ is of the form $I=\mathfrak{m}C$ for some maximal ideal $\mathfrak{m}$ of $R$?

  • 0
    In case $R=C$ this is true; we have $S\cong R/\mathfrak{m}$ for some maximal ideal $\mathfrak{m}$ of $R$ as $S$ is simple.2012-08-15

1 Answers 1

2

Consider the case $R$ is a field $k$ (a finite field, if you really want it to be finitely generated as a commutative ring, although this plays no role in what follows, as far as I can see).

Then $\mathfrak m$ necessarily equals zero, and so the statement you ask about becomes: if $C$ is a finite dimensional $k$-algebra, and $S$ is a simple $C$-module, then $S$ is faithful (i.e. has trivial annihilator). This is false (you can easily construct counterexamples).

  • 0
    Sorry for my late reply. Now that I have better understanding on this problem. I appreciate your assistance.2012-08-23