The direct product GxH of two groups G,H is the the group definable on their Cartesian product by the operation <g1,h1> . <g2,h2> = <g1.g2 , h1,h2>.

GxH represents the orthogonal combination of G and H: a group K is isomorphic with GxH iff every member of K can be written as g.h for some g in G, h in H, and g.h = h.g, then K is isomorphic to GxH.