|
|
| Line 1: |
Line 1: |
| In algebra, the '''support''' of a [[module (mathematics)|module]] ''M'' over a commutative ring ''A'' is the set of all [[prime ideal]]s <math>\mathfrak{p}</math> of ''A'' such that <math>M_\mathfrak{p} \ne 0</math>.<ref>EGA 0<sub>I</sub>, 1.7.1.</ref> It is denoted by <math>\operatorname{Supp}(M)</math>. In particular, <math>M = 0</math> if and only if its support is empty.
| | Nothing to write about me at all.<br>Finally a part of wmflabs.org.<br>I really hope Im useful at all<br><br>Also visit my web blog: [http://topne.ws/WordpressBackup74990 wordpress backup plugin] |
| | |
| * If <math>0 \to M' \to M \to M'' \to 0</math> be an exact sequence of ''A''-modules. Then
| |
| *:<math>\operatorname{Supp}(M) = \operatorname{Supp}(M') \cup \operatorname{Supp}(M'').</math>
| |
| * If <math>M</math> is a sum of submodules <math>M_\lambda</math>, then <math>\operatorname{Supp}(M) = \bigcup_\lambda \operatorname{Supp}(M_\lambda).</math>
| |
| * If <math>M</math> is a finitely generated ''A''-module, then <math>\operatorname{Supp}(M)</math> is the set of all prime ideals containing the [[Annihilator (ring theory)|annihilator]] of ''M''. In particular, it is closed.
| |
| *If <math>M, N</math> are finitely generated ''A''-modules, then
| |
| *:<math>\operatorname{Supp}(M \otimes_A N) = \operatorname{Supp}(M) \cap \operatorname{Supp}(N).</math>
| |
| *If <math>M</math> is a finitely generated ''A''-module and ''I'' is an ideal of ''A'', then <math>\operatorname{Supp}(M/IM)</math> is the set of all prime ideals containing <math>I + \operatorname{Ann}(M).</math> This is <math>V(I)\cap \operatorname{Supp}(M)</math>.
| |
| | |
| ==See also==
| |
| *[[Associated prime]]
| |
| | |
| == References ==
| |
| {{reflist}}
| |
| *{{EGA|book=I}}
| |
| | |
| {{algebra-stub}}
| |
| | |
| [[Category:Module theory]]
| |
Revision as of 20:06, 11 February 2014
Nothing to write about me at all.
Finally a part of wmflabs.org.
I really hope Im useful at all
Also visit my web blog: wordpress backup plugin