subdirect product of groups
Let be a family of groups.A subgroup (http://planetmath.org/Subgroup) of the direct product
(http://planetmath.org/DirectProductAndRestrictedDirectProductOfGroups) is said to be a subdirect product
(or subcartesian product) of if for each ,where is the -th projection map.