1
$\begingroup$

In the (xi) group of the classification of groups of order $p^4$ given by W.Burnside in his book," Theory of Groups Of Finite Order". The group ($\mathbb{Z_{p^{2}}}\rtimes \mathbb{Z_{p^{}}}) \rtimes_{\phi}\mathbb{Z_{p^{}}} $, have presentation $$<a,b,c : a^{p^{2}}=b^p=c^p=e, ab=ba^{1+p},ac=cab,bc=cb>$$ From the above relations, I can produce following relation $$a^ib^j=b^ja^{{(1+p)}^ji},$$ Now I am trying to obtain similar relation for the generators $a$ and $c$. (Here $i$ and $j$ are natural numbers). Kindly help me out as I am not able to proceed further to write $a^ic^j= ? ?$ in simple manner.

$\endgroup$
1

1 Answer 1

2
$\begingroup$

$$a^ic^j = c^j(ab^j)^i.$$ I expect you could use your existing formula for $a^ib^j$ to write $(ab^j)^i$ in the form $b^ka^l$, but I will leave that to you!

$\endgroup$
2
  • $\begingroup$ I got my final answer as $$a^ic^j=c^jb^{ij}a^{i+\frac{ji(i+1)}{2}p.}$$ $\endgroup$
    – HIMANSHU
    Commented Jun 27, 2020 at 11:16
  • $\begingroup$ Yes I checked a few cases, and that seems to be correct! $\endgroup$
    – Derek Holt
    Commented Jun 27, 2020 at 12:12

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .