G,H,K 모두 finite abelian group 이면 G,H,K는 각각 decomposition 할 수 있으니까

G x K, H x K 가 isomorphic -> G, H가 isomorphic 이 성립함.


이거 G,H,K가 abelian 아닐때도 성립함? 굳이 abelian 조건 있는거보면 반례 있을것같은데