associated prime
Let be a ring,and let be an -module.A prime ideal of is an for if , the annihilator
of some nonzero submodule of .
Note that if this is the case, then the module contains , has as its annihilator,and is a faithful (http://planetmath.org/FaithfulModule) -module.
If, in addition, is equal to the annihilator of a submodule of that is a fully faithful (http://planetmath.org/FaithfulModule) -module, then we call an of .