$G$ ve $H$ iki grup olsun.
Kitaplarda $G\times H$ (kartezyen çarpım) ve $G\oplus H$ (direkt toplam) grupları geçebiliyor.
Direkt toplam birim eleman olmayan indislerin sonlu olması demek, yani sonlu sayıda grup alırsak ikisinin aynı olması gerekir diye biliyordum.
Peki neden iki grup için direkt toplam ifadesi kullanılır, sadece kartezyen çarpım değil?