My book gives this formula for the semidirect product for groups ##Z_p## and ## Z_q## for primes p<q and p divides (q-1).
##(a,b)*(x,y)=(a+_q c^bx,b+_py)##
There is also an explanation of what c is but very little else.
It doesn't even explain what operation adjacency represents, eq...