1. Introduction

Embedding is one of the most important properties of wreath product; this property was further investigated with regards to imprimitivity of groups, normal subgroups and Quotient Group. Many people have worked on wreath products over the years and their work is as shown below:

Suzuki [2] in 1982 proved the Kaloujnine-Krasner Theorem that states that if F is a group extension of N by G, then F can be embedded inside the standard wreath product $NWrG$. Audu [1] in 1991 proved that a permutation group that is transitive and imprimitive that is acting on a finite set can be embedded inside the wreath product $X^{\text{Δ}}wr{G}^{\text{Δ}}$, where $X=G_{\left\{\text{Δ}\right\}}$ is the setwise stabilizer of G and $X^{\text{Δ}},G^{\text{Δ}}$ are the constituents of X and G respectively while Δ is an element in the set of imprimitivity. Dixon & Mortimer [3] in 1996 expounded that any transitive and imprimitive group G can be embedded inside a wreath product in such a way that the kernel consists of the set of elements of the group which are mapped into the base group. Conway et al. [4] in 1998 gave an example of a group of degree 8 that is generated by $x=\left(15\right)\left(37\right)$, $y=\left(1458\right)\left(23\right)\left(67\right)$ and $z=\left(02\right)\left(13\right)\left(46\right)\left(57\right)$ with four block system namely: ${\text{Δ}}_1=\left\{\left\{0,4\right\},\left\{1,5\right\},\left\{2,6\right\},\left\{3,7\right\}\right\}$, ${\text{Δ}}_2=\left\{\left\{0,3,4,7\right\},\left\{1,2,5,6\right\}\right\}$, ${\text{Δ}}_3=\left\{\left\{0,2,4,6\right\},\left\{1,3,5,7\right\}\right\}$, ${\text{Δ}}_4=\left\{\left\{0,1,4,5\right\},\left\{2,3,6,7\right\}\right\}$. They showed that the group which is imprimitive can be embedded inside the wreath product ${\text{Δ}}_{1}wrE\left(4\right)$.

Bamberg [5] in 2005 states that if G is any transitive imprimitive permutation group on a set Ω and Λ a G-invariant partition of Ω, if also Δ is an element of Λ and C the permutation group induced by the action of $G_{\left\{\text{Δ}\right\}}$ on Δ. If D is the group of permutations induced by G on Λ, then Ω may be identified with $\text{Δ}\times \text{Λ}$ in such a way that G can be embedded into the wreath product $CwrD$ in imprimitive action. Bamberg further states that if G is transitive but imprimitive group on a finite set Ω, then G can be embedded into the wreath product $G_{\left\{\text{Δ}\right\}}^{\text{Δ}}wr{S}_n$ acting in imprimitive action, where Δ is a block for G, $G_{\left\{\text{Δ}\right\}}^{\text{Δ}}$ is the group induced by the action of setwise stabilizer $G_{\left\{\text{Δ}\right\}}$ on Δ, and n is the size of the orbit of Δ under G. If $G_{\left\{\text{Δ}\right\}}^{\text{Δ}}$ is also imprimitive, then $G_{\left\{\text{Δ}\right\}}^{\text{Δ}}$ embeds into a wreath product. As Ω is finite, the process can continue until an embedding of G into iterated wreath product of primitive groups was found. Chan [6] in 2006 proved that every faithful group action that is transitive and imprimitive is embeddable in a wreath product. Cameron [7] in 2013 showed that if H is a permutation group induced on a part by its setwise stabilizer and if K is the permutation group induced on the set of parts by the group G, then G is embedded in the wreath product $HwrK$.

Tamuli [8] in (1972) gave a new prove of the Universal Embedding Theorem and further proved that if N is a subgroup of a group H and all are subgroups of another group G, then G can be embedded inside the wreath product $Hwr\left(G/N\right)$. Tamuli further proved that if the subgroup H has a transversal T which centralizes H in G, then the embedding $\beta :G\to Hwr\left(G/N\right)$ is an extension of the diagonal embedding ${\alpha }_0:N\to Nwr\left(G/N\right)$. Tamuli also proved that if Q is an amalgam of two subgroups A and B in which their intersection N is a normal subgroup of B, and if T is the transversal of N in B, then the amalgam Q can be embedded inside the wreath product $Awr\left(B/H\right)$. Dixon & Mortimer [3] (1996) stated and gave a new proof of the Universal Embedding Theorem that states: If G is an arbitrary group with a normal subgroup N, and $K:=G/N$ the factor group of G by N, then $\varphi :G\to NwrK$ is an embedding such that $\varphi$ maps N onto $\mathrm{Im}\varphi \cap B$, where B is the base group of $NwrK$. Mikaelian [9] in 2002 showed that every extension of a group G where the group product is the product variety that consists of all extensions of groups, if N is a normal subgroup and $H\cong G/N$, then every extension of G can be isomorphically embedded into the wreath product $NWrH$. Hulpke [10] in 2004 proved that a transitive group G can be embedded inside the wreath product $N_G\left(A\right)wrG/M$ if M is a normal subgroup of G and A any subgroup of G.

Given isomorphism between two groups, knowing how the first group is isomorphic to a subgroup of the other groups helps us to know the structures being preserved. Since a wreath product is a group with many subgroups, it is easily seen that to be isomorphic to a group.

In this paper, we were able to give new proof of the theorem by Audu (1991) (see [1] ); we obtained the proof of the following: a group can be embedded into the wreath product of a factor group by a normal subgroup; the wreath product of two factor groups can be embedded into a group; when the abstract group in the Universal Embedding Theorem is a p-group, cyclic and simple, the embedding is an isomorphism.

2. Basic Definitions

An action of a group G on a non-empty set Ω is a map $\mu :G\times \Omega \to \Omega$ denoted by $\mu \left(g,\alpha \right)={\alpha }^g$ for all $g\in G$, $\alpha \in \Omega$ such that

1) ${\left({\alpha }^g\right)}^h={\alpha }^{gh}$ for all $\alpha \in \Omega$ and all $g,h\in G$ (1)

2) ${\alpha }^1=\alpha$ for all $\alpha \in \Omega$ (2)

We then say that G acts onΩ.

If G and H are groups, then $G\times H$ is a group called the Direct Product of G and H where $G\times H=\left\{\left(g,h\right)|g\in G,h\in H\right\}$ and multiplication is defined by

$\left(g_1,h_1\right)\left(g_2,h_2\right)=\left(g_1{g}_2,h_1{h}_2\right)$ (3)

If $1_G$ is the identity for G, and $1_H$ is the identity for H, then $\left(1_G,1_H\right)$ is the identity for

$G\times H$ and ${\left(g,h\right)}^{-1}=\left(g^{-1},h^{-1}\right)$ (4)

(see details in [11] )

If Γ and Δ are nonempty sets, then we call ${\text{Γ}}^{\text{Δ}}$ to denote the set of all functions from Δ to Γ. In the case that C is a group, we turn $C^{\text{Δ}}$ into a group by defining product “pointwise”

$fg\left(\gamma \right):=f\left(\gamma \right)g\left(\gamma \right)$ (5)

for all $f,g\in C^{\text{Δ}}$ and $\gamma \in \text{Δ}$ where the product in the right is in C.

Let C and D be groups and suppose D acts on the nonempty set Δ. Then the wreath product of C by D is defined with respect to this action is defined to be the semidirect product $C^{\text{Δ}}⋊D=CwrD$ where D acts on the group $C^{\text{Δ}}$ via

$f^d\left(\gamma \right):=f\left({\gamma }^{d^{-1}}\right)$ (6)

for all $f\in C^{\text{Δ}}$, $\gamma \in \text{Δ}$ and $d\in D$ and multiplication for all $\left(f_1,d_1\right),\left(f_2,d_2\right)\in CwrD$ is given by

$\left(f_1,d_1\right)\left(f_2,d_2\right)=\left(f_1{f}_2^{d_1^{-1}},d_1{d}_2\right)$ (7)

Clearly, $\left|CwrD\right|={\left|C\right|}^{\left|\text{Δ}\right|}\left|D\right|$ (8)

(see details in [12] )

A homomorphism $\varphi :G\to H$ that is one-to-one (injective) is called an embedding: the group G “embeds” into H as a subgroup. If $\varphi$ is not one-to-one, then it is a quotient. Note that if $\varphi :G\to H$ is an embedding, then $\ker \left(\varphi \right)=\left\{e_G\right\}$ and from the First Isomorphism Theorem, $\mathrm{Im}\left(\varphi \right)\cong G/\left\{e_G\right\}\cong G$. Now $\mathrm{Im}\left(\varphi \right)\le H$ as $\varphi :G\to H$ is a homomorphism, and so we conclude that in an embedding, G is isomorphic to a subgroup of H. In symbol $G\lesssim H$.

3. Results

We now give an alternative proof to a theorem of Audu (1991) and also outline some propositions with their proofs. We proved embedding by showing that they are homomorphic and injective. We gave three conditions on the Universal Embedding Theorem (Dixon & Mortimer, 1996) when the group is a p-group and when the group is simple.

Theorem 1 (see [1] ): Let G be any transitive and imprimitivity group acting on a set Ω; let $\text{Λ}:=\left\{{\text{Δ}}_i:1\le i\le s\right\}$ be a system of imprimitivity of G and Δ be an element of Λ. If $X:=G_{\left\{\text{Δ}\right\}}$ then G can be embedded inside the wreath product $X^{\text{Δ}}wr{G}^{\text{Δ}}$.

Proof: Let $\psi :G\to G^{\text{Λ}}$ be a homomorphism of G onto $G^{\text{Λ}}$ with kernel $K:=G_{\left(\text{Λ}\right)}$. Let $\psi$ be defined by

$\psi \left(t_u\right)=u$ (9)

for each $u\in G^{\text{Λ}}$. If $x\in G$, then

$\psi \left(t_{u}x\right)=\psi \left(t_u\right)\psi (\; x\; )$

$=u\psi \left(x\right)$ (by (9))

$=\psi \left(t_{u\psi \left(x\right)}\right)$ (by (9))

Therefore, since $\psi \left(t_{u}x\right)=\psi \left(t_{u\psi \left(x\right)}\right)$ it implies that $\psi \left(t_{u}x\right){\psi }^{-1}\left(t_{u\psi \left(x\right)}\right)=1$. Therefore, $\psi \left(t_{u}x{t}_{u\psi \left(x\right)}^{-1}\right)=1$. Thus $t_{u}x{t}_{u\psi \left(x\right)}^{-1}$ lies in the kernel K. That is, $t_{u}x{t}_{u\psi \left(x\right)}^{-1}\in G_{\left(\text{Λ}\right)}$. By the definition of wreath product, we can define a function for each $x\in G$, such that $f_x:G^{\text{Λ}}\to X^{\text{Δ}}$ by

$f_x\left(u\right):=t_{u}x{t}_{u\psi \left(x\right)}^{-1}$ (10)

for all $u\in G^{\text{Λ}}$.

We claim that $\varphi \left(x\right):=\left(f_x,\psi \left(x\right)\right)\in X^{\text{Δ}}wr{G}^{\text{Δ}}$ defines an embedding $\varphi$ of G into $X^{\text{Δ}}wr{G}^{\text{Δ}}$ with the function (10).

We seek to show that $\varphi$ is a homomorphism and is injective, hence an embedding.

Take $x,y\in G$, then

$\varphi \left(x\right)\varphi \left(x\right)=\left(f_x,\psi \left(x\right)\right)\left(f_y,\psi (\; y\; )\right)$

$=\left(f_x{f}_y^{\psi {\left(x\right)}^{-1}},\psi \left(x\right)\psi \left(y\right)\right)$ (by (7))

Now since $\psi$ is a homomorphism,

$\psi \left(x\right)\psi \left(y\right)=\psi \left(xy\right)$ (11)

By (10), $f_x{f}_y^{\psi {\left(x\right)}^{-1}}$ can be expressed for all $u\in G^{\text{Λ}}$ as follows:

$f_x\left(u\right)f_y^{\psi {\left(x\right)}^{-1}}\left(u\right)t_{u\psi \left(xy\right)}=f_x\left(u\right)f_y\left(u\psi \left(x\right)\right)t_{u\psi \left(x\right)\psi \left(y\right)}$ (by (6) and (11))

$=f_x\left(u\right)t_{u\psi \left(x\right)}{t}_{u\psi \left(x\right)\psi \left(y\right)}^{-1}{t}_{u\psi \left(x\right)\psi \left(y\right)}y$ (by (10))

$=f_x\left(u\right)t_{u\psi \left(x\right)}y$

$=t_{u}x{t}_{u\psi \left(x\right)}^{-1}{t}_{u\psi \left(x\right)}y$ (by (10))

$=t_{u}xy$

$=f_{xy}\left(u\right)t_{u\psi \left(xy\right)}$ (by (10))

Therefore, we have that

$f_x{f}_y^{\psi {\left(x\right)}^{-1}}=f_{xy}$ (12)

Hence $\varphi \left(x\right)\varphi \left(x\right)=\left(f_{xy},\psi \left(xy\right)\right)=\varphi \left(xy\right)$ (by (11) and (12)). Hence $\varphi$ is a homomorphism.

Next, we show that $\varphi$ is injective. Now $\ker \varphi =1$ since $\varphi \left(x\right)=1$ implies $f_x=1$ and $\psi \left(x\right)=1$, and so $x=t_1^{-1}{f}_x\left(1\right)t_{1\psi \left(x\right)}=t_1^{-1}{t}_1=1$. Thus $G\lesssim X^{\text{Δ}}wr{G}^{\text{Δ}}$.

Example 1:

Let $\begin{array}{c}G=\langle \left(12345678\right)\rangle \\ =\{\left(1\right),\left(12345678\right),\left(1357\right)\left(2468\right),\left(14725836\right),\\ \left(15\right)\left(26\right)\left(37\right)\left(48\right),\left(16385274\right),\left(1753\right)\left(2864\right),\left(18765432\right)\}\end{array}$ is a transitive group. Then $\Delta =\left\{1,3,5,7\right\}$ is block of G. $X=G_{\Delta }=\left\{\left(1\right),\left(1357\right)\left(2468\right),\left(15\right)\left(26\right)\left(37\right)\left(48\right),\left(1753\right)\left(2864\right)\right\}$. And $X^{\text{Δ}}=\left(1357\right)=\left\{\left(1\right),\left(1357\right),\left(15\right)\left(37\right),\left(1753\right)\right\}\cong C_4$, $G^{\text{Δ}}=\left(1357\right)=\left\{\left(1\right),\left(1357\right),\left(15\right)\left(37\right),\left(1753\right)\right\}\cong C_4$. Thus $\begin{array}{l}{X}^{\text{Δ}}wr{G}^{\text{Δ}}\cong \langle \left(1234\right),\left(5678\right),\left(9101112\right),\left(13141516\right),\\ \left(15913\right)\left(261014\right)\left(371115\right)\left(481216\right)\rangle \end{array}$ which is a group of order 1024.

Proposition 2: Let G be an arbitrary subgroup with a normal subgroup N and $\gamma :G\to G/N$ be the natural homomorphism. Suppose that $\varphi :G\to GwrG/N$ is a homomorphism then there is an embedding $\psi :G/N\to GwrG/N$ making the diagram

Proof: If the diagram is to commute (see Figure 1), then we have for an arbitrary $xN$ ( $x\in G$ ) such that

$\psi \left(xN\right)=\psi \gamma \left(x\right)=\varphi \left(x\right)$ (13)

and that is the only way it can be defined. First, we notice that (13) reposes only on the coset xN and not on the representativex. For if, $xN=x^{\prime }N$, then $N=x^{-1}{x}^{\prime }N$, and $x^{-1}{x}^{\prime }\in N$.

Hence $x^{-1}{x}^{\prime }\in \ker \varphi$ and so $\varphi \left(x^{-1}{x}^{\prime }\right)=1$

$\Rightarrow$ $\varphi \left(x^{-1}\right)\varphi \left(x^{\prime }\right)=1$

$\Rightarrow$ ${\varphi }^{-1}\left(x\right)\varphi \left(x^{\prime }\right)=1$ hence

$\varphi \left(x\right)=\varphi \left(x^{\prime }\right)$ and so (13) defines a map.

Next, if we have a different element of G/N, say yN, then

$\psi \left(xN\cdot yN\right)=\psi \left(xyN\right)$

$=\varphi \left(xy\right)$ (by (13))

$=\varphi \left(x\right)\varphi (\; y\; )$

$=\psi \left(xN\right)\psi \left(yN\right)$ (by (13))

Thus $\psi$ is a homomorphism. From (13), $\psi \left(xN\right)=1$ $\Rightarrow$ $\varphi \left(x\right)=1$ $\Rightarrow$ $x\in \ker \varphi$. Thus an embedding. Therefore $\ker \psi =\ker \varphi /N$.

Example 2:

Let $G=S_3=\langle \left(123\right),\left(12\right)\rangle =\left\{\left(1\right),\left(12\right),\left(13\right),\left(23\right),\left(123\right),\left(132\right)\right\}$. $N=A_3=\langle \left(123\right)\rangle =\left\{\left(1\right),\left(123\right),\left(132\right)\right\}$ is a normal subgroup of G. The factor group $G/N=\left\{\left\{\left(1\right),\left(123\right),\left(132\right)\right\},\left\{\left(12\right),\left(13\right),\left(23\right)\right\}\right\}\cong C_2$. Then the wreath product

$\begin{array}{l}GwrG/N=\langle \left(123\right),\left(12\right),\left(456\right),\left(45\right),\left(14\right)\left(25\right)\left(36\right)\rangle \\ =\{\left(1\right),\left(56\right),\left(45\right),\left(456\right),\left(465\right),\left(46\right),\left(23\right),\left(23\right)\left(56\right),\left(23\right)\left(45\right),\left(23\right)\left(456\right),\\ \left(23\right)\left(465\right),\left(23\right)\left(46\right),\left(12\right),\left(12\right)\left(56\right),\left(12\right)\left(45\right),\left(12\right)\left(456\right),\left(12\right)\left(465\right),\\ \left(12\right)\left(46\right),\left(123\right),\left(123\right)\left(56\right),\left(123\right)\left(45\right),\left(123\right)\left(456\right),\left(123\right)\left(465\right),\left(123\right)\left(46\right),\\ \left(132\right),\left(132\right)\left(56\right),\left(132\right)\left(45\right),\left(132\right)\left(456\right),\left(132\right)\left(465\right),\left(132\right)\left(46\right),\left(13\right),\end{array}$

$\begin{array}{l}\left(13\right)\left(56\right),\left(13\right)\left(45\right),\left(13\right)\left(456\right),\left(13\right)\left(465\right),\left(13\right)\left(46\right),\left(14\right)\left(25\right)\left(36\right),\\ \left(14\right)\left(2536\right),\left(1425\right)\left(36\right),\left(142536\right),\left(143625\right),\left(1436\right)\left(25\right),\left(14\right)\left(2635\right),\\ \left(14\right)\left(26\right)\left(35\right),\left(142635\right),\left(1426\right)\left(35\right),\left(1435\right)\left(26\right),\left(143526\right),\left(1524\right)\left(36\right),\\ \left(153624\right),\left(15\right)\left(24\right)\left(36\right),\left(1536\right)\left(24\right),\left(15\right)\left(2436\right),\left(152436\right),\left(152634\right),\end{array}$

$\begin{array}{l}\left(1534\right)\left(26\right),\left(15\right)\left(2634\right),\left(153426\right),\left(15\right)\left(26\right)\left(34\right),\left(1526\right)\left(34\right),\left(163524\right),\\ \left(1624\right)\left(35\right),\left(1635\right)\left(24\right),\left(16\right)\left(24\right)\left(35\right),\left(162435\right),\left(16\right)\left(2435\right),\left(1634\right)\left(25\right),\\ \left(162534\right),\left(163425\right),\left(16\right)\left(2534\right),\left(1625\right)\left(34\right),\left(16\right)\left(25\right)\left(34\right)\}\end{array}$

which is a group of order 72.

Proposition 3: Let G be an arbitrary group with a normal subgroup N, and put $K:=G/N$. Then there is an embedding $\varphi :G\to KwrN$ such that $\varphi$ maps K onto $\mathrm{Im}\varphi \cap B$ where B is the base group of $KwrN$. (Thus $KwrN$ contains an isomorphic copy of every extension G of K by N.)

Proof: Let $\psi :G\to N$ be the natural homomorphism of G onto K. Let $T:=\left\{t_u|u\in K\right\}$ be a set of right coset representatives of N in G such that

$\psi \left(t_u\right)=u$ (14)

for each $u\in K$. If $x\in G$,

$\psi \left(t_{u}x\right)=\psi \left(t_u\right)\psi (\; x\; )$

$=u\psi \left(x\right)$ (by (14))

$=\psi \left(t_{u\psi \left(x\right)}\right)$ (by (14))

Therefore, since $\psi \left(t_{u}x\right)=\psi \left(t_{u\psi \left(x\right)}\right)$ it implies that $\psi \left(t_{u}x\right){\psi }^{-1}\left(t_{u\psi \left(x\right)}\right)=1$. Therefore, $\psi \left(t_{u}x{t}_{u\psi \left(x\right)}^{-1}\right)=1$. Thus $t_{u}x{t}_{u\psi \left(x\right)}^{-1}$ lies in $\ker \left(\psi \right)$. That is, $t_{u}x{t}_{u\psi \left(x\right)}^{-1}\in \ker \left(\psi \right)$. By the definition of the wreath product, we can define a function $f_x$ for each $x\in G$, such that $f_x:N\to K$ by

$f_x\left(u\right):=t_{u}x{t}_{u\psi \left(x\right)}^{-1}$ (15)

for all $u\in N$.

We claim that $\varphi \left(x\right):=\left(f_x,\psi \left(x\right)\right)\in KwrN$ defines an embedding $\varphi$ of G into $KwrN$ with the function (15).

We seek to show that $\varphi$ is an embedding.

Take $x,y\in G$, then

$\varphi \left(x\right)\varphi \left(x\right)=\left(f_x,\psi \left(x\right)\right)\left(f_y,\psi (\; y\; )\right)$

$=\left(f_x{f}_y^{\psi {\left(x\right)}^{-1}},\psi \left(x\right)\psi \left(y\right)\right)$ (by (7))

Now since $\psi$ is a homomorphism,

$\psi \left(x\right)\psi \left(y\right)=\psi \left(xy\right)$ (16)

By (15), $f_x{f}_y^{\psi {\left(x\right)}^{-1}}$ can be expressed for all $u\in N$ as follows:

$f_x\left(u\right)f_y^{\psi {\left(x\right)}^{-1}}\left(u\right)t_{u\psi \left(xy\right)}=f_x\left(u\right)f_y\left(u\psi \left(x\right)\right)t_{u\psi \left(x\right)\psi \left(y\right)}$ (by (15) and (16))

$=f_x\left(u\right)t_{u\psi \left(x\right)}{t}_{u\psi \left(x\right)\psi \left(y\right)}^{-1}{t}_{u\psi \left(x\right)\psi \left(y\right)}y$ (by (15))

$=f_x\left(u\right)t_{u\psi \left(x\right)}y$

$=t_{u}x{t}_{u\psi \left(x\right)}^{-1}{t}_{u\psi \left(x\right)}y$ (by (15))

$=t_{u}xy$

$=f_{xy}\left(u\right)t_{u\psi \left(xy\right)}$ (by (15))

Therefore, we have that

$f_x{f}_y^{\psi {\left(x\right)}^{-1}}=f_{xy}$ (17)

Hence $\varphi \left(x\right)\varphi \left(x\right)=\left(f_{xy},\psi \left(xy\right)\right)=\varphi \left(xy\right)$ (by (16) and (17)). Hence $\varphi$ is a homomorphism.

Next, we show that $\varphi$ is injective. Now $\ker \varphi =1$ since $\varphi \left(x\right)=1$ implies $f_x=1$ and $\psi \left(x\right)=1$, and so $x=t_1^{-1}{f}_x\left(1\right)t_{1\psi \left(x\right)}=t_1^{-1}{t}_1=1$.

Finally, $\varphi \left(x\right)$ lies in B when $\psi \left(x\right)=1$, and this happens exactly when $x\in N$. Thus $G\lesssim KwrN$.

Example 3:

Let $\begin{array}{l}G=\langle \left(123456\right)\rangle \\ =\left\{\left(1\right),\left(123456\right),\left(135\right)\left(246\right),\left(14\right)\left(25\right)\left(36\right),\left(153\right)\left(264\right),\left(165432\right)\right\}\end{array}$ and $N=\langle \left(135\right)\left(246\right)\rangle =\left\{\left(1\right),\left(135\right)\left(246\right),\left(153\right)\left(264\right)\right\}\cong C_3$ is a normal subgroup of G. Then $\begin{array}{l}K=G/N=\{\left\{\left(1\right),\left(135\right)\left(246\right),\left(153\right)\left(264\right)\right\},\\ \left\{\left(123456\right),\left(14\right)\left(25\right)\left(36\right),\left(165432\right)\right\}\}\cong C_2\end{array}$. Then the wreath product

$\begin{array}{c}KwrN\cong \{\left(\text{1}\right),\left(\text{56}\right),\left(\text{34}\right),\left(\text{34}\right)\left(\text{56}\right),\left(\text{12}\right),\left(\text{12}\right)\left(\text{56}\right),\left(\text{12}\right)\left(\text{34}\right),\left(\text{12}\right)\left(\text{34}\right)\left(\text{56}\right),\\ \left(\text{135}\right)\left(\text{246}\right),\left(\text{135246}\right),\left(\text{136245}\right),\left(\text{136}\right)\left(\text{245}\right),\left(\text{146235}\right),\left(\text{146}\right)\left(\text{235}\right),\\ \left(\text{145}\right)\left(\text{236}\right),\left(\text{145236}\right),\left(\text{153}\right)\left(\text{264}\right),\left(\text{154263}\right),\left(\text{153264}\right),\left(\text{154}\right)\left(\text{263}\right),\\ \left(\text{164253}\right),\left(\text{163}\right)\left(\text{254}\right),\left(\text{164}\right)\left(\text{253}\right),\left(\text{163254}\right)\}\end{array}$

which is a group of order 24.

Proposition 4: Let G be any arbitrary group with a normal subgroup N and put $K:=G/N$. Then there is an embedding $\varphi :KwrK\to G$ such that $\varphi$ maps $\mathrm{Im}\varphi \cap B$ onto K, where B is the base group of $KwrK$ and ${\left|N\right|}^2|\left|G\right|$. (Thus $KwrK$ contains an isomorphic copy of every extension G of K by K.)

Proof: Let $\psi :G\to K$ be the natural homomorphism of G onto K with kernel N. Let $T:=\left\{t_u|u\in K\right\}$ be a set of right coset representatives of N in G such that

$\psi \left(t_u\right)=u$ (18)

for each $u\in K$. If $x\in G$, then

$\psi \left(t_{u}x\right)=\psi \left(t_u\right)\psi (\; x\; )$

$=u\psi \left(x\right)$ (by (18))

$=\psi \left(t_{u\psi \left(x\right)}\right)$ (by (18))

Therefore, since $\psi \left(t_{u}x\right)=\psi \left(t_{u\psi \left(x\right)}\right)$ it follows that $\psi \left(t_{u}x\right){\psi }^{-1}\left(t_{u\psi \left(x\right)}\right)=1$. Therefore, $\psi \left(t_{u}x{t}_{u\psi \left(x\right)}^{-1}\right)=1$. Thus $t_{u}x{t}_{u\psi \left(x\right)}^{-1}$ lies in the kernel N, that is, $t_{u}x{t}_{u\psi \left(x\right)}^{-1}\in N$. By the definition of wreath product, we can define a function for each $x\in G$, such that $f_x:K\to K$ by

$f_x\left(u\right):=t_{u}x{t}_{u\psi \left(x\right)}^{-1}$ (19)

for all $u\in K$.

Now $\varphi \left(\left(f_x,\psi \left(x\right)\right)\right)=x\in G$ defines an embedding $\varphi$ of $KwrK$ into G with the function (18).

We seek to show that $\varphi$ is a homomorphism and injective, hence an embedding.

Take $x,y\in G$, then

$\varphi \left(\left(f_x,\psi \left(x\right)\right)\right)\varphi \left(\left(f_y,\psi \left(y\right)\right)\right)=xy=\varphi \left(f_{xy},\psi \left(xy\right)\right)$

Now since $\psi$ is a homomorphism,

$\psi \left(x\right)\psi \left(y\right)=\psi \left(xy\right)$ (20)

By (17), $f_{xy}$ can be expressed for all $u\in K$ as follows:

$f_{xy}\left(u\right)t_{u\psi \left(xy\right)}=t_{u}xy$ (by (19))

$=t_{u}x{t}_{u\psi \left(x\right)}^{-1}{t}_{u\psi \left(x\right)}y$ (by (19))

$=f_x\left(u\right)t_{u\psi \left(x\right)}y$

$=f_x\left(u\right)t_{u\psi \left(x\right)}{t}_{u\psi \left(x\right)\psi \left(y\right)}^{-1}{t}_{u\psi \left(x\right)\psi \left(y\right)}y$ (by (19))

$=f_x\left(u\right)f_y\left(u\psi \left(x\right)\right)t_{u\psi \left(x\right)\psi \left(y\right)}$ (by (6) and (20))

$=f_x\left(u\right)f_y^{\psi {\left(x\right)}^{-1}}\left(u\right)t_{u\psi \left(xy\right)}$ (by (6) and (20))

Therefore, we have

$f_{xy}=f_x{f}_y^{\psi {\left(x\right)}^{-1}}$ (21)

Hence $\begin{array}{l}\varphi \left(\left(f_x,\psi \left(x\right)\right)\right)\varphi \left(\left(f_y,\psi \left(y\right)\right)\right)\\ =\left(f_x{f}_y^{\psi {\left(x\right)}^{-1}},\psi \left(x\right)\psi \left(y\right)\right)=\varphi \left(\left(f_x,\psi \left(x\right)\right)\left(f_y,\psi \left(y\right)\right)\right)\end{array}$ (by (20) and (21)), showing that $\varphi$ is a homomorphism.

Next, we show that $\varphi$ is injective. Now $\ker \varphi =1$ since $\varphi \left(\left(f_x,\psi \left(x\right)\right)\right)=1$ implies $x=1$ and so $f_1=1$ and $\psi \left(1\right)=1$, thus from Lagrange theorem, $\frac{\left|G\right|}{{\left|K\right|}^{\left|K\right|}\left|K\right|}=\frac{{\left|N\right|}^2}{\left|G\right|}$, i.e. ${\left|N\right|}^2|\left|G\right|$ as $f_1=1$ and $\psi \left(1\right)=1$.

Finally, $\varphi \left(\left(f_x,\psi \left(x\right)\right)\right)$ lies in B when $\psi \left(x\right)=1$, and this happens exactly when $x\in N$.

Thus $KwrK\lesssim G$.

Example 4:

Let $\begin{array}{l}G=S_4=\{\left(\text{1}\right),\left(\text{34}\right),\left(\text{23}\right),\left(\text{234}\right),\left(\text{243}\right),\left(\text{24}\right),\left(\text{12}\right),\left(\text{12}\right)\left(\text{34}\right),\left(\text{123}\right),\\ \left(\text{1234}\right),\left(\text{1243}\right),\left(\text{124}\right),\left(\text{132}\right),\left(\text{1342}\right),\left(\text{13}\right),\left(\text{134}\right),\left(\text{13}\right)\left(\text{24}\right),\\ \left(\text{1324}\right),\left(\text{1432}\right),\left(\text{142}\right),\left(\text{143}\right),\left(\text{14}\right),\left(\text{1423}\right),\left(\text{14}\right)\left(\text{23}\right)\}\end{array}$ and $\begin{array}{l}N=A_4=\{\left(\text{1}\right),\left(\text{234}\right),\left(\text{243}\right),\left(\text{12}\right)\left(\text{34}\right),\left(\text{123}\right),\left(\text{124}\right),\left(\text{132}\right),\\ \left(\text{134}\right),\left(\text{13}\right)\left(\text{24}\right),\left(\text{142}\right),\left(\text{143}\right),\left(\text{14}\right)\left(\text{23}\right)\}\end{array}$. Then $\begin{array}{l}K=G/N=S_4/A_4\\ =\{\{\left(1\right),\left(234\right),\left(243\right),\left(12\right)\left(34\right),\left(123\right),\left(124\right),\left(132\right),\left(134\right),\left(13\right)\left(24\right),\left(142\right),\\ \left(143\right),\left(14\right)\left(23\right)\},\{\left(34\right),\left(23\right),\left(24\right),\left(12\right),\left(1234\right),\left(1243\right),\left(1342\right),\left(13\right),\\ \left(1324\right),\left(1432\right),\left(14\right),\left(1423\right)\}\}\\ \cong C_2\end{array}$. Now $\frac{{\left|N\right|}^2}{\left|G\right|}=\frac{{12}^2}{24}=6$. Then the wreath product $\begin{array}{l}KwrK\cong C_{2}wr{C}_2\\ =\left\{\left(1\right),\left(34\right),\left(12\right),\left(12\right)\left(34\right),\left(13\right)\left(24\right),\left(1324\right),\left(1423\right),\left(14\right)\left(23\right)\right\}\end{array}$ which is a group of order 8.

Remark 5: If $\varphi :G\to H$ is an embedding, then $n\left|G\right|=\left|H\right|$ where $n\ne 1\in \mathbb{N}$ is the index of G by H. If the index $n=1$, then $\varphi$ is as isomorphism.

Theorem 6 (Dixon & Mortimer, 1996): (Universal Embedding Theorem)

Let G be an arbitrary group with a normal subgroup N, and put $K:=G/N$. Then there is an embedding $\varphi :G\to NwrK$ such that $\varphi$ maps N onto $\mathrm{Im}\varphi \cap B$ where B is the base group of $NwrK$. (Thus $NwrK$ contains an isomorphic copy of every extension G of N by K.)

Condition 1: If G is of order p, i.e. $\left|G\right|=p$, then $\left|N\right|=p$ or 1, by Lagrange’s theorem, then either $G=N$ or $N=\left\{e\right\}$.

If $\left|N\right|=p$, then $\left|G\right|=\left|N\right|=p$, then $G=N$ and so $K=G/N=G/G\cong \left\{e\right\}$. Thus $\left|K\right|=1$, and $\varphi$ being a homomorphism implies that $n\left|G\right|={\left|N\right|}^{\left|K\right|}\left|K\right|$ and so $n=1$.

If $\left|N\right|=1$, then $N=\left\{e\right\}$ and so $K=G/N=G/\left\{e\right\}\cong G$. Thus $\left|K\right|=\left|G\right|=p$, and $\varphi$ being a homomorphism implies that $n\left|G\right|={\left|N\right|}^{\left|K\right|}\left|K\right|$ and so $n=1$.

Thus $\varphi$ is an isomorphism if $\left|G\right|=p$ or rather $\varphi$ is an isomorphism if G is cyclic.

Condition 2: If the order of G is $p^2$, then G is known to be an Abelian group and by Lagrange’s theorem $\left|N\right|=p^2$,p or 1.

If $\left|N\right|=p^2$, then $G=N$ and so $\left|K\right|=\left|G/N\right|=\left|G\right|/\left|N\right|=p^2/p^2=1$. Thus $K=\left\{e\right\}$. And $\varphi$ being a homomorphism implies that $n\left|G\right|={\left|N\right|}^{\left|K\right|}\left|K\right|$ and so $n{p}^2=p^2$ and $n=1$. Therefore, $\varphi$ is an isomorphism if $G=N$.

If $\left|N\right|=p$, then $\left|K\right|=\left|G/N\right|=\left|G\right|/\left|N\right|=p^2/p=p$. Thus $\varphi$ being a homomorphism implies that $n\left|G\right|={\left|N\right|}^{\left|K\right|}\left|K\right|$ and so $n{p}^2=p^{p}p$ and $n=p^{p-1}$ the index.

If $\left|N\right|=1$, then $N=\left\{e\right\}$ and so $\left|K\right|=\left|G/N\right|=\left|G\right|/\left|N\right|=p^2/1=p^2$. Thus $\varphi$ being a homomorphism implies that $n\left|G\right|={\left|N\right|}^{\left|K\right|}\left|K\right|$ and so $n{p}^2=1^{p^2}{p}^2=p^2$. Thus $n=1$. Therefore, $\varphi$ is an isomorphism if $N=\left\{e\right\}$.

Condition 3: If G is a simple group, then either $N=G$ or $N=\left\{e\right\}$.

If $N=G$, then $\left|N\right|=\left|G\right|$, then $\left|K\right|=\left|G\right|/\left|N\right|=1$, and $\varphi$ being a homomorphism implies that $n\left|G\right|={\left|N\right|}^{\left|K\right|}\left|K\right|$ and so $n=1$.

If $N=\left\{e\right\}$, then $\left|N\right|=1$, then $\left|K\right|=\left|G\right|/1=\left|G\right|$, and $\varphi$ being a homomorphism implies that $n\left|G\right|={\left|N\right|}^{\left|K\right|}\left|K\right|$ and so $n=1$.

Thus $\varphi$ is an isomorphism if G is simple.

Example 5:

Let $G=\langle \left(12345\right)\rangle =\left\{\left(1\right),\left(12345\right),\left(13524\right),\left(14253\right),\left(15432\right)\right\}$. Then the normal subgroup $N=G$ or $N=\left\{\left(1\right)\right\}$. If $N=G$, then $K=G/N=G/G=\left\{\left\{\left(1\right),\left(12345\right),\left(13524\right),\left(14253\right),\left(15432\right)\right\}\right\}\cong \left\{\left(1\right)\right\}$. Thus $NwrK\cong \left\{\left(1\right),\left(12345\right),\left(13524\right),\left(14253\right),\left(15432\right)\right\}=G$. If $N=\left\{\left(1\right)\right\}$, then $K=G/N=G/\left\{\left(1\right)\right\}=\left\{\left(1\right),\left(12345\right),\left(13524\right),\left(14253\right),\left(15432\right)\right\}=G$. Thus $NwrK\cong \left\{\left(1\right),\left(12345\right),\left(13524\right),\left(14253\right),\left(15432\right)\right\}=G$. Thus an isomorphism as G is Cyclic, simple and its order is prime.

4. Discussion

Embedding is an important property of wreath product as it helps in preserving structures between groups. Under some conditions we have seen that the Universal embedding Theorem is an isomorphism.

5. Conclusion

In this paper, we were able to give a new proof of the theorem by Audu (1991), which proved that a group can be embedded into the wreath product of a factor group by a normal subgroup and also proved that a factor group can be embedded inside a wreath product and the wreath product of a factor group by a factor group can be embedded into a group. It was shown that when the abstract group in the universal embedding theorem is a p-group, cyclic and simple, the embedding is an isomorphism.