×

防止拟方程有限基的原正公式。 (英语) Zbl 1196.08004号

原始正公式是原子公式的存在量化结合。在一元代数的情况下,对于变量(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)的拟方程没有有限基。

MSC公司:

08C15号 准变种
08年60月 一元代数
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[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的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。