Journal of Modern Dynamics (JMD)

Iterated identities and iterational depth of groups

Pages: 257 - 284, Volume 9, 2015      doi:10.3934/jmd.2015.9.257

       Abstract        References        Full Text (272.9K)       Related Articles       

Anna Erschler - Département de Mathématiques et Applications, École Normale Supérieure, 45 Rue d’Ulm, 75005 Paris, France (email)

Abstract: Given a word $w$ on $n$ letters, we study groups which satisfy ``iterated identity'' $w$, meaning that for all $x_1, \dots, x_n$ there exists $N$ such that the $N-th$ iteration of $w$ of Engel type, applied to $x_1, \dots, x_n$, is equal to the identity. We define bounded groups and groups which are multiscale with respect to identities. This notion of being multiscale can be viewed as a self-similarity conditions for the set of identities, satisfied by a group. In contrast with torsion groups and Engel groups, groups which are multiscale with respect to identities appear among finitely generated elementary amenable groups. We prove that any polycyclic, as well as any metabelian group is bounded, and we compute the iterational depth for various wreath products. We study the set of iterated identities satisfied by a given group, which is not necessarily a subgroup of a free group and not necessarily invariant under conjugation, in contrast with usual identities. Finally, we discuss another notion of iterated identities of groups, which we call solvability type iterated identities, and its relation to elementary classes of varieties of groups.

Keywords:  Universal law, group identity, torsion groups, Engel groups, solvable groups, polycyclic groups, nilpotent groups, wreath products, metabelian groups, Grigorchuk group, verbal map, verbal dynamics, amenable groups, elementary amenable groups.
Mathematics Subject Classification:  Primary: 20E10, 20F69 ; Secondary: 20E22, 43A07, 20F16, 20F18, 20F19, 20F45, 20F50.

Received: September 2014;      Revised: July 2015;      Available Online: September 2015.