External direct product of a finite collection of groups, denoted