# Tag Archives: wreath product

## producto semi-directo

diagram chasing the wreath

2014/05/03 · 14:50

## wreath functoriality

2014/04/03 · 21:20

## permutational wreath product

Having an action $G\times R\to R$ between two groups means a map $(g,r)\mapsto ^g\!r$ that comply

• ${^1}r=r$
• $^{xy}r=\ ^x(^yr)$
• $^x(rs)=\ ^xr ^xs$

Then one can assemble a new operation on $R\times G$ to construct the semidirect product $R\rtimes G$. The group obtained is by operating

$(r,g)(s,h)=(r\ {^h}s,g\ h).$

Let $\Sigma$ be a set and $A^{\Sigma}$ the set of all maps $\Sigma\to A$. If we have an action $\Sigma\times G\to\Sigma$ then, we also can give action $G\times A^{\Sigma}\to A^{\Sigma}$ via

$gf(x)=f(xg)$

Then we define

$A\wr_{\Sigma}G=A^{\Sigma}\rtimes G$

the so called permutational wreath product.

This ultra-algebraic construction allow to give a proof  of two pillars theorems in group theory: Nielsen – Schreier and Kurosh.

The proof becomes functorial due the properties of this wreath product.

The following diagram is to be exploited

Ribes – Steinberg 2008