群余分次乘子Hopf代数的Galois对象

在这篇文章中,我们首先介绍群余分次乘子Hopf代数Galois对象的定义,然后给出通过交叉作用π来构造群余分次乘子Hopf代数Galois对象的方法.设G是群,(,Δ)是G-余分次代数量子群(A,△)的变形.若(X,α)是(A,△)的左Galois对象,定义α_(p,q):X_(pq)→M(pX_q),α_(p,q)=(πqi)α_q~(-1)p~(-1)q,q~(-1),则(X,α)是变形(,Δ)的左Galois对象,其中X_p=X_(p~(-1)),_q=A_(q~(-1)).同时,我们也研究了Galois对象的一些性质.     

关于Diophantine方程x2+4n=y3

证明了不定方程x2＋4n=y3（n∈N,x≡0（mod2）,x,y∈Z）,其中当n≥3时整数解仅有（x,y,n）=（0,4k,3k）,（±2×8k,2×4k,3k＋1）,（±11×8k,5×4k,3k＋1）,k∈N＋.     

谈形式语义学

形式语义学是以数学为工具,利用符号和公式,精确地定义和解释计算机程序设计语言的语义。形式语义学可分为四大类,本文对这四类形式的语义学作了阐述,并提出了发展形式语义学的迫切性。     

通信时延下多智能体系统的静态一致性研究

假设每个个体接收信息产生的时延相同,且处理自身信息产生的时延不同,针对通信时延下具有有向对称通信网络的多智能体系统,提出了一个自时延比例-微分控制协议,使系统的状态最终趋于一致.基于频域分析法和奈氏判据,给出了系统状态收敛到一致的充分条件,并计算出了系统静态一致时平衡状态的具体表达式.在Matlab环境下进行了仿真实验,其结果验证了理论的正确性和有效性.     

伪的弱效应代数的同余和理想

在伪的弱效应代数的基础上给出伪的弱差分偏序集的概念,证明了伪的弱效应代数和伪的弱差分偏序集是等价的.通过引入伪的弱效应代数中的同余等概念证明了在特殊的同余条件下的商代数仍然是伪的弱效应代数,证明了满足RDP性质的伪BL-效应代数在特殊的同余关系下的商代数也是一个伪BL-效应代数并且具有子直积表示.     

连通交换半环上三角矩阵代数的若当同构

利用若当同构的定义及其矩阵的性质,证明了如果R是含有恒等元1的2-非挠连通交换半环,Tn(R)是半环R上的三角矩阵代数,U是R上的任一代数,Φ:Tn(R)U(n≥2)是若当同构,那么Φ或者是同构,或者是反同构.     

非有限阶化无中心的超Virasoro代数

利用一个非有限阶化无中心的超Virasoro代数是非有限阶化无中心的Virasoro代数的非平凡的Z/2Z-阶化扩张,讨论了非有限阶化无中心的超Virasoro代数的结构。     

以兴趣培养为主线提高高等代数教学质量

在高等代数教学中,结合教学实际,通过采取阐述学科的重要性,萌发学习兴趣;与中学教学相结合,激发学习兴趣;融入教学建模思想,感受应用乐趣;融入人文科学知识,感受发现乐趣;传统教学与现代化工具结合,提高学习兴趣等多种途径,培养学生的学习兴趣,变"枯燥"为"乐趣",变被动学习为主动学习,从而获得了更好的教学效果.     

Malcev代数的次理想

举例说明了非Lie的Malcev代数的次理想与理想是2个不同的概念.给出了Malcev代数的次理想的一些基本性质,证明了半单的Malcev代数的次理想均为理想;Malcev代数的幂等次理想均为理想;幂零的Malcev代数的子代数均为次理想;当Malcev代数的所有子代数均为次理想时,此Malcev代数是可解的.     

子空间均为子代数的李代数的若干性质

确定了S.A.(即子空间均为子代数)李代数的结构与唯一性,同构,导子代数,自同构群及不变量;同时得到S.A.李代数是完备李代数的一个充分必要条件.