位置：成果数据库 > 期刊 > 期刊详情页
有单位元的环的主同余
  • ISSN号：1000-5862
  • 期刊名称：《江西师范大学学报：自然科学版》
  • 时间：0
  • 分类：O153.5[理学—数学;理学—基础数学]
  • 作者机构：[1]毕节学院数学系逻辑与应用逻辑研究所,贵州毕节551700, [2]广西师范大学计算机科学与信息工程学院,广西桂林541004
  • 相关基金：国家自然科学基金（60663001）; 贵州省教育厅自然科学基金（黔教科20090068）资助项目
作者： 曹发生[1], 王驹[2], 蒋运承[2]
关键词： 主同余, 主同余公式, 环, principal congruence, principal congruence formula, ring
中文摘要：

通过构造有单位元的环的主同余公式,给出了有单位元的环的主同余刻画;归纳于有单位元的环的一元项的形成和主同余公式的长度,从而给出有单位元的交换环和单位元的环的主同余的判定条件.

英文摘要：

An equivalent characterization for principal congruence on ring with identity is obtained by constructing principal congruence formula on it.Then decision conditions for principal congruence on commutative ring with identity and ring with identity are given by inducing term and the length of the principal congruence formula of them.

同期刊论文项目
描述逻辑循环定义的理论框架及其推理机制研究
期刊论文 52 会议论文 1
同项目期刊论文
谓词模态逻辑到对应物理论的翻译
弱可逆线性有限自动机的一种分解
Expressive fuzzy description logics over lattices
Extending soft sets with description logics
描述逻辑εLN循环术语集的不动点语义及推理
描述逻辑μALCQO的语义及推理
循环ALCN-Tbox具有模型的条件
独立于设计者的行动推理
Reasoning within intuitionistic fuzzy rough description logics
基于语义的旅游信息搜索引擎
描述逻辑εL混合循环术语集的LCS和MSC推理
模糊描述逻辑L-ALCN
带传递关系和存在量词的描述逻辑MSC推理
P2P环境下基于描述逻辑的信息集成
描述逻辑μALCIO的语义及推理
带RVM的描述逻辑εL混合循环术语集的语义及推理
面向语义Web的描述逻辑
描述逻辑εL循环术语集的混合推理
基于描述逻辑的带属性依赖时序ER模型
模糊描述逻辑FALNUI的tableaux推理
面向语义Web语义表示的模糊描述逻辑
基于描述逻辑的CIM模型
循环ALCN—Tbox具有模型的条件
半分配同余簇主同余的研究
描述逻辑FL-循环术语集的语义及推理
面向语义Web的Expressive格值描述逻辑
gfp-模型的描述逻辑FLε的循环术语集推理
基于Tabu的Deep Web特征选择算法
描述逻辑非标准推理
描述逻辑系统FLEN中概念的最小公共包含算法研究
基于最大不动点模型的描述逻辑系统FLε的有穷基
DDS并行模型及其形式化
基于正区域的快速求核算法
期刊信息
  • 《江西师范大学学报：自然科学版》
  • 北大核心期刊（2011版）
  • 主管单位:江西师范大学
  • 主办单位:江西师范大学
  • 主编：
  • 地址：南昌市紫阳大道99号
  • 邮编：330022
  • 邮箱：lk8506184@126.com
  • 电话：0791-88506814
  • 国际标准刊号：ISSN：1000-5862
  • 国内统一刊号：ISSN：36-1092/N
  • 邮发代号:44-56
  • 获奖情况:
  • 2009年中国高等学校自然科学学报研究会颁发“全国...,2009年被评为：第四届华东地区优秀期刊奖”,2008年教育部科技司授予“第2届中国高校优秀科技...,2008年江西省新闻出版局授予“第3届江西省优秀期...,2004年教育部科技司授予“全国高校优秀科技期刊二...
  • 国内外数据库收录:
  • 俄罗斯文摘杂志,美国化学文摘（网络版）,美国数学评论（网络版）,波兰哥白尼索引,德国数学文摘,美国剑桥科学文摘,中国中国科技核心期刊,中国北大核心期刊（2004版）,中国北大核心期刊（2008版）,中国北大核心期刊（2011版）,中国北大核心期刊（2014版）
  • 被引量:5205