How does one show that a G is isomorphic to the external direct product of H and K if G=HK and if H and K have unique elements.
Also how does one apply this to proving U(15) is isomorphic to the external direct product of U(3) and U(5) and how would you show if U(15) is cyclic or not?