Definition talk:Internal Group Direct Product


 * Mentions about restrictions of operation in subgroup should be moved from here to the definition of the subgroup for grater clarity as for they don't contribute to general understanding anyway. joel talk 17:27, 29 December 2012 (UTC)
 * By the way: most general definition is one using general indexing set for arbitrary family of groups (one should distinguish group direct product and group [cartesian/general] product). joel talk 17:31, 29 December 2012 (UTC)


 * Such restriction is already discussed in full in Definition:Restriction/Operation. In this instance I disagree with you: knowing exactly to which subset the given operation is restricted is useful for understanding exactly what is going on here. --prime mover (talk) 17:33, 29 December 2012 (UTC)


 * As for the definition using the general indexing set, that can be considered as work in progress. No reference to such an object has been encountered in my own reading (and I'm the only contributor in this area) - all internal direct products I've met have been finite (and therefore covered by the existing definition). --prime mover (talk) 17:35, 29 December 2012 (UTC)