有限集合的群的有限群的快速检验.docxVIP

有限集合的群的有限群的快速检验 在半群理论和群论的研究中，有必要构建反例，以支持研究。在确定集合，尤其是有限组中规定的代际操作是否满足半组或组的条件下，有必要验证组合的规律，尤其是结合法的验证。对于包含n个元的集合，结合法需要测试每个方程，每个方程需要执行四个二次计算。阶数小于20的群体的数量和类型已经完全确定。 但在实际构建阶数不大于20的群时, 仍需与已知的群建立同构映射;因而可借助编制程序利用计算机进行快速检验;本文通过用数字字符代替字母字符, 将文最多可检验含有65536个元的有限集合扩展为任意有限集合。 1 、、结合律的成立 定义2.1群的第二定义 一个不空集合G对于一个叫做乘法的代数运算来说作成一个群, 假如 I, G对于乘法来说是封闭的; II, 结合律成立:a (bc) = (ab) c 对于G的任意三个元a, b, c都对; III, G里至少存在一个左单位元e, 能让 对于G中的任何元a都成立; IV, 对于G的每一个元a, 在G里至少存在一个左逆元, 能让 定义2.2有限群的另一定义 一个有乘法的有限不空集合G作成一个群, 假如 Ⅰ、G对于这个乘法来说是闭的; Ⅱ、结合律成立: 对于G的任意三个元、、都成立; Ⅲ、消去律成立: 2 结合律的验证 对于一个有限集合来说:如果利用有限群的另一定义来判断所给的有限集合及其代数运算是否构成群:封闭性的检验很简单, 只需观察所给的运算表中没有新元素出现即可, 如果有新元素出现则不满足封闭性, 反之则满足封闭性;对于消去律的验证, 只需观察集合A中的所有元素都出现在所给的运算表中每行每列, 因而只需检验结合律是否成立;但对于一个给定的阶数很大的群, 在判断消去律的时候就会显得麻烦。这时依据群的第二定义检验有限集合及其上二元运算是否构成群, 可利用计算机的方法检验结合律是否成立及左单位元, 左逆元的存在性。下面, 笔者给出利用C语言编制的检验程序。 2.1 结合规则和左单位元测试程序 2.2 左逆元测试方案 在检验过程中, 需将运算表输入, 输入的过程即可检验封闭性, 因而本程序没有对封闭性检验的过程。 3 用新的方法构造分类 设集合A中包含e, a, b, c, d, f六个元.A的乘法由下表规定: 试验证集合A对于该乘法来说是否作成群. 说明:由于本文中的程序仅对所给有限集A中的元为数字时能正常运行.若对于所给有限集A中的元为其外的字母或符号时, 须先对其做一个替换。 在利用程序检验前, 先做如下替换:分别用1, 2, 3, 4, 5, 6代替字母e, a, b, c, d, f.则A的乘法表为 利用结合律和左单位元的检验程序进行检验, 其运行过程如下: 说明:替换e, a, b, c, d, f的字母只要是数字即可, 但替换后的数字不能重复 (集合中元素具有互异性) .YES!说明所给运算结合律成立, “111111 6”表示有六个1即单位元为1。 利用左逆元的检验程序进行检验, 其运行过程如下: 说明:结果表明此六元集合及所给运算满足:以”1”为单位元, 每一个元都有左逆元;因而此六元集合及其上定义的运算构成群。 设集合A中包含四个元.A的乘法由下表规定: 利用程序进行检验, 其运行过程如下: 说明:结果表示该运算结合律成立, 但是左单位元不存在, 因为输出的是1234四个不同的数字, 显示有4个左单位元, 这与群有唯一左单位元矛盾, 因而左逆元的检验程序就没有必要执行, 所以A对于该运算不构成群。 4 基于有限元的二元运算 利用上述C语言程序运行时, 输入乘法表, 运行结果与实际情况完全相同;对于任意一个有限集合及其上二元运算, 利用上面的程序大大节省了检验时间。本程序理论上可检验任意有限集合, 但对于元素个数较高的有限集合, 人工输入乘法表会比较繁琐, 因而在实际过程中, 本程序的实现还依赖于乘法表的输入。