A mixed identity-free elementary amenable group

B. Jacobson
DOI: https://doi.org/10.1080/00927872.2020.1797073
2020-09-16
Communications in Algebra
Abstract:A group <i>G</i> is called <i>mixed identity-free</i> if for every <span class="NLM_disp-formula inline-formula"><math> n ∈ ℕ </math></span> and every <span class="NLM_disp-formula inline-formula"><math> w ∈ G ∗ F n , </math></span> there exists a homomorphism <span class="NLM_disp-formula inline-formula"><math> φ : G ∗ F n → G </math></span> such that <span class="NLM_disp-formula inline-formula"><math> φ </math></span> is the identity on <i>G</i> and <span class="NLM_disp-formula inline-formula"><math> φ ( w ) </math></span> is nontrivial. In this paper, we make a modification to the construction of elementary amenable lacunary hyperbolic groups provided by Ol'shanskii et al. to produce finitely generated elementary amenable groups which are mixed identity-free. As a byproduct of this construction, we also obtain locally finite <i>p</i>-groups which are mixed identity-free.
mathematics
What problem does this paper attempt to address?