Let p be a prime number, and a an integer with 1⩽a⩽p−1. Let G be the Cartesian product
G={(x,u)∣x∈{0,1,…,p−2},u∈{0,1,…,p−1}}
Show that the binary operation
(x,u)∗(y,v)=(z,w)
where
zw≡x+y(modp−1)≡ayu+v(modp)
makes G into a group. Show that G is abelian if and only if a=1.
Let H and K be the subsets
H={(x,0)∣x∈{0,1,…,p−2}},K={(0,u)∣u∈{0,1,…,p−1}}
of G. Show that K is a normal subgroup of G, and that H is a subgroup which is normal if and only if a=1.
Find a homomorphism from G to another group whose kernel is K.