Define the internal direct product H1 x H2 x...xHn.