Ponder...Direct ProductFor groups and , the direct product is with componentwise operation. Definition 6.1 (Direct Product) If are groups, the direct product is with operation Note that is a identity, and . RelatedGroupBinary OperationDirect Product TheoremStated inDefinition 6.1 (Direct Product)§6 Finite Groups
