×
伊迪丝·科尔代罗;曼努埃尔·德尔加多

计算有限幺半群的相对阿贝尔核。 （英语） Zbl 1109.20051号

J.代数 303，第2号，642-654页（2006年）.
设（H）是有限阿贝尔群的伪簇。有限半群（S）的（H）-核（K_H（S））是所有关系态（S到a）的幂等元的逆像到任意（H中的a）的交集。While期间B.斯坦伯格[《澳大利亚数学学会公牛》第60卷第3期，第391-402页（1999年；Zbl 0946.20041号)]在已经确定函数（K_H）是可计算的当且仅当（H）存在可判定隶属度问题时，本文描述了计算函数（K_ H）的具体算法及其在GAP系统中的实现。
审核人：豪尔赫·阿尔梅达（波尔图）

引用于1文件

MSC公司：

2007年7月20日 半群的变种和伪变种
2005年5月20日 自由半群，生成器和关系，单词问题
20立方米 自动机理论、语言学等中的半群。

关键词：

有限半群;有限阿贝尔群;假变种;内核;超自然数;可计算性;成员资格问题;算法;间隙

引文：

Zbl 0946.20041号

软件：

间隙;自动机;SgpViz公司
PDF格式BibTeX公司 XML格式引用
\textit{E.Cordeiro}和\textit{M.Delgado}，J.Algebra 303，No.2，642--654（2006；Zbl 1109.20051）
全文： 内政部 链接

参考文献：

[1] Ash，C.J.，《必然图：II型猜想的证明和一些相关的决策程序》，国际。代数计算杂志。，1, 127-146 (1991) ·Zbl 0722.20039号
[2] Cohen，H.，计算代数数论课程，Grad。数学课文。（1993），施普林格·Zbl 0786.11071号
[3] Delgado，M.，幺半群的阿贝尔类点，半群论坛，56339-361（1998）·Zbl 2005年9月9日
[4] Delgado，M.，有理语言的交换映象和幺半群的阿贝尔核，Theor。通知。申请。，35, 419-435 (2001) ·兹比尔1028.68087
[5] 德尔加多，M。；Fernandes，V.H.，一些内射部分变换幺半群的Abelian核及其应用，半群论坛，61435-452（2000）·Zbl 0966.20030号
[6] 德尔加多，M。；Fernandes，V.H.，具有可交换幂等元的可解幺半群，内部。代数计算杂志。，15, 547-570 (2005) ·Zbl 1083.20047号
[7] 德尔加多，M。；Fernandes，V.H.，阿贝尔核，可解幺半群和有限幺半群的阿贝尔核长度，（Araújo，I.；Branco，M.；Fernande，V.；Gomes，G.，《半群和语言研讨会论文集》，里斯本，2002（2004），世界科学），68-85·兹伯利1189.20051
[8] 德尔加多，M。；Fernandes，V.H.，序保映射幺半群的Abelian核及其一些扩展，半群论坛，68435-456（2004）
[9] 德尔加多，M。；Héam，P.-C.，计算有限幺半群的交换核的多项式时间算法，半群论坛，6797-110（2003）·Zbl 1029.20030号
[10] 德尔加多，M。；林顿，S。；Morais，J.，《自动化：A》间隙有限自动机上的包
[11] 德尔加多，M。；Morais，J.，给定正则语言最小正则表达式的近似，（Domaratzki，M.；Okhotin，a.；Salomaa，K.；Yu，S.，《自动化的实现与应用》，《自动化实现与应用，计算机科学讲义》，第3317卷（2005），施普林格：施普林格-海德堡），312-314·Zbl 1115.68428号
[12] 德尔加多，M。；Morais，J.，SgpViz:A间隙有限半群可视化包
[13] 亨克尔，K。；马戈利斯，S。；销，J.-E。；Rhodes，J.，Ash的II型定理，有限拓扑和Malcev乘积，第一部分，国际。代数计算杂志。，1, 411-436 (1991) ·Zbl 0791.20079
[14] 销，J.-E。；Reutenauer，C.，自由群Bull的Hall拓扑猜想。伦敦数学。《社会学杂志》，23，356-362（1991）·Zbl 0754.20007号
[15] 肋骨，L。；Zalesskiĭ，P.A.，关于自由群上的profinite拓扑，Bull。伦敦数学。《社会学杂志》，25，37-43（1993）·Zbl 0811.20026号
[16] 肋骨，L。；Zalesskiĭ，P.A.，自由群的pro-\（P\）拓扑和半群中的算法问题，内部。代数计算杂志。，4, 359-374 (1994) ·Zbl 0839.20041号
[17] Sims，C.C.，《有限呈现群的计算》（1994），剑桥大学出版社·Zbl 0828.20001
[18] Steinberg，B.，自由阿贝尔群上的Monoid核和profinite拓扑，Bull。澳大利亚。数学。《社会学杂志》，60，391-402（1999）·Zbl 0946.20041号
[19] GAP-Groups，Algorithms，and Programming，4.4版（2004）
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。