×
努拉库诺夫，A.M。

具有可定义主同余的代数的拟变种。 （英语。俄文原件） Zbl 0725.08005号

代数逻辑 29，No.1，26-34（1990）; 摘自《代数逻辑》29，第1期，35-46（1990）。
设（{mathcal R}）是代数的拟簇。对于\（A\在｛\mathcal R｝\中），我们用\（\teta｛\mathcal R｝｝（A，b）\）表示A上的最小同余，使得\（<A，b>\在\teta｛\mathcal R｝｝（A，b）\）和\（A/\teta｛\mathcal R｝｝（A，b）\在｛\mathcal R｝中。\）
如果有一个一阶公式（φ）（x，y，u，v）使得（A\ in{mathcal R}\）和（A，b，c，d \ in A\）\[<a，b>\在\theta_{{mathcal R}}（c，d）\Leftrightarrow a\vDash\phi（a、b、c、d）中。\]如果A上的恒等关系在A上的同余格（θ）中（有限）满足不可约，则称（{mathcal R}）的代数A是（有限）次直的
主要结果如下：设拟变种\（｛\mathcal R｝\）具有可定义的主\（｛\mathcal R｝\）-同余。那么，\（{\mathcal R}\）是有限公理化的当且仅当是\（{\ mathcal R}\）中的一类次直不可约（或有限次直不可以约）代数。作者还提供了当给定的拟簇具有可定义的主同余时的一些条件。
审核人：A.I.巴金（巴诺）

引用于6文件

MSC公司：

08C15号 准变种
03C60型 模型理论代数
08A30型 子代数，同余关系
08B26号 次直积和次直不可约性

关键词：

可定义主同余;次直不可约性;准变分;有限公理化
PDF格式BibTeX公司 XML格式引用
\textit{A.M.Nurakunov}，《代数逻辑》29，第1期，26-34（1990；Zbl 0725.08005）；《代数逻辑》29，第1期，第35-46页（1990）的译文
全文： 内政部 欧洲DML

参考文献：

[1] A.I.Mal'tsev，《代数系统（俄语）》，瑙卡，莫斯科（1970年）。
[2] V.A.Gorbunov，“拟簇中次直不可约系统的基数”，《代数逻辑学》，25，第1期，3-50页（1986年）。
[3] V.A.Gorbunov，“拟方程逻辑的完备性定理”，预印本，第AS-2号，数学。仪器、信号。学术部。科学。苏联，新西伯利亚（1989）。
[4] V.A.Grobunov，“拟簇格中的覆盖与独立公理化”，《代数逻辑》，第10期，第5期，507–548页（1977年）。
[5] R.McKenzie，“准原变种：局部有限变种中有限公理化性和可定义原理同余的研究”，代数大学，8336-348（1978）·Zbl 0383.08008号 ·doi:10.1007/BF02485404
[6] S.Burris和H.P.Sankappanavar，《普世代数课程》，柏林斯普林格-Verlag出版社（1981年）·Zbl 0478.08001号
[7] S.Burris，“关于同余分布簇的Baker有限基定理”，Proc。美国数学。《社会学杂志》，73，141–148（1979）·Zbl 0401.08011号
[8] S.Burris和J.Lawrence，“对‘群和环中可定义的原理同余’的修正”，代数大学，13，264–267（1981）·Zbl 0475.08006号 ·doi:10.1007/BF024383839
[9] J.Chelakowski和W.Dziobiak，“具有等式可定义主交点的拟变种”，印前10号，波兰托伦数学研究所（1986）。
[10] H.Lakser，“N置换变种中的原理同余”，代数大学，14，64–67（1982）·Zbl 0492.08007号 ·doi:10.1007/BF02483988
[11] J.T.Baldwin和J.D.Berman，“各种次直不可约代数的数量”，代数大学，5379–389（1975）·Zbl 0348.08002号 ·doi:10.1007/BF02485271
[12] J.T.Baldwin和J.D.Berman，“可定义的原理同余关系：Kith和Kin”，《科学学报》。数学。，44, 255–270 (1982). ·Zbl 0503.08003号
[13] E.Fried、G.Grätzer和R.Quackenbush，“一致同余方案”，代数大学，11，213-219（1980）·Zbl 0448.08005号 ·doi:10.1007/BF02431100
[14] D.Pigozzi，“相对同余分布拟变种的有限基定理”，Trans。美国数学。《社会学杂志》，310499-533（1988年）·Zbl 0706.08009号 ·doi:10.1090/S0002-9947-1988-0946222-1
[15] R.Balbes和P.H.Dwinger，《分布格》，密苏里大学出版社，密苏里根州哥伦比亚市（1974年）。
[16] W.J.Blok和W.Dziobiak，“关于Sugihara代数拟簇的格”，Stud.Logica，45275-280（1986）·兹比尔0616.06003 ·doi:10.1007/BF00375898
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。