elias001
- 359
- 24
The following exercise is taken from the book "An introduction to grobner bases" by Ralf Froberg.
Exercise: Let ##\mathfrak{a}## be an ideal generated by monomials in ##k[x_1,\ldots,x_n]##. Show that ##k[x_1,\ldots,x_n]/\mathfrak{a}## is a finite dimensional vector space over ##k## if and only if for each ##i## there is a ##d_i>0##, such that ##{x_i^{d_i}}\in \mathfrak{a}##.
Questions:
I am having trouble showing the other direction:
If for each ##i## there is a ##d_i>0##, such that ##{x_i^{d_i}}\in \mathfrak{a}##, then ##k[x_1,\ldots,x_n]/\mathfrak{a}## is a finite dimensional vector space over ##k##.
Basically if I have ##x_i^{d_i}\in \mathfrak{a}##, and then any element ##u_i=x_i^{d_i-1}+\mathfrak{a}\not\in (x_i^{d_i})\in \mathfrak{a}## in the set ##\{1, u_i,u_i^2,\ldots u_i^{d_i-1}\}## would form a base in the quotient vector space. ##k[x_1,\ldots,x_n]/\mathfrak{a}##. But I am not sure what to do from here.
I found a written solution online as follows:
For completeness, I am quoting the solution for both directions:
Assume that for each ##i##, there is some ##i## for which ##x^d_i\in\mathfrak{a}##. Then, for all ##m_i\geq d_i##, we have ##x_i^{m_i}=x^{m_i-d_i} x_i^{d_i}\in\mathfrak{a}##.
In particular, take a monomial ##x_1^{m_1}\cdots x_n^{m_n}##. If there exists at least one ##i## such that ##m_i\geq d_i##, then ##x_1^{m_1}\cdots x_n^{m_n}\in\mathfrak{a}##.
Now, an element of the quotient has the form ##P=\sum_{m_1,\ldots,m_n\geq 0}a_{m_1,\ldots,m_n} x_1^{m_1}\cdots x_n^{m_n}+\mathfrak{a}.##
As you notice, for all ##Q\in \mathfrak{a}##, we have ##P+Q+\mathfrak{a}=P+\mathfrak{a}.##
The previous point then shows that ##P=\sum_{m_1\leq d_1-1,\ldots,m_n\leq d_n-1}a_{m_1,\ldots,m_n} x_1^{m_1}\cdots x_n^{m_n}+\mathfrak{a}.##
Hence, the classes ##x_1^{m_1}\cdots x_n^{m_n}, m_i\leq d_i-1## for all ##i##, span the vector space ##k[x_1,\ldots,x_n]/\mathfrak{a}##. Since this family is finite, it follows that this vector space is finite dimensional (of dimension ##\leq d_1\cdots d_n##).
Note that we didn't use the fact that ##\mathfrak{a}## is generated by monomials here.
Assume to the contrary that there is an ##i## such that ##x_i^m\notin \mathfrak{a}## for all ##m>0##; say ##i=1##.
We are going to show that the classes ##x_1^m+\mathfrak{a},m\geq 0## are linearly independent, showing our quotient space has infinite dimension.
So assume that ##\sum_m \lambda_m x_1^m+\mathfrak{a}=0+\mathfrak{a}##, meaning that ##\sum_m \lambda_m x_1^m\in\mathfrak{a}.## (the ##\lambda_m##'s are all zero except from a finite number of them).
By assumption on ##\mathfrak{a}##, there are some polynomials ##P_1,\ldots,P_r\in k[x_1,\ldots,x_n]## and monomials ##M_1,\ldots,M_r\in\mathfrak{a}## such that
##\sum_m \lambda_m x_1^m=P_1M_1+\cdots+P_rM_r##. By assumption, ##M_i## is not a power of ##x_1##, so it must contains another variable (we use the fact that ##M_i## is a monomial here).In particular ##M_i(x_1, 0,\ldots,0)=0## for all ##i##.
Evaluating the previous equality shows that ##\sum_m \lambda_m x_1^m=0\in k[x_1]##, hence ##\lambda_m=0## for all ##m## , as required.
I think the author is doing a contrapositive proof. I don't understand how if there is an ##i## such that ##x_i^m\notin \mathfrak{a}## for all ##m>0##, then the classes ##x_1^m+\mathfrak{a},m\geq 0## are linearly independent, showing our quotient space would imply the quotient space has infinite dimension.
Also, I am having trouble understanding the portion of the argument where it says:
".....monomials ##M_1,\ldots,M_r\in\mathfrak{a}## such that
##\sum_m \lambda_m x_1^m=P_1M_1+\cdots+P_rM_r##. By assumption, ##M_i## is not a power of ##x_1##, so it must contains another variable (we use the fact that ##M_i## is a monomial here).In particular ##M_i(x_1, 0,\ldots,0)=0## for all ##i##"
Basically I don't know what the author means by ##M_r\in \mathfrak{a}## must contain another variable, in the simple case of ##\lambda_m x_i^m=P_iM_i## what would that look like. Also, I am having trouble understanding the notation: ##M_i(x_1, 0,\ldots,0)=0## for all ##i##.
Lastly when the auuthor at the end says: "Evaluating the previous equality shows that ##\sum_m \lambda_m x_1^m=0\in k[x_1]##", how is the equality being evaluated it?
Thank you in advance.
Exercise: Let ##\mathfrak{a}## be an ideal generated by monomials in ##k[x_1,\ldots,x_n]##. Show that ##k[x_1,\ldots,x_n]/\mathfrak{a}## is a finite dimensional vector space over ##k## if and only if for each ##i## there is a ##d_i>0##, such that ##{x_i^{d_i}}\in \mathfrak{a}##.
Questions:
I am having trouble showing the other direction:
If for each ##i## there is a ##d_i>0##, such that ##{x_i^{d_i}}\in \mathfrak{a}##, then ##k[x_1,\ldots,x_n]/\mathfrak{a}## is a finite dimensional vector space over ##k##.
Basically if I have ##x_i^{d_i}\in \mathfrak{a}##, and then any element ##u_i=x_i^{d_i-1}+\mathfrak{a}\not\in (x_i^{d_i})\in \mathfrak{a}## in the set ##\{1, u_i,u_i^2,\ldots u_i^{d_i-1}\}## would form a base in the quotient vector space. ##k[x_1,\ldots,x_n]/\mathfrak{a}##. But I am not sure what to do from here.
I found a written solution online as follows:
For completeness, I am quoting the solution for both directions:
Assume that for each ##i##, there is some ##i## for which ##x^d_i\in\mathfrak{a}##. Then, for all ##m_i\geq d_i##, we have ##x_i^{m_i}=x^{m_i-d_i} x_i^{d_i}\in\mathfrak{a}##.
In particular, take a monomial ##x_1^{m_1}\cdots x_n^{m_n}##. If there exists at least one ##i## such that ##m_i\geq d_i##, then ##x_1^{m_1}\cdots x_n^{m_n}\in\mathfrak{a}##.
Now, an element of the quotient has the form ##P=\sum_{m_1,\ldots,m_n\geq 0}a_{m_1,\ldots,m_n} x_1^{m_1}\cdots x_n^{m_n}+\mathfrak{a}.##
As you notice, for all ##Q\in \mathfrak{a}##, we have ##P+Q+\mathfrak{a}=P+\mathfrak{a}.##
The previous point then shows that ##P=\sum_{m_1\leq d_1-1,\ldots,m_n\leq d_n-1}a_{m_1,\ldots,m_n} x_1^{m_1}\cdots x_n^{m_n}+\mathfrak{a}.##
Hence, the classes ##x_1^{m_1}\cdots x_n^{m_n}, m_i\leq d_i-1## for all ##i##, span the vector space ##k[x_1,\ldots,x_n]/\mathfrak{a}##. Since this family is finite, it follows that this vector space is finite dimensional (of dimension ##\leq d_1\cdots d_n##).
Note that we didn't use the fact that ##\mathfrak{a}## is generated by monomials here.
Assume to the contrary that there is an ##i## such that ##x_i^m\notin \mathfrak{a}## for all ##m>0##; say ##i=1##.
We are going to show that the classes ##x_1^m+\mathfrak{a},m\geq 0## are linearly independent, showing our quotient space has infinite dimension.
So assume that ##\sum_m \lambda_m x_1^m+\mathfrak{a}=0+\mathfrak{a}##, meaning that ##\sum_m \lambda_m x_1^m\in\mathfrak{a}.## (the ##\lambda_m##'s are all zero except from a finite number of them).
By assumption on ##\mathfrak{a}##, there are some polynomials ##P_1,\ldots,P_r\in k[x_1,\ldots,x_n]## and monomials ##M_1,\ldots,M_r\in\mathfrak{a}## such that
##\sum_m \lambda_m x_1^m=P_1M_1+\cdots+P_rM_r##. By assumption, ##M_i## is not a power of ##x_1##, so it must contains another variable (we use the fact that ##M_i## is a monomial here).In particular ##M_i(x_1, 0,\ldots,0)=0## for all ##i##.
Evaluating the previous equality shows that ##\sum_m \lambda_m x_1^m=0\in k[x_1]##, hence ##\lambda_m=0## for all ##m## , as required.
I think the author is doing a contrapositive proof. I don't understand how if there is an ##i## such that ##x_i^m\notin \mathfrak{a}## for all ##m>0##, then the classes ##x_1^m+\mathfrak{a},m\geq 0## are linearly independent, showing our quotient space would imply the quotient space has infinite dimension.
Also, I am having trouble understanding the portion of the argument where it says:
".....monomials ##M_1,\ldots,M_r\in\mathfrak{a}## such that
##\sum_m \lambda_m x_1^m=P_1M_1+\cdots+P_rM_r##. By assumption, ##M_i## is not a power of ##x_1##, so it must contains another variable (we use the fact that ##M_i## is a monomial here).In particular ##M_i(x_1, 0,\ldots,0)=0## for all ##i##"
Basically I don't know what the author means by ##M_r\in \mathfrak{a}## must contain another variable, in the simple case of ##\lambda_m x_i^m=P_iM_i## what would that look like. Also, I am having trouble understanding the notation: ##M_i(x_1, 0,\ldots,0)=0## for all ##i##.
Lastly when the auuthor at the end says: "Evaluating the previous equality shows that ##\sum_m \lambda_m x_1^m=0\in k[x_1]##", how is the equality being evaluated it?
Thank you in advance.
Last edited: