We are looking for groups of order p, so yes, they will be cyclic. Your notation is confusing me. "Hence we need to find all the (a,b,c) in CpxCpxCp^2 such as lcm(o(a),o(b),o(c)) = p"
Why are we looking at 3 elements at once? Aren't we just looking for the elements with order P?
The elements...