检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
机构地区:[1]毕节学院数学系逻辑与应用逻辑研究所,贵州毕节551700 [2]广西师范大学计算机科学与信息工程学院,广西桂林541004
出 处:《江西师范大学学报(自然科学版)》2010年第2期192-194,214,共4页Journal of Jiangxi Normal University(Natural Science Edition)
基 金:国家自然科学基金(60663001);贵州省教育厅自然科学基金(黔教科20090068)资助项目
摘 要:通过构造有单位元的环的主同余公式,给出了有单位元的环的主同余刻画;归纳于有单位元的环的一元项的形成和主同余公式的长度,从而给出有单位元的交换环和单位元的环的主同余的判定条件.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.
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:216.73.216.177