Tagged: direct product of groups