仿射代数成员问题和应用

摘要

设是ｋ［Ｘ１，…，Ｘｎ］域ｋ上ｎ个不定元的多项式环，Ｉ是ｋ［Ｘ１，…，Ｘｎ］的一个理想，ｆ１，…，ｆｍ是ｋ［Ｘ１，…，Ｘｎ］中元素，给出了一个算法来判定ｋ［Ｘ１…，Ｘｎ］中任意元素ｇ是否位于ｋ［ｆ１，…ｆｍ］并且如果Ｉ和Ｊ分别为ｋ［Ｔ１，…Ｔｍ］和ｋ［Ｘ１，…，Ｘｎ］的理想Φ：ｋ［Ｔ１，…，Ｔｍ］／Ｉ→ｋ［Ｘ１，…，Ｘｎ］是ｋ－代数同态，以Ｇｒｏｂｎｅｒ基的语言给出了Φ为同构的充要条件。这些推广了已知的结果。并给出了一个立即的应用，得出了已知的用来判定仿射代数簇同构的Ｇｒｏｂｎｅｒ基准则．