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.
Weak Commutativity Between Two Isomorphic Polycyclic Groups
Authors:
Bruno César Rodrigues Lima,
Ricardo Nunes de Oliveira
Abstract:
The operator of weak commutativity between isomorphic groups $H$ and $H^{ψ}$ was defined by Sidki as \begin{equation*} χ(H)=\left\langle H\,H^{ψ}\mid \lbrack h,h^{ψ}]=1\,\forall \,h\in H\right\rangle \text{.} \end{equation*}% It is known that the operator $χ$ preserves group properties such as finiteness, solubility and also nilpotency for finitely generated groups. We prove in this work that $χ$…
▽ More
The operator of weak commutativity between isomorphic groups $H$ and $H^{ψ}$ was defined by Sidki as \begin{equation*} χ(H)=\left\langle H\,H^{ψ}\mid \lbrack h,h^{ψ}]=1\,\forall \,h\in H\right\rangle \text{.} \end{equation*}% It is known that the operator $χ$ preserves group properties such as finiteness, solubility and also nilpotency for finitely generated groups. We prove in this work that $χ$ preserves the properties of being polycyclic and polycyclic by finite. As a consequence of this result, we conclude that the non-abelian tensor square $H\otimes H$ of a group $H$, defined by Brown and Loday, preserves the property polycyclic by finite. This last result extends that of Blyth and Morse who proved that $H\otimes H$ is polycyclic if $H$ is polycyclic.
△ Less
Submitted 19 September, 2014;
originally announced September 2014.
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.
