Thread: isomorphisms..direct product?

Say that [+] = external direct product of groups.
Given that,

Suppose that G is isomorphic to K and H is isomorphic to J. Prove that G[+]H is isomorphic to K[+]J

If are the isomorphisms, consider the map defined by . Show this is an isomorphism.

Originally Posted by cowgirl123

Say that [+] = external direct product of groups.
Given that,

Suppose that G is isomorphic to K and H is isomorphic to J. Prove that G[+]H is isomorphic to K[+]J

See here