Algorithmic problems for differential polynomial algebras

详细信息    查看全文

• 作者：Ualbai Umirbaev^a ; ^b ; ¹ ; ^{umirbaev@math.wayne.edu" class="auth_mail" title="E-mail the corresponding author}
• 关键词：primary ; 12H05 ; secondary ; 12L05 ; 13P10 ; 16E45 ; 16Z05
• 刊名：Journal of Algebra
• 出版年：2016
• 出版时间：1 June 2016
• 年：2016
• 卷：455
• 期：Complete
• 页码：77-92
• 全文大小：371 K

文摘

We prove that the ideal membership problem and the subalgebra membership problem are algorithmically undecidable for differential polynomial algebras with at least two basic derivation operators.