Is this true that: "The order of wreath product of $\mathbf{Z}_{p^n}$ and $\mathbf{Z}_{p^m}$ is $p^{m+n}$" ?
Wreath Product of $\mathbf{Z}_{p^n}$ and $\mathbf{Z}_{p^m}$
-
1It is true if and only if $m=0$. – 2011-03-18
2 Answers
If $K$ acts on $\Omega$, then we can define an unrestricted wreath product of $G$ by $K$ (relative to $\Omega$) as follows: first, $G^{\Omega} = \{\mathbf{g}\colon\Omega\to G\}$ has the pointwise multiplication (it's the set of $\Omega$-tuples of elements of $G$). We define an action of $K$ on $G^{\Omega}$ by $\mathbf{g}^k(\omega) = \mathbf{g}(k\cdot\omega).$ This action gives a semidirect product $G^{\Omega}\rtimes K$; this semidirect product is called the (unrestricted) wreath product of $G$ by $K$, $G\wr_{\Omega}K$.
(The "restricted" wreath product is the subgroup in which $\mathbf{g}(\omega)=e$ for almost all $\omega\in\Omega$).
The order of $G^{\Omega}$ is $|G|^{|\Omega|}$, so the order of $G\wr_{\Omega}K$ is $|G|^{|\Omega|}|K|$.
When we don't specify $\Omega$ and there is no natural action of $K$, then we take $\Omega=K$ and let $K$ act on itself by left multiplication. Then we just write $G\wr K$, and the order of $G\wr K$ is then $|G|^{|K|}|K|$.
For $\mathbf{Z}_{p^n}\wr\mathbf{Z}_{p^m}$, the order is $|p^n|^{|p^m|}|p^m| = p^{m+np^m}$.
This is the same as the order of $(\mathbf{Z}_p)^n\wr(\mathbf{Z}_p)^m$, since the orders of the groups are the same, though the structure of the group is very different.
No. I assume you mean $Z_{p^m}$ as a permutation group on $p^m$ elements. In this case, the wreath product has order $(p^n)^{p^m}p^m$. In general, if $H$ is a permutation group on $n$ elements and $G$ is some group then the wreath product of $G$ and $H$ has order $|G|^n|H|$.