Simple groups with infinite verbal width and the same positive theory as free groups (Q6161728)
From MaRDI portal
scientific article; zbMATH DE number 7692203
Language | Label | Description | Also known as |
---|---|---|---|
English | Simple groups with infinite verbal width and the same positive theory as free groups |
scientific article; zbMATH DE number 7692203 |
Statements
Simple groups with infinite verbal width and the same positive theory as free groups (English)
0 references
5 June 2023
0 references
Let \(w=w(x_{1},x_{2}, \ldots, x_{r}) \in F_{r}\) be a word of the free group \(F_{r}\). If \(G\) is a group, the verbal subgroup of \(G\) is \(w(G)=\langle w(g_{1},g_{2}, \ldots, g_{r}) \mid g_{1},g_{2}, \ldots, g_{r} \in G \rangle\). If every element of \(w(G)\) can be represented as a product of at most \(n\) values of \(w\) then the word \(w\) is said to be of finite width (in \(G\)) and \(G\) is said to be \(w\)-elliptic, otherwise \(G\) is \(w\)-parabolic. A word \(w\) is proper if the verbal subgroup \(w(F)\) of a non-abelian free group \(F\) is a proper subgroup of \(F\). A group \(G\) has trivial positive theory if it satisfies the same positive sentences as the non abelian free groups. The main result of this paper is Theorem 1.1: There exists an uncountable family of finitely generated simple groups with trivial positive theory. In particular, all proper verbal subgroups of these groups have infinite width, that is, these simple groups are verbally parabolic.
0 references
word
0 references
verbal subgroup
0 references
positive theory
0 references
width
0 references
verbally parabolic group
0 references