直积又叫笛卡尔(Descartes)乘积。设( G1,* )、( G2,· )是两个群,有各自的乘法 *、· 和各自的单位元e、l,分别从G1和G2中任取一个元素组成所有可能的有序对,组成的集合记作G1×G2,在上面定义一个运算◎,对于G1×G2中任意两个元素(a1,B1)、(a2,B2),规定(a1,B1) (a2,B2)=(a1 * a2,B1 · B2),这叫做G1和G2的直积,记作{ G1×G2, ◎ },单位元是(e,l)。设A、B是任意两个集合,在集合A中任意取一个元素x,在集合B中任意取一个元素y,组成一个有序对(x,y),把这样的有序对作为新的元素,他们的全体组成的集合称为集合A和集合B的直积,记为A×B,即A×B={(x,y)|x∈A且y∈B}。例如,R×R =〡(x,y)〡x∈R,y∈R〡即为xOy面上全体点的集合,R×R常常记作R^2运算:1.对任意集合A,根据定义有AxΦ =Φ , Φ xA=Φ2.一般地说,笛卡尔积运算不满足交换律,即AxB≠BxA(当A≠Φ ∧B≠Φ∧A≠B时)3.笛卡尔积运算不满足结合律,即(AxB)xC≠Ax(BxC)(当A≠Φ ∧B≠Φ∧C≠Φ时)4.笛卡尔积运算对并和交运算满足分配律,即Ax(B∪C)=(AxB)∪(AxC)(B∪C)xA=(BxA)∪(CxA)Ax(B∩C)=(AxB)∩(AxC)(B∩C)xA=(BxA)∩(CxA)笛卡尔乘积案例给出三个域:D1=SUPERVISOR = { 张清玫,刘逸 }D2=SPECIALITY= {计算机专业,信息专业}D3=POSTGRADUATE = {李勇,刘晨,王敏}则D1,D2,D3的笛卡尔积为D:D=D1×D2×D3 ={(张清玫, 计算机专业, 李勇), (张清玫, 计算机专业, 刘晨),(张清玫, 计算机专业, 王敏), (张清玫, 信息专业, 李勇),(张清玫, 信息专业, 刘晨), (张清玫, 信息专业, 王敏),(刘逸, 计算机专业, 李勇), (刘逸, 计算机专业, 刘晨),(刘逸, 计算机专业, 王敏), (刘逸, 信息专业, 李勇),(刘逸, 信息专业, 刘晨), (刘逸, 信息专业, 王敏)}这样就把D1,D2,D3这三个集合中的每个元素加以对应组合,形成庞大的集合群。本个例子中的D中就会有2X2X3个元素,如果一个集合有1000个元素,有这样3个集合,他们的笛卡尔积所组成的新集合会达到十亿个元素。假若某个集合是无限集,那么新的集合就将是有无限个元素。