THEORIES OF RELATIVELY FREE SOLVABLE GROUPS WITH EXTRA PREDICATE

被引：1
作者：
Timoshenko, E. I. [1 ]
机构：
[1] Novosibirsk State Tech Univ, Pr Marksa 20, Novosibirsk 630092, Russia
来源：
ALGEBRA AND LOGIC | 2018年 / 57卷 / 04期
关键词：
solvable group; nilpotent group; elementary theory; universal theory; UNIVERSAL THEORY; EQUATIONS; SETS;
D O I：
10.1007/s10469-018-9501-x
中图分类号：
O1 [数学];
学科分类号：
0701 ; 070101 ;
摘要：
We study elementary and universal theories of relatively free solvable groups in a group signature expanded by one predicate distinguishing primitive or annihilating systems of elements.
引用
收藏
页码：295 / 308
页数：14
相关论文
共 38 条
[1]   Commutator length of Abelian-by-nilpotent groups [J].
Akhavan-Malayeri, M ;
Rhemtulla, A .
GLASGOW MATHEMATICAL JOURNAL, 1998, 40 :117-121
[2]  
[Anonymous], 1966, THESIS
[3]  
[Anonymous], 1955, Fundamenta Mathematica, DOI 10.4064/fm-41-2-203-271
[4]  
[Anonymous], 1983, IZV AKAD NAUK SSSR M
[5]   AUTOMORPHISMS OF FREE METABELIAN GROUPS [J].
BACHMUTH, S .
TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY, 1965, 118 (06) :93-&
[6]   UNIVERSAL THEORY OF CERTAIN SOLVABLE-GROUPS AND BOUNDED ORE GROUP-RINGS [J].
CHAPUIS, O .
JOURNAL OF ALGEBRA, 1995, 176 (02) :368-391
[7]   for all-free metAbelian groups [J].
Chapuis, O .
JOURNAL OF SYMBOLIC LOGIC, 1997, 62 (01) :159-174
[8]   On the theories of free solvable groups [J].
Chapuis, O .
JOURNAL OF PURE AND APPLIED ALGEBRA, 1998, 131 (01) :13-24
[9]  
Eklof P.C., 1972, ANN MATH LOG, V4, P115, DOI [10.1016/0003-4843(72)90013-7, DOI 10.1016/0003-4843(72)90013-7]
[10]  
ERSHOV YL, 1972, DOKL AKAD NAUK SSSR+, V203, P1240
1234