Finite number of minimal ideals - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-20T22:06:57Z http://mathoverflow.net/feeds/question/26155 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/26155/finite-number-of-minimal-ideals Finite number of minimal ideals ashpool 2010-05-27T14:40:58Z 2010-06-29T00:01:10Z <p>What is the necessary condition on a ring that guarantees the number of minimal non-zero ideals to be finite? Neither Noetherian or Artinian condition seems sufficient, and the ring being semisimple seems too strong.</p> http://mathoverflow.net/questions/26155/finite-number-of-minimal-ideals/26866#26866 Answer by Greg Marks for Finite number of minimal ideals Greg Marks 2010-06-02T20:49:20Z 2010-06-02T20:49:20Z <p>Please clarify: are you asking about commutative rings or noncommutative rings? (The tag "ac.commutative-algebra" suggests the former; your reference to semisimplicity suggests the latter.) If the question is about noncommutative rings, then presumably by "ideals" you mean two-sided ideals.</p> http://mathoverflow.net/questions/26155/finite-number-of-minimal-ideals/26886#26886 Answer by Hailong Dao for Finite number of minimal ideals Hailong Dao 2010-06-02T23:51:39Z 2010-06-04T19:55:18Z <p>(Inspired by Graham's comment) For simplicity I will consider the case $(R,m)$ is a Noetherian, local ring. </p> <p>A non-zero minimal ideal better be principal. Also, if $(x)$ is such ideal, then for any $y\in m$, the ideal $(xy)$ has to be $0$, so $mx=0$. </p> <p>Let <code>$I= \{x\in R|mx=0\}$</code>, the <em>socle</em> of $R$. Since $Im=0$, $I$ is a vector space over $k=R/m$. You want to know when the set of $1$-dimensional subspaces of $I$ is finite. This happens if and only if $\dim_kI\leq 1$ or $k$ is a finite field. </p> <p>If $R$ is also Artinian (i.e. $\dim R=0$), then $\dim_kI\leq 1$ means precisely that $R$ is <a href="http://citeseerx.ist.psu.edu/viewdoc/download;jsessionid=0331DDC9E848DF83CBCB901AEAE62A4E?doi=10.1.1.53.7033&amp;rep=rep1&amp;type=pdf" rel="nofollow">Gorenstein</a>. So in this case (Noetherian, local of dimension $0$) one has a particularly nice answer: the set of nonzero minimal ideals is finite iff $R$ is Gorenstein or $k$ is finite. </p> <p>Note that if $\dim R\geq 1$, then $I=0$ iff $\text{depth}\ R\geq 1$. </p> <p>In general one can localize to get at least necessary conditions. For example, if the height of all maximal ideals is at least $1$, then $R$ satisfying <a href="http://mathoverflow.net/questions/22228/what-is-serres-condition-s-n-for-sheaves" rel="nofollow">Serre's condition</a> $(S_1)$ is certainly sufficient, since the socle when you localize at any maximal ideal will then be $0$, so there is no non-zero minimal ideals. </p> http://mathoverflow.net/questions/26155/finite-number-of-minimal-ideals/29844#29844 Answer by Greg Marks for Finite number of minimal ideals Greg Marks 2010-06-29T00:01:10Z 2010-06-29T00:01:10Z <p>I'm not sure how to answer your exact question ("the necessary condition that guarantees..."?), but here are a few minor observations.&#160; A direct product of commutative rings has only finitely many minimal (by definition nonzero) ideals if and only if each component ring has only finitely many and all but finitely many of the component rings have none.&#160; So it suffices to consider indecomposable commutative rings with only finitely many ideals.&#160; There are all sorts of indecomposable commutative rings with no minimal ideals.&#160; Now suppose the indecomposable commutative ring has a positive finite number of minimal ideals.&#160; The socle of such a ring has square zero; thus, the socle is a nonunital subring with the structure of an additive abelian group with zero multiplication on it (of course, this additive abelian group need not have only finitely many minimal subgroups).&#160; One can construct all sorts of examples of this sort.&#160; For instance, let $A$ be an indecomposable commutative ring with no minimal ideals, and let $M$ be an $A$-module with only finitely many simple submodules.&#160; (For example, one might take $M$ to be a uniserial $A$-module.)&#160; Let $R = A \oplus M$ as an additive group, with multiplication given by $(a_1, m_1) (a_2, m_2) = (a_1 a_2, a_1 m_2 + a_2 m_1)$.&#160; Then $R$ is an indecomposable commutative ring with only finitely many minimal ideals.</p>