For a graded domain R=k[X0,...,Xm]/JR=k[X0,...,Xm]/J over an arbitrary domain kk, it is shown that the ideal generated by elements of degree ≥mA≥mA, where AA is the least common multiple of the weights of the XiXi, is a normal ideal.
生成讲解博客的中文版本
生成AI智能校验的中文版本