Types of points and algebras

被引:3
作者
Zhitomirski, G. [1 ]
机构
[1] Bar Ilan Univ, Dept Math, IL-52900 Ramat Gan, Israel
关键词
Model theoretical types; logically-geometrical types; multi-sorted logic; varieties; hopfian varieties; homogeneity; semigroups; groups; linear algebras; AUTOMORPHISMS; HOMOGENEITY; CATEGORIES;
D O I
10.1142/S0218196718400167
中图分类号
O1 [数学];
学科分类号
0701 ; 070101 ;
摘要
The connection between classical model theoretical types (MT-types) and logically-geometrical types (LG-types) introduced by B. Plotkin is considered. It is proved that MT-types of two n-tuples in two universal algebras coincide if and only if their LG-types coincide. Two problems set by B. Plotkin are considered: (1) let two tuples in an algebra have the same type, does it imply that they are connected by an automorphism of this algebra? and (2) let two algebras have the same type, does it imply that they are isomorphic? Some varieties of universal algebras are considered having in view these problems. In particular, it is proved that if a variety is hopfian or co-hopfian, then finitely generated free algebras of such a variety are completely determined by their type.
引用
收藏
页码:1717 / 1730
页数:14
相关论文
共 17 条
[1]  
[Anonymous], PREPRINT
[2]   Homogeneity in relatively free groups [J].
Belegradek, Oleg .
ARCHIVE FOR MATHEMATICAL LOGIC, 2012, 51 (7-8) :781-787
[3]  
Chang C. C., 1992, Model Theory
[4]  
Kurosh A.G., 1967, THE THEORY OF GROUPS
[5]  
Magnus W., 2004, COMBINATORIAL GROUP
[6]   Characterization of finitely generated groups by types [J].
Myasnikov, A. G. ;
Romanovskii, N. S. .
INTERNATIONAL JOURNAL OF ALGEBRA AND COMPUTATION, 2018, 28 (08) :1613-1632
[7]   HOMOGENEITY IN THE FREE GROUP [J].
Perin, Chloe ;
Sklinos, Rizos .
DUKE MATHEMATICAL JOURNAL, 2012, 161 (13) :2635-2668
[8]   Automorphisms of categories of free algebras of some varieties [J].
Plotkin, B. ;
Zhitomirski, G. .
JOURNAL OF ALGEBRA, 2006, 306 (02) :344-367
[9]  
Plotkin B, 2015, ALGEBRA DISCRET MATH, V19, P87
[10]  
Plotkin B., 2004, SOVREMENNAJA MATEMAT, V22, P16