3

For example in lemma 2.1 here

Another example is here

the phrase "a minimal generator" is used. I don't understand what this means in the absence of a specified set of generators. Can anyone explain

Pat
  • 31
  • I think there's a unique minimal set of monomials which generates the ideal. I imagine there's something in Eisenbud's book. – Dylan Moreland Dec 03 '11 at 22:33
  • @Dylan: Thanks for the answer, but the phrase is used in various contexts and not just for monomial ideals. This was just an example. – Pat Dec 03 '11 at 22:35
  • Oh. Do you have another example? – Dylan Moreland Dec 03 '11 at 22:38
  • @Dylan: Yes, added. – Pat Dec 03 '11 at 22:39
  • I’ve seen the term used in the following way in the context of formal languages. Let $\Sigma$ be an alphabet. $L\subseteq\Sigma^$ is a right ideal if $\varnothing\ne L=L\Sigma^$, and the minimal generator of $L$ is $L\setminus L\Sigma^+$. This has the same flavor as the definition on p.2 of your second source: ‘If $m\in M-\underline{m}M$, then $m$ is part of a generating set for $M$ of minimum cardinality. In such a case we will say (perhaps abusively) that $m$ is a minimal generator of $M$.’ (Here $\underline{m}$ is the unique maximal ideal of $M$.) – Brian M. Scott Dec 03 '11 at 23:04
  • @Brian: Sorry, but I don't quite follow. The authors usually refer to "a minimal generator" of an ideal. I don't understand what you mean by minimal generators of $M$. This phrase is also used with respect to non-maximal ideals. The site does not allow me to add additional links but a quick google search will reveal that. – Pat Dec 03 '11 at 23:14
  • The quotation tells you exactly what the author means by a minimal generator of $M$, and I know no more than that. I don’t know the answer to your question; I was merely offering a couple of definitions of the term in other contexts in hopes that they would suggest a reasonable interpretation in your context. To me they suggest that in your context a minimal generator of an ideal might be any element of $I\setminus I(R\setminus{1})$ or something similar. (The maximality of $\overline{m}$ in the second definition is clearly not important to the definition.) – Brian M. Scott Dec 03 '11 at 23:30

0 Answers0