Elementary group equivalence with the integral length function (Q1074717): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
Set profile property. |
||
(2 intermediate revisions by one other user not shown) | |||
Property / author | |||
Property / author: Q483665 / rank | |||
Property / author | |||
Property / author: Vladimir N. Remeslennikov / rank | |||
Property / author | |||
Property / author: Alexei G. Myasnikov / rank | |||
Normal rank | |||
Property / author | |||
Property / author: Vladimir N. Remeslennikov / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank |
Latest revision as of 02:06, 5 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Elementary group equivalence with the integral length function |
scientific article |
Statements
Elementary group equivalence with the integral length function (English)
0 references
1986
0 references
The main concern of this paper is the elementary equivalence of classes of free groups with operators and free products with a length function. They use a number of results about free groups, free products and free operator groups, and results about multi-base models, partial isomorphisms and elementary equivalence, \(\omega\)-isomorphism and regular definability. Detailed definitions are too long to give here. The main model considered is \(\Gamma\) (X,A), the free A-operator group with basis X, and with a length function. They show that a number of predicates are formula definable in \(\Gamma\) (X,A). The idea of rational coordinatization involves a group having a finite pseudo-base such that every element is expressible as a product of elements from the pseudo- base raised to rational powers. The classes of finite groups, quasi-cyclic groups, abelian torsion-free groups, polycyclic groups, torsion-free solvable groups of finite rank and Chernikov groups admit rational coordinatization. The major results deal with elementary equivalence of groups. The authors show that if X and Y are sets, A and B are groups, then \(\Gamma\) (X,A) is elementarily equivalent to \(\Gamma\) (Y,B) if the cardinalities of X and Y are either equal or infinite and the groups A and B are \(\omega\)-isomorphic. If A admits rational coordinatization, then \(\Gamma\) (X,A) is elementarily equivalent to \(\Gamma\) (Y,B) if and only if the cardinalities of X and Y are either equal or infinite and groups A and B are isomorphic. Two more results deal with the elementary equivalence of free products with a length function in a similar way.
0 references
elementary equivalence
0 references
free groups with operators
0 references
free products
0 references
length function
0 references
free operator groups
0 references
multi-base models
0 references
regular definability
0 references
formula definable
0 references
rational coordinatization
0 references
polycyclic groups
0 references
torsion- free solvable groups
0 references
Chernikov groups
0 references