-
题名关于半实模的张量积
被引量：1
- 1
-
-
作者
黄冬明
曾广兴
-
机构
南昌大学数学系
-
出处
《南昌大学学报（理科版）》
CAS
北大核心
2004年第2期124-129,共6页
-
基金
国家重点基础研究发展规划(973)资助项目(G1998030600)
国家自然科学基金资助项目(19661002)
-
文摘
研究了半实模的张量积问题。得到:两个R-模M,N的张量积M RN有序的充分必要条件是X(M|R)∩X(N|R)≠ 或P(M)∩P(N)≠ 。进一步,当模为有限生成模时,又有定理5成立。
-
关键词
模
半实模
序
张量积
-
Keywords
module
semireal module
ordering
tensor product
-
分类号
O153.5
[理学—数学]
-
-
题名关于一族模的任意重张量积的实性
被引量：1
- 2
-
-
作者
黄冬明
戴小花
曾广兴
-
机构
海南大学应用数学系
南昌大学数学系
-
出处
《南昌大学学报（理科版）》
CAS
北大核心
2014年第4期324-329,共6页
-
基金
国家自然科学基金项目(10971044)
海南大学青年基金项目(qnjj1246)
-
文摘
引进一族模的任意重张量积的概念.通过建立一个充分必要条件,模的任意重张量积的半实性被得到刻画。此外,本文给出了一族模的张量积具有序的一些充分必要条件。
-
关键词
模
半实模
序
任意重张量积
-
Keywords
module
semireal module
ordering
arbitrary-fold tensor products
-
分类号
O153.5
[理学—数学]
-
-
题名Kleene模与*-μ-半模
- 3
-
-
作者
冯锋
李锋
-
机构
西安邮电学院应用数理系
临沂师范学院数学系
-
出处
《西安邮电学院学报》
2007年第5期124-125,137,共3页
-
文摘
Kleene模及相关代数结构在程序推理中发挥着重要作用。作为对Kleene模等概念的推广,本文提出了*-μ-半模的概念,并给出了*-μ-半模成为Kleene模的充要条件。
-
关键词
＊-半环
Kleene模
＊-μ-半模
-
Keywords
＊ - semiring
Kleene module
＊ - μ- semimodule
-
分类号
TP301.1
[自动化与计算机技术—计算机系统结构]
-
-
题名Kleene代数及相关半模结构
- 4
-
-
作者
柳晓燕
冯锋
-
机构
西安邮电学院理学院
-
出处
《数学的实践与认识》
CSCD
北大核心
2010年第11期198-205,共8页
-
基金
陕西省教育厅科研计划项目(08JK432
09JK722
+1 种基金
09JK724
09JK728)
-
文摘
Kleene代数在理论计算机科学中具有基础而特殊的重要性，Kleene模、布尔模和动态代数等与Kleene代数密切相关的半模结构在程序的语义逻辑及推理中发挥着十分重要的作用．将半环和半模等代数系统作为基本构架，研究了理论计算机科学中的Kleene代数、Kleene模和归纳＊-半环等重要概念，并将这些对象统一为序＊-半环上称为归纳半模的代数结构．进一步，提出并讨论了弱归纳半模、伪归纳半模以及伪弱归纳半模等相关概念．
-
关键词
半环
半模
Kleene代数
Kleene模
归纳半模
-
Keywords
semiring
semimodule
Kleene algebra
Kleene module
inductive semimodule
-
分类号
O153.3
[理学—数学]
-
