301.8I Extra: Semi-Direct Products of Groups 

In a semi-direct product of groups, elements from the second factor are permitted to "cross over" and interfere with the arithmetic in the first factor via an automorphism. Here's the definition and a brief example of a semi-direct product construction of Z4 with Z4.