共查询到20条相似文献,搜索用时 0 毫秒
1.
朱金寿 《武汉汽车工业大学学报》1999,21(5):97-98
主要讨论了局部G-代数的下亏群,设A是一个局部G-代数,D是A的一个亏群,则有如下结果(1)P是A的一个下亏珞,则P≤D;(2)如果P是A的一个下亏群,对任何gG,P也是A的一个下亏群;(3)D是A的一个下亏群。 相似文献
2.
关于有限群的几个定理 总被引:1,自引:0,他引:1
宋迎春 《长沙交通学院学报》2001,17(1):4-6
利用几乎正规的定义对有限群G作了一些研究,得到了几乎正规子群的一些性质,并给出了有限群为可解群的几个充分条件。 相似文献
3.
主要讨论了G-代数的亏群和顶的关系,其主要结果有:(1)设(A,ρ),(A′,ρ′)是两个局部内G-代数,ψA→A′是一个使得ψ(1a)=1A的内G-代数同态,则D(A)≤D(A)。 相似文献
4.
给出有限维结合代数上表示可约性的两个判别法。它们是,(I)若φ是有限维结合代数A上的表示,其表示矩阵为αφ,且存在非零元α∈Z(A),使得T(α)≠0,而detT(α)≠0,则φ是可约的;(Ⅱ)若φ是有限维结合代数A上的正则表示,其反表示矩阵为S(α),则φ是既约的充要条件为:A↓α∈A,α≠0,有detS(α)≠0。 相似文献
5.
基于有限格蕴涵代数的格值命题逻辑语义系统 总被引:2,自引:0,他引:2
以有限格蕴涵代数作为逻辑系统的真值域,在其上建立了基于有限格蕴涵代数的格值命题逻辑语义系统,研究了在A水平上系统的赋值和公式的可满足性等基本定义,证明了系统“有效性”的可判定性并给出了判定算法。 相似文献
6.
关于格蕴涵代数的几点注记 总被引:2,自引:2,他引:0
给出了一般(2,1,0,0)型代数(L,→^*0,1)成为格蕴涵代数的充要条件,证明了在有限链及非全序四元格上只有一种格蕴涵代数,且不存在非全序五元格蕴涵代数,为进一步讨论由语言真值构成的格蕴函代数的结构提供了条件。 相似文献
7.
李思泽 《北方交通大学学报》1997,21(5):571-575
确定一个代数的表示型是代数表示论中的主要任务之一。本文给出了无限表示型代数的某些判定方法,通过一个代数的Auslander-Reiten箭图的某个分支上仅仅一小部分的一些特性来推断该代数的表示型。 相似文献
8.
9.
关于N(2,2,0)代数 总被引:26,自引:0,他引:26
本文定义了一种新的(2,2,0)型代数(S,*,Δ,0),简称为N(2,2,0)代数。研究了它的基本性质;初步探讨了关于Δ运算幂零和*运算幂等的N(2,2,0)代数的特性;证明了:Δ运算幂零时,(S,Δ,0)构成一个结合的BCI-代数;*运算幂等时,(S,*,Δ,0)合一问题是不可判定的。 相似文献
10.
以有限格蕴涵代数为真值域,建立了基于有限格蕴涵代数的格值命题逻辑系统;采用公理化的方法,给出了该系统在A水平上的语法导出、证明和协调性等基本定义,并证明了系统的可靠性定理、协调性定理、弱完备性定理和弱演绎定理. 相似文献
11.
谢建新 《长沙交通学院学报》2001,17(3):6-9
证明了当值零级代数体函数ω(z)满足条件-limr→∞T(r,ω)/(logr)^2=∞时至少存在一条最大型Borel方向argz=θ0,满足0<^-limr→∞n(r,△(θ,ε),a)/(logr)^ λ(r)-1 ≤evλ,至多除去两个例外值a。得出几个关于n(r,△(θ,ε),a)的级和型的推论。 相似文献
12.
关于格蕴涵代数模糊滤子的一个注记 总被引:1,自引:1,他引:1
在格蕴涵代数基本结构基础上进一步研究了格蕴涵代数的模糊滤子的性质,指出了模糊滤子可以诱导出格蕴涵代数的一簇同余关系,并研究了这簇同余关系的代数结构及灾些同余关系所诱导的商代数之间的同态映射。 相似文献
13.
14.
关于高等代数与解析几何教学的思考 总被引:1,自引:0,他引:1
介绍了当今数学界将高等代数的解析几何合并的思路与措施,阐述了两门基础课合二为一应注重与计算机运用和实际应用相联系的观点,对国内常见的十余种高等代数与解析几何的中、外文版教材作了简要介绍。 相似文献
15.
Moore型有限状态机的VHDL设计与资源利用研究 总被引:3,自引:0,他引:3
吴蓉 《兰州交通大学学报》2003,22(1):90-93
根据Moore型有限状态机的原理,对内存控制器的设计提出了普通型,时钟同步输出信号型和直接把状态作为输出信号型(Outputs=states)三种VHDL设计方法,并从消除“毛刺”,提高资源利用率和速度等方面对三种方法进行了比较,通过开发工具Max plusⅡ的编译和功能仿真,验证了方法的合理性和通用性。 相似文献
16.
阶素因子个数较小且每个素因子的次数较低的有限群在群的研究中有重要的作用,很多与群结构相关的结论都是利用这种群描述的(比如可解群)。利用线性群的方法以及群的线性表示的思想,给出Zp×Zp的两个相对全形同构的一个性质充分条件,并利用这一充分条件,给出p2q阶群的同构类数的另一证明。 相似文献
17.
王斌 《重庆交通学院学报》1997,16(1):114-117
通过线场分析方法,求得了经典加载下的Ⅲ型中心裂纹板条、边裂纹板条、受面外均匀剪切的偏心裂纹板条以及裂纹面受集中力的Ⅲ型中心裂纹板条的应力强度因子。 相似文献
18.
朱品武 《武汉船舶职业技术学院学报》2008,7(6):44-47
在道路、桥梁建设中,双T型墩是常用的结构型式之一,为了解其受力特点,本文针对铁路双线T型墩进行了有限元分析,介绍了分析计算的结果,提出了相应的工程对策。 相似文献
19.
20.