大卫·卡斯珀森;詹妮弗·亨德曼 防止拟方程有限基的原正公式。 (英语) Zbl 1196.08004号 国际代数计算杂志。 19,第7期,925-935(2009). 原始正公式是原子公式的存在量化结合。在一元代数的情况下,对于变量(x)和(y)(不一定不同)以及项(可能是恒等式)和(g),原子公式的形式为(f(x)=g(y)。在代数(M)上,如果存在一个本原正式(psi(x_1,x_2,dots,x_n),使得M^n中的(R={(a_1,a_2,dotes,a_n))保持在(M)中,则(n)元关系(R)是pp定义的。作者研究了拟方程的基问题。首先,他们在无限基础上证明了本文对某些代数拟方程的主要技术结果,然后将其用于具有pp定义关系的有限一元代数。特别地,证明了以下结果:如果(M)是一个有限一元代数,它具有pp定义的关系,即非平凡群的图,则(M)的拟方程没有有限基。审核人:列奥尼德·马丁诺夫(鄂木斯克) 引用于2文件 MSC公司: 08C15号 准变种 08年60月 一元代数 关键词:有限基;拟方程;一元代数 PDF格式BibTeX公司 XML格式引用 \textit{D.Casperson}和\textit{J.Hyndman},《国际代数计算》。19,第7号,925--935(2009;Zbl 1196.08004) 全文: 内政部 参考文献: [1] 数字对象标识码:10.1007/s11225-005-3005-0·doi:10.1007/s11225-005-3005-0 [2] DOI:10.1007/BF01979193·Zbl 0703.08004号 ·doi:10.1007/BF01979193 [3] 内政部:10.1007/s00012-004-1896-7·Zbl 1081.08008号 ·doi:10.1007/s00012-004-1896-7 [4] 内政部:10.1007/s11225-005-3320-5·Zbl 1067.08007号 ·doi:10.1007/s11225-005-3320-5 [5] 内政部:10.1007/BF00966568·Zbl 0307.20017号 ·doi:10.1007/BF00966568 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。