Een productgroep is het resultaat van een product tussen twee groepen. Deze wordt genoteerd als:
(A;⨁) × (B;⊛)
De elementen van een productgroep zijn koppels van elementen uit de ene groep met elementen van de andere groep. De nieuwe bewerking maakt gebruik van de oude bewerkingen, als volgt:
(a1;b1)(a2;b2) = (a1⨁a2;b1⊛b2) met a1,a2∈A en b1,b2∈B
Een product met de groep zelf kan bijvoorbeeld als volgt worden genoteerd:
(ℤ2;+)
3. Geef de cayley tabel voor (ℤ2;+) × (ℤ3;+).