×

具有Fraser-Horn性质的拟簇的单个拟恒等式。 (英语) 兹比尔0751.08005

如果存在一个有限的拟恒等式集,使得对于(H(mathbb{K})的所有(A\),如果(A\ in mathbb}K}满足\(Sigma\)(或等价地,\(mathbb{K}=text{Mod(Id}hbb{K})\杯\西格玛)\),其中,\(\text{Id}(\mathbb{K})\)表示\(\tathbb{K})的标识集。作者证明的主要目的是:定理3。设\(\mathbb{K}\)是具有Fraser-Horn性质的拟变种代数,其相对于\(H(\mathbb{K})\是有限公理化的。然后,可以通过一个单一的拟恒等式将\(mathbb{K}\)相对于\(H(mathbb{K})\公理化作者也证明了一些有趣的推论。

MSC公司:

08C15号 准变种
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] 贝克,K.A.,《格和其他代数的本原满足和方程问题》。事务处理。阿默尔。数学。Soc.190(1974),125-150·Zbl 0291.08001号 ·doi:10.1090/S0002-9947-1974-0349532-4
[2] Berman,J.and Blok,W.A.,《Fraser-Horn和苹果特性》。事务处理。阿默尔。数学。Soc.302(1987),427-465·Zbl 0633.08005号 ·doi:10.1090/S0002-9947-1987-0891629-3
[3] Burris,S.,关于Fraser-Horn地产的评论。《代数普遍性》23(1986),19-21·Zbl 0605.08003号 ·doi:10.1007/BF01190906
[4] Czelakowski,J.和Dziobiak,W.,同余分配拟变种,其有限次直不可约成员构成一个泛类。《代数普遍》27(1990),128-149·Zbl 0695.08016号 ·doi:10.1007/BF01190258
[5] Duda,J.,Fraser-Horn身份可以用两个变量来书写。《代数普遍》26(1989),178-180·Zbl 0669.08003号 ·doi:10.1007/BF01236861
[6] Fraser,G.A.和Horn,A.,直接产品的同余关系。程序。阿默尔。数学。Soc.26(1970),390-394·兹比尔0241.08004 ·doi:10.1090/S0002-9939-1970-0265258-1
[7] Freese,R和McKenzie,R,同余模簇的交换子理论。伦敦数学学会,讲义系列,125,剑桥,大学出版社,1987年·Zbl 0636.08001号
[8] Gorbunov,V.A.,剩余小拟变种的特征。苏联数学。Dokl.29(1984),第2期,204-207·Zbl 0588.08008号
[9] Kearnes,K.和R.McKenzie,相对模拟簇的交换子理论。预打印·Zbl 0772.08007号
[10] Padmanabhan,R.和R。W.Quackenbush,分配同余代数的方程理论。程序。阿默尔。数学。Soc.41(1973),373-377·Zbl 0277.08002号 ·doi:10.1090/S0002-9939-1973-0325498-2
[11] Pigozzi,D.,相对同余-分布拟簇的有限基定理。事务处理。阿默尔。数学。Soc.310(1988),499-533·Zbl 0706.08009号 ·doi:10.1090/S0002-9947-1988-0946222-1
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。