-
On a Class of Self-Similar Polycyclic Groups
Authors:
A. C. Dantas,
E. de Melo,
R. N. de Oliveira,
S. N. Sidki
Abstract:
A group $G$ is self-similar if it admits a triple $(G,H,f)$ where $H$ is a subgroup of $G$ and $f: H \to G$ a simple homomorphism, that is, the only subgroup $K$ of $H$, normal in $G$ and $f$-invariant ($K^f \leq K$) is trivial. The group $G$ then has two chains of subgroups: \[ G_0 = G,\ H_0 = H,\ G_k = (H_{k-1})^f,\ H_k = H \cap G_{k}\ \text{for } (k \geq 1). \]
We define a family of self-simi…
▽ More
A group $G$ is self-similar if it admits a triple $(G,H,f)$ where $H$ is a subgroup of $G$ and $f: H \to G$ a simple homomorphism, that is, the only subgroup $K$ of $H$, normal in $G$ and $f$-invariant ($K^f \leq K$) is trivial. The group $G$ then has two chains of subgroups: \[ G_0 = G,\ H_0 = H,\ G_k = (H_{k-1})^f,\ H_k = H \cap G_{k}\ \text{for } (k \geq 1). \]
We define a family of self-similar polycyclic groups, denoted $SSP$, where each subgroup $G_k$ is self-similar with respect to the triple $(G_k , H_k, f)$ for all $k$. By definition, a group $G$ belongs to this $SSP$ family provided $f: H \rightarrow G$ is a monomorphism, $H_k$ and $G_{k+1}$ are normal subgroups of index $p$ in $G_k$ ($p$ a prime or infinite) and $G_k=H_kG_{k+1}$. When $G$ is a finite $p$-group in the class $SSP$, we show that the above conditions follow simply from $[G:H] = p$ and $f$ is a simple monomorphism.
We show that if the Hirsch length of $G$ is $n$, then $G$ has a polycyclic generating set $\{a_1, \ldots, a_n\}$ which is self-similar under the action of $f: a_1 \rightarrow a_2 \rightarrow \ldots \rightarrow a_n$, and then $G$ is either a finite $p$-group or is torsion-free. Surprisingly, the arithmetic of $n$ modulo $3$ has a strong impact on the structure of $G$. This fact allows us to prove that $G$ is nilpotent metabelian whose center is free $p$-abelian ($p$ prime or infinite) of rank at least $n/3$.
We classify those groups $G$ where $H$ has nilpotency class at most $2$. Furthermore, when $p=2$, we prove that $G$ is a finite $2$-group of nilpotency class at most $2$, and classify all such groups.
△ Less
Submitted 11 February, 2025;
originally announced February 2025.
-
Self-similar abelian groups and their centralizers
Authors:
Alex C. Dantas,
Tulio M. G. Santos,
Said N. Sidki
Abstract:
We extend results on transitive self-similar abelian subgroups of the group of automorphisms $\mathcal{A}_m$ of an $m$-ary tree $\mathcal{T}_m$ in \cite{BS}, to the general case where the permutation group induced on the first level of the tree has $s\geq 1$ orbits. We prove that such a group $A$ embeds in a self-similar abelian group $A^*$ which is also a maximal abelian subgroup of…
▽ More
We extend results on transitive self-similar abelian subgroups of the group of automorphisms $\mathcal{A}_m$ of an $m$-ary tree $\mathcal{T}_m$ in \cite{BS}, to the general case where the permutation group induced on the first level of the tree has $s\geq 1$ orbits. We prove that such a group $A$ embeds in a self-similar abelian group $A^*$ which is also a maximal abelian subgroup of $\mathcal{A}_m$. The construction of $A^*$ is based on the definition of a free monoid $Δ$ of rank $s$ of partial diagonal monomorphisms of $\mathcal{A}_m$, which is used to determine the structure of $C_{\mathcal{A}_m}(A)$, the centralizer of $A$ in $\mathcal{A}_m$. Indeed, we prove $A^*=C_{\mathcal{A}_m} (Δ(A))=\overline{ Δ({B(A)})}$, where $B(A)$ denotes the product of the projections of $A$ in its action on the different $s$ orbits of maximal subtrees of $\mathcal{T}_m$ and bar denotes the topological closure. When $A$ is a torsion self-similar abelian group, it is shown that it is necessarily of finite exponent. Moreover, we extend recent constructions of self-similar free abelian groups of infinite enumerable rank to examples of such groups which are also $Δ$-invariant for $s=2$. Finally, we focus on self-similar cyclic groups of automorphisms of $\mathcal{T}_m$ and compute their centralizers when $m=4.$
△ Less
Submitted 5 October, 2021;
originally announced October 2021.
-
Intransitive Self-similar Groups
Authors:
Alex C. Dantas,
Tulio M. G. Santos,
Said N. Sidki
Abstract:
A group is said to be self-similar provided it admits a faithful state-closed representation on some regular $m$-tree and the group is said to be transitive self-similar provided additionally it induces transitive action on the first level of the tree. A standard approach for constructing a transitive self-similar representation of a group has been by way of a single virtual endomorphism of \ the…
▽ More
A group is said to be self-similar provided it admits a faithful state-closed representation on some regular $m$-tree and the group is said to be transitive self-similar provided additionally it induces transitive action on the first level of the tree. A standard approach for constructing a transitive self-similar representation of a group has been by way of a single virtual endomorphism of \ the group in question. Recently, it was shown that this approach when applied to the restricted wreath product $% \mathbb{Z}\wr \mathbb{Z}$ could not produce a faithful transitive self-similar representations for any $m\geq 2$ (see, \cite{DS}). In this work we study state-closed representations without assuming the transitivity condition. This general action is translated into a set of virtual endomorphisms corresponding to the different orbits of the action on the first level of the tree. In this manner, we produce faithful self-similar representations, some of which are also finite-state, for a number of groups such as $\mathbb{Z}^ω$, $\mathbb{Z}\wr \mathbb{Z}$ and $(\mathbb{Z} \wr \mathbb{Z}) \wr C_{2}$.
△ Less
Submitted 21 April, 2020; v1 submitted 19 April, 2020;
originally announced April 2020.
-
Self-similar products of groups
Authors:
Laurent Bartholdi,
Said N. Sidki
Abstract:
We address the problem of determining the class of self-similar groups, and in particular its closure under restricted direct products. We show that the group $\mathbb Z^{(ω)}$ is self-similar, that $G^{(ω)}\rtimes C_2$ is self-similar whenever $G$ is, and that permutational wreath products of a finite abelian group with a self-similar group are self-similar.
We address the problem of determining the class of self-similar groups, and in particular its closure under restricted direct products. We show that the group $\mathbb Z^{(ω)}$ is self-similar, that $G^{(ω)}\rtimes C_2$ is self-similar whenever $G$ is, and that permutational wreath products of a finite abelian group with a self-similar group are self-similar.
△ Less
Submitted 12 May, 2018;
originally announced May 2018.
-
On Self-Similar Lie Algebras and Virtual Endomorphisms
Authors:
Vyacheslav Futorny,
Dessislava H. Kochloukova,
Said N. Sidki
Abstract:
We introduce the notion of virtual endomorphisms of Lie algebras and use it as an approach for constructing self-similarity of Lie algebras. This is done in particular for a class of metabelian Lie algebras having homological type F Pn, which are variants of lamp-lighter groups. We establish several criteria when the existence of virtual endomorphism implies a self-similar Lie structure. Furthermo…
▽ More
We introduce the notion of virtual endomorphisms of Lie algebras and use it as an approach for constructing self-similarity of Lie algebras. This is done in particular for a class of metabelian Lie algebras having homological type F Pn, which are variants of lamp-lighter groups. We establish several criteria when the existence of virtual endomorphism implies a self-similar Lie structure. Furthermore, we prove that the classical Lie algebra sln(k), where char(k) does not divide n affords non-trivial faithful self-similarity.
△ Less
Submitted 9 January, 2018;
originally announced January 2018.
-
Self-similar groups of type FP_{n}
Authors:
Dessislava H. Kochloukova,
Said N. Sidki
Abstract:
We construct new classes of self-similar groups : S-aritmetic groups, affine groups and metabelian groups. Most of the soluble ones are finitely presented and of type FP_{n} for appropriate n.
We construct new classes of self-similar groups : S-aritmetic groups, affine groups and metabelian groups. Most of the soluble ones are finitely presented and of type FP_{n} for appropriate n.
△ Less
Submitted 12 October, 2017;
originally announced October 2017.
-
On self-similarity of wreath products of abelian groups
Authors:
Alex C. Dantas,
Said N. Sidki
Abstract:
We prove that a self-similar free abelian group has finite rank. We apply the result to self-similar wreath products of abelian groups $G=BwrX$. We show that if $X$ is torsion-free, then $B$ is torsion of finite exponent. Furthemore, we construct a self-similar group $G=BwrC_{2}$ where $B$ is free abelian of infinite rank.
We prove that a self-similar free abelian group has finite rank. We apply the result to self-similar wreath products of abelian groups $G=BwrX$. We show that if $X$ is torsion-free, then $B$ is torsion of finite exponent. Furthemore, we construct a self-similar group $G=BwrC_{2}$ where $B$ is free abelian of infinite rank.
△ Less
Submitted 30 January, 2017; v1 submitted 27 October, 2016;
originally announced October 2016.
-
Affine Automorphisms of Rooted Trees
Authors:
Dmytro M. Savchuk,
Said N. Sidki
Abstract:
We introduce a class of automorphisms of rooted $d$-regular trees arising from affine actions on their boundaries viewed as infinite dimensional vector spaces. This class includes, in particular, many examples of self-similar realizations of lamplighter groups. We show that for a regular binary tree this class coincides with the normalizer of the group of all spherically homogeneous automorphisms…
▽ More
We introduce a class of automorphisms of rooted $d$-regular trees arising from affine actions on their boundaries viewed as infinite dimensional vector spaces. This class includes, in particular, many examples of self-similar realizations of lamplighter groups. We show that for a regular binary tree this class coincides with the normalizer of the group of all spherically homogeneous automorphisms of this tree: automorphisms whose states coincide at all vertices of each level. We study in detail a nontrivial example of an automaton group that contains an index two subgroup with elements from this class and show that it is isomorphic to the index 2 extension of the rank 2 lamplighter group $\mathbb Z_2^2\wr\mathbb Z$.
△ Less
Submitted 28 October, 2015;
originally announced October 2015.
-
On state-closed representations of restricted wreath product of groups of type G_{p,d}=C_{p}wrC^{d}
Authors:
Alex C. Dantas,
Said N. Sidki
Abstract:
Let $G_{p,d}$ be the restricted wreath product $C_{p} wr C^{d}$ where $C_{p}$ is a cyclic group of order a prime $p$ and $C^{d}$ a free abelian group of finite rank $d$. We study the existence of faithful state-closed (fsc) representations of $G_{p,d}$ on the $1$-rooted $m$-ary tree for some finite $m$. The group $G_{2,1}$, known as the lamplighter group, admits an fsc representation on the binary…
▽ More
Let $G_{p,d}$ be the restricted wreath product $C_{p} wr C^{d}$ where $C_{p}$ is a cyclic group of order a prime $p$ and $C^{d}$ a free abelian group of finite rank $d$. We study the existence of faithful state-closed (fsc) representations of $G_{p,d}$ on the $1$-rooted $m$-ary tree for some finite $m$. The group $G_{2,1}$, known as the lamplighter group, admits an fsc representation on the binary tree. We prove that for $d \geq 2$ there are no fsc representations of $G_{p,d}$ on the $p$ -adic tree. We characterize all fsc representations of $G=G_{p,1}$ on the $p$-adic tree where the first level stabilizer of the image of $G$ contains its commutator subgroup. Furthermore, for $d \geq 2$, we construct uniformly fsc representations of $G_{p,d}$ on the $p^{2}$ -adic tree and exhibit concretely the representation of $G_{2,2}$ on the $4$-tree as a finite-state automaton group.
△ Less
Submitted 19 May, 2015;
originally announced May 2015.
-
On groups with cubic polynomial conditions
Authors:
A. Grishkov,
R. Oliveira,
S. Sidki
Abstract:
Given a finitely generated subgroup G of a ring R we provide a finite subset of G such that if each element of this set satisfies some cubic polynomial equation in one variable over the center Z of R then the subring generated by G has finite Z-rank. We specialize our considerations to the case where the polynomial equations are equal to (x-1)^3=0.
Given a finitely generated subgroup G of a ring R we provide a finite subset of G such that if each element of this set satisfies some cubic polynomial equation in one variable over the center Z of R then the subring generated by G has finite Z-rank. We specialize our considerations to the case where the polynomial equations are equal to (x-1)^3=0.
△ Less
Submitted 11 May, 2015; v1 submitted 20 January, 2014;
originally announced January 2014.
-
The n-ary Adding Machine and Soluble Groups
Authors:
Josimar da Silva Rocha,
Said Najati Sidki
Abstract:
We describe under a variety of conditions abelian subgroups of the automorphism group A of the regular n-ary tree T which are normalized by the n-ary adding machine t=(e,...,e,t)s where s is the n-cycle (0,1,...,n-1). As an application, for n a prime number, and for n = 4 we prove that every soluble subgroup of A containing t is an extension of a torsion-free metabelian group by a finite group.
We describe under a variety of conditions abelian subgroups of the automorphism group A of the regular n-ary tree T which are normalized by the n-ary adding machine t=(e,...,e,t)s where s is the n-cycle (0,1,...,n-1). As an application, for n a prime number, and for n = 4 we prove that every soluble subgroup of A containing t is an extension of a torsion-free metabelian group by a finite group.
△ Less
Submitted 9 July, 2013; v1 submitted 16 August, 2011;
originally announced August 2011.
-
On the conjugacy problem for finite-state automorphisms of regular rooted trees
Authors:
Ievgen V. Bondarenko,
Natalia V. Bondarenko,
Said N. Sidki,
Flavia R. Zapata
Abstract:
We study the conjugacy problem in the automorphism group $Aut(T)$ of a regular rooted tree $T$ and in its subgroup $FAut(T)$ of finite-state automorphisms. We show that under the contracting condition and the finiteness of what we call the orbit-signalizer, two finite-state automorphisms are conjugate in $Aut(T)$ if and only if they are conjugate in $FAut(T)$, and that this problem is decidable. W…
▽ More
We study the conjugacy problem in the automorphism group $Aut(T)$ of a regular rooted tree $T$ and in its subgroup $FAut(T)$ of finite-state automorphisms. We show that under the contracting condition and the finiteness of what we call the orbit-signalizer, two finite-state automorphisms are conjugate in $Aut(T)$ if and only if they are conjugate in $FAut(T)$, and that this problem is decidable. We prove that both these conditions are satisfied by bounded automorphisms and establish that the (simultaneous) conjugacy problem in the group of bounded automata is decidable.
△ Less
Submitted 30 August, 2014; v1 submitted 9 November, 2010;
originally announced November 2010.
-
Abelian state-closed subgroups of automorphisms of m-ary trees
Authors:
Andrew M. Brunner,
Said N. Sidki
Abstract:
The group A_{m} of automophisms of a one-rooted m-ary tree admits a diagonal monomorphism which we denote by x. Let A be an abelian state-closed (or self-similar) subgroup of A_{m}. We prove that the combined diagonal and tree-topological closure A* of A is additively a finitely presented Z_m [[x]]-module where Z_m is the ring of m-adic integers. Moreover, if A* is torsion-free then it is a fini…
▽ More
The group A_{m} of automophisms of a one-rooted m-ary tree admits a diagonal monomorphism which we denote by x. Let A be an abelian state-closed (or self-similar) subgroup of A_{m}. We prove that the combined diagonal and tree-topological closure A* of A is additively a finitely presented Z_m [[x]]-module where Z_m is the ring of m-adic integers. Moreover, if A* is torsion-free then it is a finitely generated pro-m group. The group A splits over its torsion subgroup. We study in detail the case where A* corresponds to a cyclic Z_m[[x]]-module and when m is a prime number, we show A* to be conjugate by a tree automorphism to one of two specific types of groups.
△ Less
Submitted 22 October, 2009; v1 submitted 18 June, 2009;
originally announced June 2009.
-
Functionally recursive rings of matrices-Two examples
Authors:
Said N. Sidki
Abstract:
We define the notions of finite-state and functionally recursive matrices and their growth. We also introduce two rings generated by functionally recursive matrices. The first is isomorphic to the 2-generated free ring. The second is a 2-generated monomial ring such that the multiplicative semigroup of monomials in the generators is nil of degree 5 and the ring has Gelfand Kirillov dimension 1 +…
▽ More
We define the notions of finite-state and functionally recursive matrices and their growth. We also introduce two rings generated by functionally recursive matrices. The first is isomorphic to the 2-generated free ring. The second is a 2-generated monomial ring such that the multiplicative semigroup of monomials in the generators is nil of degree 5 and the ring has Gelfand Kirillov dimension 1 + log(2)/log(a) where a=1/2(1+sqrt(5)).
△ Less
Submitted 22 October, 2009; v1 submitted 21 December, 2008;
originally announced December 2008.
-
On Commutativity and Finiteness in Groups
Authors:
Ricardo N. Oliveira,
Said N. Sidki
Abstract:
The second author introduced notions of weak permutability and commutativity between groups and proved the finiteness of a group generated by two weakly permutable finite groups. Two groups H,K weakly commute provided there exists a bijection f: H -> K which fixes the identity element and such that h commutes with its image h^f for all h in H. The present paper gives support to conjectures about…
▽ More
The second author introduced notions of weak permutability and commutativity between groups and proved the finiteness of a group generated by two weakly permutable finite groups. Two groups H,K weakly commute provided there exists a bijection f: H -> K which fixes the identity element and such that h commutes with its image h^f for all h in H. The present paper gives support to conjectures about the nilpotency of groups generated by two weakly commuting finite abelian groups H,K.
△ Less
Submitted 28 June, 2009; v1 submitted 28 November, 2007;
originally announced November 2007.
-
Virtual Endomorphisms of Nilpotent Groups
Authors:
Adilson Berlatto,
Said Sidki
Abstract:
A virtual endomorphism of a group G is a homomorphism f from H into G where H is a subgroup of G of finite index m. The triple (G,H,f) produces a state-closed (or, self-similar) representation t of G on the 1-rooted m-ary tree. This paper is a study of properties of the image G^t when G is nilpotent. In particular, it is shown that if G is finitely generated, torsion-free and nilpotent then G^t…
▽ More
A virtual endomorphism of a group G is a homomorphism f from H into G where H is a subgroup of G of finite index m. The triple (G,H,f) produces a state-closed (or, self-similar) representation t of G on the 1-rooted m-ary tree. This paper is a study of properties of the image G^t when G is nilpotent. In particular, it is shown that if G is finitely generated, torsion-free and nilpotent then G^t has solvability degree bounded above by the number of prime divisors of m.
△ Less
Submitted 12 October, 2006; v1 submitted 7 February, 2006;
originally announced February 2006.
-
On pairs of matrices generating matrix rings and their presentations
Authors:
B. V. Petrenko,
S. N. Sidki
Abstract:
Let $M_n(\mathbb{Z})$ the ring of $n$-by-$n$ matrices with integral entries, and $n \geq 2$. This paper studies the set $G_n(\mathbb{Z})$ of pairs $(A,B) \in M_n(\mathbb{Z})^2$ generating $M_n(\mathbb{Z})$ as a ring. We use several presentations of $M_{n}(\mathbb{Z})$ with generators $X=\sum_{i=1}^n E_{i+1,i}$ and $Y=E_{11}$ to obtain the following consequences. \begin{enumerate} \item Let…
▽ More
Let $M_n(\mathbb{Z})$ the ring of $n$-by-$n$ matrices with integral entries, and $n \geq 2$. This paper studies the set $G_n(\mathbb{Z})$ of pairs $(A,B) \in M_n(\mathbb{Z})^2$ generating $M_n(\mathbb{Z})$ as a ring. We use several presentations of $M_{n}(\mathbb{Z})$ with generators $X=\sum_{i=1}^n E_{i+1,i}$ and $Y=E_{11}$ to obtain the following consequences. \begin{enumerate} \item Let $k \geq 1$. Then the rings $M_n(\mathbb{Q})^k$ and $\bigoplus_{j=1}^{k} M_{n_j} (\mathbb{Z})$, where $n_1, ..., n_k \geq 2$ are pairwise relatively prime, have presentations with 2 generators and finitely many relations.
\item Let $D$ be a commutative domain of sufficiently large characteristic over which every finitely generated projective module is free. We use 4 relations for $X$ and $Y$ to describe all representations of the ring $M_{n}(D)$ into $M_{m}(D)$ for $m \geq n$.
\item We obtain information about the asymptotic density of $G_n(F)$ in $M_n(F)^2$ over different fields, and over the integers. \end{enumerate}
△ Less
Submitted 19 December, 2005; v1 submitted 8 December, 2005;
originally announced December 2005.
-
The Automorphism Tower of Groups acting on Rooted Trees
Authors:
Laurent Bartholdi,
Said N. Sidki
Abstract:
The group of isometries W of a regular rooted tree, and many of its subgroups with branching structure, have groups of automorphisms induced by conjugation in W. This fact has stimulated the computation of the group of automorphisms of such well-known examples as the group G studied by R. Grigorchuk, and the group H studied by N. Gupta and the second author.
In this paper, we pursue the larger…
▽ More
The group of isometries W of a regular rooted tree, and many of its subgroups with branching structure, have groups of automorphisms induced by conjugation in W. This fact has stimulated the computation of the group of automorphisms of such well-known examples as the group G studied by R. Grigorchuk, and the group H studied by N. Gupta and the second author.
In this paper, we pursue the larger theme of towers of automorphisms of groups of tree isometries such as G and H. We describe this tower for all groups acting on the binary rooted tree which decompose as infinitely iterated wreath products. Furthermore, we describe fully the towers of G and H.
More precisely, the tower of G is infinite countable, and the terms of the tower are 2-groups. Quotients of successive terms are infinite elementary abelian 2-groups.
In contrast, the tower of H has length 2, and its terms are {2,3}-groups. We show that the quotient aut^2(H)/aut(H) is an elementary abelian 3-group of countably infinite rank, while aut^3(H)=aut^2(H).
△ Less
Submitted 14 March, 2006; v1 submitted 13 August, 2003;
originally announced August 2003.
