hanmo22357的博客

同态的概念：（如下图所示）同态映射的性质：同态与同构：同构的性质：凯莱定理：任何一个有限群同构于一个置换群。同态核的定义：同态核的性质：基本思路：从定义出发，只需要证明对于给定的映射方式，存在f(a1※a2)=f(a1)×f(a2)即可。例题：基本思路：从两个方面进行判断即可，也就是分别判断是否满足满射和入射条件。如果只满足满射条件，那么这个同态就是满射同态；如果只满足入射条件，那么这个同态就是入射同态；如果同时满足漫射条件和入射条件，那么这个同态就是同构。例题1：例题2：例题3：例题4：基本思路：借助底

设是群，H是G的子群。如果对于G中的任意元素g，都有gH=Hg，则称H是G的正规子群或不变子群。

由两个元素组成的有序序列称为有序对。也称为一个序偶或二元组。

有限集合上的一一变换被称为置换。

离散数学的命题逻辑中，关于推理理论一共有11条推理规则，但是这些规则的名称和具体内容很难记忆，因此在此对各条推理规则进行解释和总结。本篇内容均为个人理解仅供参考，如有不当之处请联系我修改。

如果群中的运算是可交换的，那么就称这个群为阿贝尔群，也被称为交换群。

解析：本题考查共轭子群的定义。可以通过共轭子群判定一个代数系统是另一个代数系统的子群。由于H是G的子群，而M中的元素可以表示为xHx-1，由此可知M是G的共轭子群，所以M是G的子群。

如果一个独异点中每一个元素都存在逆元，则该代数系统是一个群。

能够判断真假的陈述句称为命题。

半群的定义：如果一个广群中的运算※是可结合的，则称该广群是一个半群。独异点的定义：如果一个半群含有幺元，则称该半群是独异点，也被称为幺半群或单位半群。相关题型：判断一个代数系统是否是一个独异点。

①代数常数（定义）：代数常数包括幺元和零元。要求：找出指定代数系统中的代数常数。②幺元（单位元）（定义）：如果对集合中的任意x，都有ex=x，则称e为左幺元，如果xe=x，则称e为右幺元：同时满足左幺元和右幺元的元素称为幺元。运算表中幺元所对应的行和列与运算表对应的行和列相同。要求：判断一个元素是否为幺元以及找出一个代数系统中的幺元。相关：幺元唯一性定理（性质）：任何一个集合中如果存在幺元，则幺元唯一，且左右幺元相等。③零元（定义）：如果对于集合中任意x，都有ex=e，则称e为左零元，如果xe=e，则

①二元运算封闭性（定义）要求运算表中所有的元素均在该集合内。要求：判断给定二元运算是否满足封闭性。②二元运算的可交换性（定义）如果a▲b=b▲a，则称该二元运算可交换，运算表中的元素关于主对角线对称。要求：判断给定的二元运算是否满足可交换性。③二元运算的可结合性（定义）如果(a▲b)▲c=a▲(b▲c)，则称该二元运算可结合。要求：判断给定的二元运算是否满足可结合性。④二元运算的可分配性（定义）如果x▲(y+z)=x▲y+x▲z，则称▲对+左可分配；如果(y+z)▲x=y▲x+z▲x，则称对+

①集合的n元运算的（定义）对于一个非空集合，从中取n个元素进行映射，映射的结果为该集合中的一个元素。要求：能够判断某运算是否是某一集合的n元运算（首先判断集合是否为空集，接着判断其n个元素和映射结果是否都属于该集合）②运算封闭性（定义）如果运算结果仍然和参与运算的运算数在同一个集合中则为封闭。要求：能够判断某一运算是否满足封闭性。③代数系统（定义）一个由非空集合和定义在该集合上的运算所构成的整体。要求：能够理解，并能根据题意列出运算表。④运算表（相关概念）表示一元或二元运算的结果的表格。