# Thread: Finite groups

1. ## Finite groups

G1 and G2 are subgroups of the finite group G. Prove that ρ in G1xG2 such that (h,k)ρ(h1,k1) <=> hk=h1k1 is an equivalence relation.