Category:Associativity of Operation in Group Direct Product