Permutational Wreath Pullback

• The paper introduces the permutational wreath pullback as H^n ⋊_σ G, a semidirect product framing a pullback from the classical wreath product H wr S_n.
• It analyzes structural invariants like the center and abelianization, emphasizing the role of surjective σ in enforcing uniform permutation actions.
• Applications to framed braid-type groups reveal rigidity results and the transfer of the R∞-property under condition (*) for finitely generated abelian groups.

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$ (Leite et al., 7 Apr 2026).

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 $\sigma\colon G \to S_n$0 acts on $\sigma\colon G \to S_n$1 by permuting coordinates, and $\sigma\colon G \to S_n$2 induces the $\sigma\colon G \to S_n$3-action

$\sigma\colon G \to S_n$4

With the inverse-permutation convention one may equivalently write

$\sigma\colon G \to S_n$5

and the paper emphasizes that the structural conclusions are independent of this choice. The multiplication law is

$\sigma\colon G \to S_n$6

for $\sigma\colon G \to S_n$7, and there is a short exact sequence

$\sigma\colon G \to S_n$8

(Leite et al., 7 Apr 2026).

The construction is well defined for any homomorphism $\sigma\colon G \to S_n$9, not only for surjections. The surjective case is singled out because it forces the action on $G$0 to contain all permutations, which simplifies fixed-point and coinvariant calculations. When $G$1 is not surjective, several formulas refine to orbit-wise statements under the subgroup $G$2 (Leite et al., 7 Apr 2026).

This notion sits inside a broader wreath-product tradition. Earlier work used “permutational wreath product” for semidirect products such as $G$3, with $G$4 acting on a set $G$5, or $G$6 for finite permutation sets $G$7 (Bartholdi et al., 2014, Bondarenko, 2010). The distinctive feature of the permutational wreath pullback is that the action is not specified by an arbitrary $G$8-set; instead, it is induced from the canonical $G$9-action and therefore tied to the permutation representation $H^n$0 (Leite et al., 7 Apr 2026).

2. Pullback description and functorial behavior

The classical wreath product is

$H^n$1

with projection

$H^n$2

A central result identifies the permutational wreath pullback as the fiber product

$H^n$3

where

$H^n$4

via the explicit isomorphism

$H^n$5

This is Theorem 4.1 of the paper and gives the construction its name: it is literally a pullback of $H^n$6 along $H^n$7 (Leite et al., 7 Apr 2026).

The same theorem explains the functoriality. In the $H^n$8-variable, a morphism $H^n$9 over $\sigma$0, meaning $\sigma$1, induces

$\sigma$2

In the $\sigma$3-variable, a homomorphism $\sigma$4 induces

$\sigma$5

The paper also records that if $\sigma$6 is an isomorphism with $\sigma$7, then

$\sigma$8

so the isomorphism type depends on $\sigma$9 up to equivalence of the permutation representation (Leite et al., 7 Apr 2026).

3. Diagonal subgroup, center, and abelianization

A basic structural role is played by the diagonal embedding

$H \wr S_n$0

This subgroup is $H \wr S_n$1-invariant. When $H \wr S_n$2 is surjective, the fixed-point subgroup $H \wr S_n$3 is exactly $H \wr S_n$4 (Leite et al., 7 Apr 2026).

For $H \wr S_n$5 with surjective $H \wr S_n$6, the center is

$H \wr S_n$7

In the special case $H \wr S_n$8, this becomes

$H \wr S_n$9

The formula separates the two contributions cleanly: from the base $n \ge 2$0, only the diagonal copy of $n \ge 2$1 survives, because surjectivity imposes invariance under all permutations; from the acting group $n \ge 2$2, only central elements acting trivially on $n \ge 2$3 contribute, namely $n \ge 2$4 (Leite et al., 7 Apr 2026).

The abelianization is equally explicit: $n \ge 2$5 for surjective $n \ge 2$6. The mechanism is that the permutation action identifies all coordinates in $n \ge 2$7, so the coinvariants collapse to a single copy of $n \ge 2$8 (Leite et al., 7 Apr 2026).

In the non-surjective case, the formulas become orbit-sensitive. If $n \ge 2$9 partitions $H$0 into orbits, then $H$1 consists of tuples constant on each orbit with values in $H$2. Likewise,

$H$3

that is, the coinvariants of the $H$4-permutation module $H$5. If $H$6 is transitive, this coinvariant is $H$7; otherwise it is a direct product of copies of $H$8 indexed by the $H$9-orbits (Leite et al., 7 Apr 2026).

4. Characteristic kernel and inheritance of the $G$0-property

A central question is whether the abelian kernel $G$1 can be detected intrinsically from the abstract group $G$2. When $G$3 is finitely generated abelian, the paper introduces condition $G$4: every abelian normal subgroup of $G$5 is contained in $G$6. Under $G$7, the base $G$8 is the largest abelian normal subgroup of $G$9 (Leite et al., 7 Apr 2026).

For $\sigma\colon G \to S_n$0, condition $\sigma\colon G \to S_n$1 is equivalent to

$\sigma\colon G \to S_n$2

The equivalence uses the fact that $\sigma\colon G \to S_n$3 has no non-trivial abelian normal subgroup for $\sigma\colon G \to S_n$4, so any abelian normal subgroup of $\sigma\colon G \to S_n$5 must project into $\sigma\colon G \to S_n$6 (Leite et al., 7 Apr 2026).

The intrinsic formulation is given by

$\sigma\colon G \to S_n$7

Under $\sigma\colon G \to S_n$8, one has $\sigma\colon G \to S_n$9. Since $\sigma\colon G \to S_n$00 is defined internally, this implies that $\sigma\colon G \to S_n$01 is characteristic in $\sigma\colon G \to S_n$02 (Leite et al., 7 Apr 2026).

This characteristicity is used to transfer the $\sigma\colon G \to S_n$03-property. For an endomorphism $\sigma\colon G \to S_n$04 of a group $\sigma\colon G \to S_n$05, two elements $\sigma\colon G \to S_n$06 are $\sigma\colon G \to S_n$07-twisted conjugate if

$\sigma\colon G \to S_n$08

for some $\sigma\colon G \to S_n$09; the number of twisted conjugacy classes is the Reidemeister number $\sigma\colon G \to S_n$10. A group has the $\sigma\colon G \to S_n$11-property if $\sigma\colon G \to S_n$12 for every automorphism $\sigma\colon G \to S_n$13. The paper applies an extension lemma: if $\sigma\colon G \to S_n$14 is exact and $\sigma\colon G \to S_n$15 is characteristic in $\sigma\colon G \to S_n$16, then $\sigma\colon G \to S_n$17 for $\sigma\colon G \to S_n$18 implies $\sigma\colon G \to S_n$19 for $\sigma\colon G \to S_n$20. Consequently, under $\sigma\colon G \to S_n$21, if $\sigma\colon G \to S_n$22 has the $\sigma\colon G \to S_n$23-property, then $\sigma\colon G \to S_n$24 has the $\sigma\colon G \to S_n$25-property (Leite et al., 7 Apr 2026).

The criterion is verified for several virtual braid-type kernels. For $\sigma\colon G \to S_n$26, the kernel $\sigma\colon G \to S_n$27 is an Artin group with no non-trivial abelian normal subgroup invariant under $\sigma\colon G \to S_n$28. For $\sigma\colon G \to S_n$29, the kernel $\sigma\colon G \to S_n$30 is a right-angled Artin group with trivial center. For $\sigma\colon G \to S_n$31, the kernel $\sigma\colon G \to S_n$32 is a right-angled Coxeter group which is infinite, irreducible, non-affine, and has no non-trivial amenable normal subgroup. Since $\sigma\colon G \to S_n$33 and $\sigma\colon G \to S_n$34 have $\sigma\colon G \to S_n$35, the paper obtains new families of framed groups with the $\sigma\colon G \to S_n$36-property when $\sigma\colon G \to S_n$37 is finitely generated abelian and $\sigma\colon G \to S_n$38 (Leite et al., 7 Apr 2026).

5. Rigidity and applications to framed braid-type groups

The pullback construction exhibits strong rigidity. If $\sigma\colon G \to S_n$39 and $\sigma\colon G \to S_n$40, then

$\sigma\colon G \to S_n$41

because $\sigma\colon G \to S_n$42 acts trivially on $\sigma\colon G \to S_n$43. If $\sigma\colon G \to S_n$44 is characteristic in $\sigma\colon G \to S_n$45 and $\sigma\colon G \to S_n$46 holds, then $\sigma\colon G \to S_n$47 is characteristic in $\sigma\colon G \to S_n$48 (Leite et al., 7 Apr 2026).

The main rigidity theorem treats

$\sigma\colon G \to S_n$49

with $\sigma\colon G \to S_n$50 finitely generated abelian, $\sigma\colon G \to S_n$51, and both groups satisfying $\sigma\colon G \to S_n$52. Any isomorphism $\sigma\colon G \to S_n$53 satisfies: $\sigma\colon G \to S_n$54

$\sigma\colon G \to S_n$55

For $\sigma\colon G \to S_n$56, the corollary is especially sharp: if $\sigma\colon G \to S_n$57 and $\sigma\colon G \to S_n$58 holds, then $\sigma\colon G \to S_n$59 and $\sigma\colon G \to S_n$60 (Leite et al., 7 Apr 2026).

These results support a uniform description of framed braid-type groups. The paper lists: $\sigma\colon G \to S_n$61

$\sigma\colon G \to S_n$62

where $\sigma\colon G \to S_n$63 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 (Leite et al., 7 Apr 2026).

The structural formulas immediately recover standard invariants. For example, for classical framed braids and $\sigma\colon G \to S_n$64,

$\sigma\colon G \to S_n$65

and

$\sigma\colon G \to S_n$66

For large surfaces $\sigma\colon G \to S_n$67, the paper records

$\sigma\colon G \to S_n$68

with the latter generated by $\sigma\colon G \to S_n$69. For virtual and singular cases it gives, for instance,

$\sigma\colon G \to S_n$70

(Leite et al., 7 Apr 2026).

A further application concerns splitting problems. If

$\sigma\colon G \to S_n$71

is the Fadell–Neuwirth forgetful map, then the induced map

$\sigma\colon G \to S_n$72

admits a section if and only if $\sigma\colon G \to S_n$73 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 (Leite et al., 7 Apr 2026).

6. Examples, limitations, and broader context

Concrete low-rank examples show how the pullback differs from the classical wreath product. For $\sigma\colon G \to S_n$74, $\sigma\colon G \to S_n$75, and $\sigma\colon G \to S_n$76 with surjective $\sigma\colon G \to S_n$77, one has $\sigma\colon G \to S_n$78 and $\sigma\colon G \to S_n$79, so

$\sigma\colon G \to S_n$80

and

$\sigma\colon G \to S_n$81

By contrast, for the classical wreath product $\sigma\colon G \to S_n$82, the center is only $\sigma\colon G \to S_n$83, and the abelianization is $\sigma\colon G \to S_n$84. The paper’s comparison makes explicit that the pullback retains the $\sigma\colon G \to S_n$85-factor rather than replacing it by $\sigma\colon G \to S_n$86 (Leite et al., 7 Apr 2026).

For $\sigma\colon G \to S_n$87, $\sigma\colon G \to S_n$88, and $\sigma\colon G \to S_n$89 with the standard projection, the center of $\sigma\colon G \to S_n$90 is generated by $\sigma\colon G \to S_n$91 and lies in $\sigma\colon G \to S_n$92. Hence

$\sigma\colon G \to S_n$93

and

$\sigma\colon G \to S_n$94

(Leite et al., 7 Apr 2026).

The framework also has explicit limitations. Condition $\sigma\colon G \to S_n$95 fails for the classical braid group $\sigma\colon G \to S_n$96 because $\sigma\colon G \to S_n$97 is a non-trivial abelian normal subgroup, so $\sigma\colon G \to S_n$98 need not be the maximal abelian normal subgroup. Another open point recorded in the paper is the virtual braid epimorphism $\sigma\colon G \to S_n$99: verifying condition $G$00 for its kernel $G$01 remains open (Leite et al., 7 Apr 2026).

In broader group theory, the construction belongs to a larger landscape of permutational wreath products. Earlier work studied homological finiteness $G$02 for $G$03, including the pullback of the action along a homomorphism $G$04 (Bartholdi et al., 2014). Infinite iterated permutational wreath products in the profinite category were analyzed through inverse limits of finite-level wreath products $G$05 (Bondarenko, 2010). 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 (Praeger et al., 2011). Restricted permutational wreath products were also studied via $G$06-invariants, where pullback along a homomorphism of acting groups replaces stabilizers by inverse images (Mendonça, 2017), and via Property $G$07, where $G$08 has $G$09 exactly under explicit conditions on $G$10, finite generation or cofinality, and the $G$11-action on $G$12 (Cornulier et al., 2010). Within that landscape, the permutational wreath pullback isolates the finite-coordinate, representation-theoretic setting in which the action comes from $G$13 and the resulting group is simultaneously a semidirect product and a fiber product over $G$14 (Leite et al., 7 Apr 2026).