数学研发论坛

 找回密码
 欢迎注册
查看: 128|回复: 1

[讨论] 如何计算该多项式集的多项式理想

[复制链接]
发表于 2019-5-5 16:09:59 | 显示全部楼层 |阅读模式

马上注册,结交更多好友,享用更多功能,让你轻松玩转社区。

您需要 登录 才可以下载或查看,没有帐号?欢迎注册

x
本帖最后由 葡萄糖 于 2019-5-5 16:11 编辑

染成红色的部分就是该多项式集\(\,\{u^3+v^3,u^4+v^4,u^5+v^5\}\,\)的“多项式理想”
\begin{gather*}
\color{black}{
\begin{cases}   
\begin{split}      
x&=&\,&\color{blue}{u^3+v^3}\\        
y&=&\,&\color{gold}{u^4+v^4}\\     
z&=&\,&\color{silver}{u^5+v^5}     
\end{split}
\end{cases}}\\
\,\\
\Downarrow\\
\,\\
\color{red}{x^{10}-5x^6y^3-25x^2y^6+60x^3y^4z
-30x^4y^2z^2+18y^5z^2+4x^5z^3
-40xy^3z^3 + 15x^2yz^4+2z^6=0}\,
\end{gather*}
用MMA可以求解,可是如何“手工”算出该“多项式理想”呢?MMA的求解代码如下
  1. eq1 = u^3 + v^3 - a;
  2. eq2 = u^4 + v^4 - b;
  3. eq3 = u^5 + v^5 - c;
  4. GroebnerBasis[{eq1, eq2, eq3}, {a, b, c}, {u, v}]
复制代码

毋因群疑而阻独见  毋任己意而废人言
毋私小惠而伤大体  毋借公论以快私情
发表于 2019-5-5 17:16:23 | 显示全部楼层
固定$k$,将满足$3r+4t+5r=k$的所有单项式$x^ry^tz^r$表示成$u,v$的多项式,如果存在线性相关,那么就找到了。
毋因群疑而阻独见  毋任己意而废人言
毋私小惠而伤大体  毋借公论以快私情
您需要登录后才可以回帖 登录 | 欢迎注册

本版积分规则

小黑屋|手机版|数学研发网 ( 苏ICP备07505100号 )

GMT+8, 2019-5-20 15:30 , Processed in 0.051789 second(s), 16 queries .

Powered by Discuz! X3.4

© 2001-2017 Comsenz Inc.

快速回复 返回顶部 返回列表