×

交换群上次直不可约作用类的公理化性。 (英语。俄文原件) Zbl 1487.03053号

代数逻辑 59,第5号,395-403(2020); 翻译自代数Logika 59,编号582-593(2020)。
主要结果描述了所有次直不可约行为类可公理化的交换群,如下所示:
交换群(G)上所有次直不可约作用的类(SIr(G))是公理化的当且仅当存在(k)和有限集(T substeq G),使得任何次直不可逆群(G/H),其中(H)是(G)的一个子群,是阶循环群是一个素数),由元素(t中的gH)生成。
此外,还研究了交换群上次直不可约行为的一些性质。证明了交换群上的所有连通行为都是次直不可约的,只要群是全序的。注意,如果集合(H\mid-H\leG\})在\(substeq)下线性(完全)排序,则称群(G)是线性(全部)排序的。

MSC公司:

03C60型 模型理论代数
20立方米 半群的表示;集上半群的作用
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] 古尔德,V。;米哈列夫,AV;帕柳廷,EA;Stepanova,AA,自由、投影和平面S-acts的模型理论性质,基金。普里克尔。材料,14,7,63-110(2008)·Zbl 1288.03026号
[2] Stepanova,AA,某些S-多边形类的公理化和完备性,代数和逻辑,30,5,379-388(1991)·Zbl 0773.03028号 ·doi:10.1007/BF01980252
[3] Gould,V.,S系统的公理化问题,J.London Math。社会学,II。序列号。,35, 193-201 (1987) ·Zbl 0637.03029号 ·doi:10.1112/jlms/s2-35.2.193
[4] 米哈列夫,AV;EV公司Ovchinnikova;帕柳廷,EA;Stepanova,AA,正多边形的模型理论属性,基金。普里克尔。材料,10,4,107-157(2004)·Zbl 1073.03020号
[5] 正多边形类的公理化性和模型完整性,Sib。数学。J.,35,1,166-177(1994)·Zbl 0833.03011号 ·doi:10.1007/BF02104958
[6] 基尔普(Kilp,M.)。;克瑙尔,美国。;米哈列夫,AV,Monoids,Acts and Categories。应用于圈积和图。《学生和研究人员手册》(2000),柏林:Walter de Gruyter,柏林·Zbl 0945.20036号 ·电话:10.1515/9783110812909
[7] 柯蒂斯,CW;Reiner,I.,有限群和结合代数的表示理论(1962),纽约:跨科学,纽约·兹伯利0131.25601
[8] Ershov,YL;Palyutin,EA,数学逻辑[俄语](2011),莫斯科:Fizmatlit,莫斯科
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。