Cayley乘表结合律的一种检测方法

在近世代数里,主要研究最基本的代数系统。所谓代数系统,就是带有代数运算的集合,而代数运算就是一种特殊的映射。我们说集合 A 有一种代数运算,就是规定了一个 A×A 到 A 的映射。A 的代数运算,又可以叫做 A 的二元运算。如一个二元集合 A,就可以定义16种不同的代数运算。就是说,我们可以相当任意规定集合的好些代数运算,但如此定义的二元运算并不一定有多大意义。如果给定的代数运算能适合某些从实际中来的规律,如人们熟知的结合律、交换律及分配律等,这样的代数运算当然具有较大的实际意义。半群和群都是     

群与环——两个最重要的代数结构

近世代数,通常是指群论建立以后所发展起来的有关群、环、域的代数理论,尤其在高等学校中的《近世代数》课程中更是如此。而普遍被人认为是抽象、难学的这一代数课程,其实是对常见的代数系统的本质描述。特别对于中学教师而言,了解这一学科的内容对于准确地向中学生讲解代数课程,引导学生更深刻地理解代数课中的各种公式、定理等是很重要的。本文着重说明这一方面。     

李代数的交叉模

介绍了李代数交叉模的一个等价定义,用等价定义讨论了交叉模等价类之间的运算.对给定的李代数L,P及P.模M,考虑所有以M为核、以P为余核的交叉模的等价类集合,在等价类集中定义加法运算和数乘运算.证明了李代数的交叉模等价类集合是一个线性空闸,且与其三阶上同调群空间同构.最后计算了Virasoro代数的三阶上同调群.     

浅谈如何提高近世代数的教学质量

针对近世代数内容抽象,学生学习热情不高这一特点,从五个方面讨论了提高课堂教学质量的方法,其中包括概念教学、定理学习方法、典型证法总结、反例列举和提高学生学习兴趣的策略,概念教学是指在讲授概念时结合实例进行深入细致的分析,讲解定理时,更加重视对定理成立的条件的分析,校正易出现的错误理解。典型证明方法总结是使其学好近世代数的关键,这使抽象的问题更加具体化。反例列举授课法对开拓学生思维大有裨益。通过对例题的分析来体现如何在近世代数的教学中培养学生的逻辑思维能力和创新能力,变被动学习为主动学习,为培养研究型人才打下坚实的基础。     

S4的子群在近世代数教学中的应用

近世代数是高校数学专业学生的基础课程之一.该课程很抽象,很多概念和定理很难理解,所以一些简单的例子在教学中就显得非常重要.本文以四次对称群S4及其子群来说明近世代数中群的一些容易误解的性质.     

用近世代数观点来看初等数学

《近世代数》是数学专业的基础课,对于提高教师的数学素养有着重要的作用,但是由于近世代数比较抽象,对于初学者来说困难较大,甚至误以为对中学教师没有什么作用。本文以几个问题为例,谈谈近世代数与初等数学的关系。从中可以看到,作为一个中学数学教师,学习近世代数可以加深对中学数学教材的理解,提高教学质量,并且还可以看到,抽象的数学概念在     

近世代数联系中学数学几例

本文从近世代数出发，对中学数学中的反函数、运算、序关系与大小比较几方面进行了分析，说明了近世代数与中学教学的联系，从而为中学数学一些概念提供了理论依据。     

近世代数基本疑难概念选讲

一般说来,近世代数是从宏观上研究代数系统的结构与代数运算的性质的。学习近世代数课程,不仅是熟悉它的性质与定理,同时也在培养人们抽象思维与综合思考的能力。因此,是否能正确地掌握近世代数课程中的基本概念,对学习者尤其是对自学者是至关重要的。 本文特选一些在近世代数课程学习中易混淆的基本概念,加以举例讲解,使得大家一开始就能清楚地、正确地掌握这些基本概念。     

双重Stone代数的核理想

理想是研究Ockham代数类结构的一个重要工具,在双重Stone代数上引入核理想的概念,构造了核理想同余关系表达式,获得了双重Stone代数核理想判别定理。根据双重Stone代数的运算特征及主同余表示理论,获得了核理想同余关系的若干等价表达式并证明了双重Stone代数核理想与其同余关系是同构的。所得结论为其它Ockham代数类核理想性质的研究提供了方法,丰富了Ockham代数的发展,为进一步研究Ockham代数类的代数结构提供理论支持。     

GAP在近世代数教学中的应用

针对近世代数课程内容比较抽象的特点,以及当前近世代数教学中过多注重理论体系的完整性,忽视学生作为主体地位的现状,介绍了适合近世代数教学的软件GAP及其在教学中的具体运用.通过GAP的使用,可以变革近世代数内容的呈现方式,使得证明清晰化,计算简单化,以及结论直观化,从而使近世代数学习变得更生动、更形象、更具体,以促进近世代数教学质量的提高.     

1次+3次平面多项式系统的代数分类

采用代数不变式和空间直和的理论,对1次 3次平面多项式系统在保证轨线走向不变的前提下进行代数分类,共分成40个等价类.     

功能对等理论指导下的大学英语翻译教学

本文基于对大学英语翻译教学的现状分析,指出了翻译教学的重要性并以功能对等理论为理论框架,采用定性描述和例证法,对如何提高大学生英语翻译能力提出了两点建议：增加英语语言文化背景知识的讲授;加强翻译理论和翻译实践的结合,培养学生的翻译技能。     

商集与商集的基本运算

R是A上等价关系，R的所有等价类构成了等价关系R的商集A／R，商集A／R是集合A的划分。商集是关系代数中的一个重要概念，在计算机科学和技术、信息科学和信息工程中都有广泛的应用。但是人们对商集的运算规律和运算结果的研究甚少。本文定义了等价关系的商集的两个基本运算，即商集的加法与乘法。根据商集的结构和性质，给出了商集乘法运算结果的两种表达方式。一种是用等价类通过某种运算构成的集合表示，另一种是用某些等价关系的商集表示。商集的加法运算是一个较复杂问题，加法的运算结果也较难表示。为了准确简洁地表示加法的运算结果，文中引进了不相交并集族的概念，同时也给出了加法运算结果的两种表达方式，一种是用不相交并集族表示，另一种是用某些等价关系的商集表示。     

Hilbert空间子空间的代数酉等价

本文引入了代数酉等价的概念,并给出一些Hilbern空间子空间代数酉等价的条件。     

Arithmetic Operand Ordering for Equivalence Checking

An information extraction-based technique is proposed for RTL-to-gate equivalence checking. Distances are calculated on directed acyclic graph (AIG). Multiplier and multiplicand are distinguished on multiplications with different coding methods, with which the operand ordering/grouping information could be extracted from a given implementation gate netlist, helping the RTL synthesis engine generate a gate netlist with great similarity. This technique has been implemented in an internal equivalence checking tool, ZD_VIS. Compared with the simple equivalence checking, the speed is accelerated by at least 40% in its application to a class of arithmetic designs, addition and multiplication trees. The method can be easily incorporated into existing RTL-to-gate equivalence checking frameworks, increasing the robustness of equivalence checking for arithmetic circuits.     

逆P-等价类的逆P-推理分离-还原

 逆P-集合是把动态特性引入到有限普通集合X内(Cantor set X),改进有限普通集合X被提出的。逆P-集合是由内逆P-集合F与外逆P-集合构成的集合对;或者,(F,)是逆P-集合。逆P-集合具有动态特性。逆P-推理是逆P-集合生成的一个动态推理,它是由内逆P-推理与外逆P-推理共同构成的。利用逆P-集合和逆P-推理, 给出逆P-等价类、内逆P-等价类和外逆P-等价类概念,逆P-等价类与普通等价类的关系,逆P-等价类的逆P-推理分离-还原与分离-还原定理。在静态-动态条件下,普通等价类是逆P-等价类的特例,逆P-等价类是普通等价类的一般形式。     

等价关系判断系统的设计

介绍了关系的定义、关系的自反性和反自反性、对称性和反对称性、传递性五条性质,及其在计算机领域中的应用。设计了判断给定集合上关系的各种性质的函数,并进行了相关算法分析。设计了判断等价关系的流程图,利用计算机语言编程实现了等价关系判定的实验系统。该系统简单易于实现,在离散数学教学中,对学生掌握抽象理论具有较好的帮助作用。     

平面齐次代数曲线的拓扑类

证明了平面n次齐次代数曲线恰有n个或n+1个拓扑等价类.     

n次广义幂等正交矩阵集中的等价关系

设R是含幺结合环,Mk(R)为R上的k阶矩阵环,Gnk(R)表示Mk(R)中的n(n≥2)次广义幂等矩阵集,由n次广义幂等矩阵与代数等价的定义,得到了n次广义幂等正交矩阵集中两种不同形式的等价关系.     

卡拉比-丘代数的导出森田不变性

导出非交换代数几何是当前数学领域最活跃的分支之一. 本文研究了卡拉比-丘代数的导出森田不变性, 证明：对于两个导出森田等价的代数, 如果一个是卡拉比-丘的则另一个也是卡拉比-丘的.