---
title: Permutational Wreath Pullback
url: https://www.emergentmind.com/topics/permutational-wreath-pullback
type: topic
---

# Permutational Wreath Pullback

A permutational wreath pullback is the semidirect product
\[
H \wr_\sigma G := H^n \rtimes_\sigma G
\]
attached to a homomorphism \(\sigma\colon G \to S_n\), usually assumed surjective, where \(G\) acts on \(H^n\) by permuting coordinates through \(\sigma\). Introduced in the study of framed braid-type groups, the construction provides a uniform algebraic framework in which classical, surface, virtual, and singular framed braid groups appear as instances, while also admitting a literal pullback description from the classical wreath product \(H \wr S_n\) [2604.05281].

## 1. Definition and position within wreath-product constructions

Let \(n \ge 2\), let \(H\) and \(G\) be groups, and let \(\sigma\colon G \to S_n\) be a surjective homomorphism. The symmetric group \(S_n\) acts on \(H^n\) by permuting coordinates, and \(\sigma\) induces the \(G\)-action
\[
g \cdot (h_1,\dots,h_n)=\bigl(h_{\sigma(g)(1)},\dots,h_{\sigma(g)(n)}\bigr).
\]
With the inverse-permutation convention one may equivalently write
\[
\sigma(g)\cdot(h_1,\dots,h_n)=\bigl(h_{\sigma(g)^{-1}(1)},\dots,h_{\sigma(g)^{-1}(n)}\bigr),
\]
and the paper emphasizes that the structural conclusions are independent of this choice. The multiplication law is
\[
(\mathbf{h},g)\cdot(\mathbf{h}',g')
=
\bigl(\mathbf{h}\cdot(g\cdot\mathbf{h}'),\,gg'\bigr),
\]
for \(\mathbf{h},\mathbf{h}'\in H^n\), and there is a short exact sequence
\[
1 \longrightarrow H^n \longrightarrow H \wr_\sigma G \longrightarrow G \longrightarrow 1
\]
[2604.05281].

The construction is well defined for any homomorphism \(\sigma\), not only for surjections. The surjective case is singled out because it forces the action on \(H^n\) to contain all permutations, which simplifies fixed-point and coinvariant calculations. When \(\sigma\) is not surjective, several formulas refine to orbit-wise statements under the subgroup \(\sigma(G)\le S_n\) [2604.05281].

This notion sits inside a broader wreath-product tradition. Earlier work used “permutational wreath product” for semidirect products such as \(A^{(X)}\rtimes B\), with \(B\) acting on a set \(X\), or \(H^X\rtimes G\) for finite permutation sets \(X\) [1406.5261], [1002.0320]. The distinctive feature of the permutational wreath pullback is that the action is not specified by an arbitrary \(G\)-set; instead, it is induced from the canonical \(S_n\)-action and therefore tied to the permutation representation \(\sigma\colon G\to S_n\) [2604.05281].

## 2. Pullback description and functorial behavior

The classical wreath product is
\[
H \wr S_n = H^n \rtimes S_n,
\]
with projection
\[
\pi(\mathbf{h},\tau)=\tau.
\]
A central result identifies the permutational wreath pullback as the fiber product
\[
H \wr_\sigma G \cong G \times_{S_n} (H \wr S_n),
\]
where
\[
G \times_{S_n} (H \wr S_n)
=
\{(g,(\mathbf{h},\tau))\in G\times (H\wr S_n)\mid \sigma(g)=\tau\},
\]
via the explicit isomorphism
\[
(\mathbf{h},g)\longmapsto \bigl(g,(\mathbf{h},\sigma(g))\bigr).
\]
This is Theorem 4.1 of the paper and gives the construction its name: it is literally a pullback of \(H\wr S_n\) along \(\sigma\) [2604.05281].

The same theorem explains the functoriality. In the \(G\)-variable, a morphism \(f\colon (G_1,\sigma_1)\to (G_2,\sigma_2)\) over \(S_n\), meaning \(\sigma_2\circ f=\sigma_1\), induces
\[
H \wr_{\sigma_1} G_1 \to H \wr_{\sigma_2} G_2,\qquad
(\mathbf{h},g)\mapsto (\mathbf{h},f(g)).
\]
In the \(H\)-variable, a homomorphism \(\phi\colon H\to K\) induces
\[
H \wr_\sigma G \to K \wr_\sigma G,\qquad
(\mathbf{h},g)\mapsto \bigl(\phi(h_1),\dots,\phi(h_n),g\bigr).
\]
The paper also records that if \(f\colon G_1\to G_2\) is an isomorphism with \(\sigma_2\circ f=\sigma_1\), then
\[
H \wr_{\sigma_1} G_1 \cong H \wr_{\sigma_2} G_2,
\]
so the isomorphism type depends on \((G,\sigma)\) up to equivalence of the permutation representation [2604.05281].

## 3. Diagonal subgroup, center, and abelianization

A basic structural role is played by the diagonal embedding
\[
\Delta\colon H\to H^n,\qquad \Delta(h)=(h,\dots,h).
\]
This subgroup is \(G\)-invariant. When \(\sigma\) is surjective, the fixed-point subgroup \((H^n)^G\) is exactly \(\Delta(H)\) [2604.05281].

For \(W=H\wr_\sigma G\) with surjective \(\sigma\), the center is
\[
Z(W)=\Delta\bigl(Z(H)\bigr)\times \bigl(Z(G)\cap \ker(\sigma)\bigr).
\]
In the special case \(Z(G)\subseteq \ker(\sigma)\), this becomes
\[
Z(W)=\Delta\bigl(Z(H)\bigr)\times Z(G).
\]
The formula separates the two contributions cleanly: from the base \(H^n\), only the diagonal copy of \(Z(H)\) survives, because surjectivity imposes invariance under all permutations; from the acting group \(G\), only central elements acting trivially on \(H^n\) contribute, namely \(Z(G)\cap \ker(\sigma)\) [2604.05281].

The abelianization is equally explicit:
\[
(H \wr_\sigma G)^{\mathrm{ab}} \cong H^{\mathrm{ab}} \times G^{\mathrm{ab}}
\]
for surjective \(\sigma\). The mechanism is that the permutation action identifies all coordinates in \((H^{\mathrm{ab}})^n\), so the coinvariants collapse to a single copy of \(H^{\mathrm{ab}}\) [2604.05281].

In the non-surjective case, the formulas become orbit-sensitive. If \(\sigma(G)\) partitions \(\{1,\dots,n\}\) into orbits, then \(Z(W)\cap H^n\) consists of tuples constant on each orbit with values in \(Z(H)\). Likewise,
\[
(H \wr_\sigma G)^{\mathrm{ab}}
\cong
\Bigl((H^{\mathrm{ab}})^n \Big/ \langle (g\cdot \mathbf{a})\mathbf{a}^{-1}\rangle\Bigr)\times G^{\mathrm{ab}},
\]
that is, the coinvariants of the \(\sigma(G)\)-permutation module \((H^{\mathrm{ab}})^n\). If \(\sigma(G)\) is transitive, this coinvariant is \(H^{\mathrm{ab}}\); otherwise it is a direct product of copies of \(H^{\mathrm{ab}}\) indexed by the \(\sigma(G)\)-orbits [2604.05281].

## 4. Characteristic kernel and inheritance of the \(R_\infty\)-property

A central question is whether the abelian kernel \(H^n\) can be detected intrinsically from the abstract group \(W=H\wr_\sigma G\). When \(H\) is finitely generated abelian, the paper introduces condition \((*)\): every abelian normal subgroup of \(W\) is contained in \(H^n\). Under \((*)\), the base \(H^n\) is the largest abelian normal subgroup of \(W\) [2604.05281].

For \(n\ge 5\), condition \((*)\) is equivalent to
\[
(\ast\ast)\qquad \ker(\sigma)\ \text{contains no non-trivial abelian normal subgroup of }G.
\]
The equivalence uses the fact that \(S_n\) has no non-trivial abelian normal subgroup for \(n\ge 5\), so any abelian normal subgroup of \(W\) must project into \(\ker(\sigma)\) [2604.05281].

The intrinsic formulation is given by
\[
\mathcal{A}(X)=\langle A\le X\mid A\text{ abelian and normal in }X\rangle.
\]
Under \((*)\), one has \(\mathcal{A}(W)=H^n\). Since \(\mathcal{A}(W)\) is defined internally, this implies that \(H^n\) is characteristic in \(W\) [2604.05281].

This characteristicity is used to transfer the \(R_\infty\)-property. For an endomorphism \(\alpha\) of a group \(G\), two elements \(x,y\) are \(\alpha\)-twisted conjugate if
\[
x=zy\alpha(z)^{-1}
\]
for some \(z\in G\); the number of twisted conjugacy classes is the Reidemeister number \(R(\alpha)\). A group has the \(R_\infty\)-property if \(R(\varphi)=\infty\) for every automorphism \(\varphi\). The paper applies an extension lemma: if \(1\to N\to E\to Q\to 1\) is exact and \(N\) is characteristic in \(E\), then \(R_\infty\) for \(Q\) implies \(R_\infty\) for \(E\). Consequently, under \((*)\), if \(G\) has the \(R_\infty\)-property, then \(H\wr_\sigma G\) has the \(R_\infty\)-property [2604.05281].

The criterion is verified for several virtual braid-type kernels. For \((VB_n,\pi_K)\), the kernel \(KB_n\) is an Artin group with no non-trivial abelian normal subgroup invariant under \(VB_n\). For \((VT_n,\sigma)\), the kernel \(PVT_n\) is a right-angled Artin group with trivial center. For \((VT_n,\theta)\), the kernel \(KT_n\) is a right-angled Coxeter group which is infinite, irreducible, non-affine, and has no non-trivial amenable normal subgroup. Since \(VB_n\) and \(VT_n\) have \(R_\infty\), the paper obtains new families of framed groups with the \(R_\infty\)-property when \(H\) is finitely generated abelian and \(n\ge 5\) [2604.05281].

## 5. Rigidity and applications to framed braid-type groups

The pullback construction exhibits strong rigidity. If \(P_\sigma=\ker(\sigma)\le G\) and \(PW=\pi^{-1}(P_\sigma)\le W\), then
\[
PW\cong H^n \times P_\sigma
\]
because \(P_\sigma\) acts trivially on \(H^n\). If \(P_\sigma\) is characteristic in \(G\) and \((*)\) holds, then \(PW\) is characteristic in \(W\) [2604.05281].

The main rigidity theorem treats
\[
W=H^n\rtimes_\sigma G,\qquad
W'=K^m\rtimes_{\sigma'} G',
\]
with \(H,K\) finitely generated abelian, \(n,m\ge 3\), and both groups satisfying \((*)\). Any isomorphism \(\Phi\colon W\to W'\) satisfies:
\[
\Phi(H^n)=K^m,\qquad H^n\cong K^m,\qquad
\operatorname{rk}(H)\,n=\operatorname{rk}(K)\,m,
\]
\[
T(H)^n\cong T(K)^m,\qquad G\cong G'.
\]
For \(H=K=\mathbb Z\), the corollary is especially sharp: if \(\mathbb Z^n\rtimes G\cong \mathbb Z^m\rtimes G'\) and \((*)\) holds, then \(n=m\) and \(G\cong G'\) [2604.05281].

These results support a uniform description of framed braid-type groups. The paper lists:
\[
FB_n=\mathbb Z^n\rtimes_\sigma B_n,
\qquad
FB_n(M)=\mathbb Z^n\rtimes_\sigma B_n(M),
\]
\[
FVB_n=\mathbb Z^n\rtimes_\sigma VB_n,
\qquad
FSG_n=\mathbb Z^n\rtimes_\sigma SG_n,
\]
where \(\sigma\) is the appropriate strand-permutation or virtual-braid epimorphism. In this way, classical framed braids, framed surface braids, framed virtual braids, and framed singular braids all enter the same algebraic template [2604.05281].

The structural formulas immediately recover standard invariants. For example, for classical framed braids and \(n\ge 3\),
\[
Z(FB_n)=\langle t_1\cdots t_n\rangle \times \langle \Delta_n^2\rangle \cong \mathbb Z\times \mathbb Z,
\]
and
\[
(FB_n)^{\mathrm{ab}}\cong \mathbb Z\times \mathbb Z.
\]
For large surfaces \(M\), the paper records
\[
Z(FP_n(M))\cong \mathbb Z^n,\qquad
Z(FB_n(M))\cong \mathbb Z,
\]
with the latter generated by \(t_1\cdots t_n\). For virtual and singular cases it gives, for instance,
\[
(FVB_n)^{\mathrm{ab}}\cong \mathbb Z\times VB_n^{\mathrm{ab}},
\qquad
(FSG_n)^{\mathrm{ab}}\cong \mathbb Z\times SG_n^{\mathrm{ab}}
\]
[2604.05281].

A further application concerns splitting problems. If
\[
p_*\colon P_{n+m}(M)\to P_n(M)
\]
is the Fadell–Neuwirth forgetful map, then the induced map
\[
(\psi_m,p_*)\colon FP_{n+m}(M)\to FP_n(M)
\]
admits a section if and only if \(p_*\) admits a section. Thus splitting questions for framed surface braid groups reduce exactly to the classical Fadell–Neuwirth setting, and the paper states that there are no new obstructions in the framed case [2604.05281].

## 6. Examples, limitations, and broader context

Concrete low-rank examples show how the pullback differs from the classical wreath product. For \(H=\mathbb Z\), \(n=2\), and \(G=B_2\cong \mathbb Z\) with surjective \(\sigma\colon B_2\to S_2\), one has \(\ker(\sigma)\cong 2\mathbb Z\) and \(Z(G)=G\), so
\[
Z(\mathbb Z\wr_\sigma B_2)
=
\Delta(\mathbb Z)\times \bigl(Z(B_2)\cap \ker(\sigma)\bigr)
=
\mathbb Z\times \mathbb Z,
\]
and
\[
(\mathbb Z\wr_\sigma B_2)^{\mathrm{ab}}\cong \mathbb Z\times \mathbb Z.
\]
By contrast, for the classical wreath product \(\mathbb Z\wr S_2=\mathbb Z^2\rtimes S_2\), the center is only \(\Delta(\mathbb Z)\), and the abelianization is \(\mathbb Z\times \mathbb Z/2\mathbb Z\). The paper’s comparison makes explicit that the pullback retains the \(G\)-factor rather than replacing it by \(S_n\) [2604.05281].

For \(H=\mathbb Z\), \(n=3\), and \(G=B_3\) with the standard projection, the center of \(B_3\) is generated by \(\Delta_3^2\) and lies in \(\ker(\sigma)\). Hence
\[
Z(\mathbb Z\wr_\sigma B_3)
=
\Delta(\mathbb Z)\times \langle \Delta_3^2\rangle
\cong \mathbb Z\times \mathbb Z,
\]
and
\[
(\mathbb Z\wr_\sigma B_3)^{\mathrm{ab}}
\cong
\mathbb Z\times \mathbb Z
\]
[2604.05281].

The framework also has explicit limitations. Condition \((*)\) fails for the classical braid group \(B_n\) because \(Z(B_n)\le P_n=\ker(\sigma)\) is a non-trivial abelian normal subgroup, so \(H^n\) need not be the maximal abelian normal subgroup. Another open point recorded in the paper is the virtual braid epimorphism \(\pi_P\colon VB_n\to S_n\): verifying condition \((\ast\ast)\) for its kernel \(VP_n\) remains open [2604.05281].

In broader group theory, the construction belongs to a larger landscape of permutational wreath products. Earlier work studied homological finiteness \(FP_m\) for \(A^{(X)}\rtimes B\), including the pullback of the action along a homomorphism \(\phi\colon Q\to B\) [1406.5261]. Infinite iterated permutational wreath products in the profinite category were analyzed through inverse limits of finite-level wreath products \(G_n\wr\cdots\wr G_1\) [1002.0320]. In product action, subgroups of full permutation wreath products were shown to admit orbit-wise coordinate reduction and embedding into smaller wreath products or products of wreath products [1108.3611]. Restricted permutational wreath products were also studied via \(\Sigma\)-invariants, where pullback along a homomorphism of acting groups replaces stabilizers by inverse images [1709.06303], and via Property \((FA)\), where \(A\wr_X B=A^{(X)}\rtimes B\) has \((FA)\) exactly under explicit conditions on \(A^{\mathrm{ab}}\), finite generation or cofinality, and the \(B\)-action on \(X\) [1004.2582]. Within that landscape, the permutational wreath pullback isolates the finite-coordinate, representation-theoretic setting in which the action comes from \(\sigma\colon G\to S_n\) and the resulting group is simultaneously a semidirect product and a fiber product over \(S_n\) [2604.05281].

Source: https://www.emergentmind.com/topics/permutational-wreath-pullback