## Direct products and direct sums