Build larger groups from smaller ones using direct products and internal direct products. Track how order, commutativity, generators, and subgroup structure behave under products.
