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
    0 references
    0 references
    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
    0 references
    word
    0 references
    verbal subgroup
    0 references
    positive theory
    0 references
    width
    0 references
    verbally parabolic group
    0 references

    Identifiers