İlgili ekte
Soruda bir şeyler yaptığımı söylemiştim şimdi onlara ek şunları yazdım .
H∗={(h,1),h∈H} verilmiş . H∗◃H×K
h1,h2∈H,k1∈K
(h1,h1)(h2,1)(h1,k1)−1= (h1,k1)(h2,1)(h−11,k−11) = (h1h2h−11,k1k−11)=(h1h2h−1,1)∈H∗
diyebilir miyim ?
Aynısını şunada uyguladım K∗={(1,k),k∈K} ve K∗◃H×K istenmiş.
h1,h2∈H,k1,k2∈K
(h1,k1)(1,k2)(h1,k1)−1=(h1,k1)(1,k2)(h−11,k−11) = (1,k1k2k−11)∈K