A ve B iki grup olsun.
N = {(a,1) : a ∈ A } kümesinin A x B nin normal alt grubu olduğunu ve
(A x B)/N bölüm grubunun da B ye izomorf olduğunu gösteriniz.