Abstract Algebra: Theory and Applications · Problem 9.4.23

Normal Subgroups and Factor Groups — Thomas Judson

Mathematics — Abstract Algebra · direct-products-cancellation

Problem

Prove or disprove the following assertion. Let

G

H

, and

K

be groups. If

G \times K \cong H \times K

, then

G \cong H