×
理查德·布鲁特;罗宾·科克特;皮埃尔·阿莱·雅克敏;菲利普·斯科特

有限空间和广义幂级数。 （英语） Zbl 1529.13014号

Staton，Sam（编辑），第34届编程语义数学基础会议论文集（MFPS XXXIV），加拿大哈利法克斯达尔豪西大学，2018年6月6日至9日。阿姆斯特丹：爱思唯尔。电子。理论注释。计算。科学。341, 5-22 (2018).
设\（（M，.，\leq）\）是偏序幺半群。我们说，如果（s<s'\Rightarrow t.s<t.s'\）和（s.t<s'.t\）都是严格有序的（M\）。如果所有严格降序列表\（（m_1>m_2>\ldot）\）都是有限的，则部分有序集是Artinian集。如果由\（\leq\）互不相关的元素的任何子集是有限的，那么它是窄的。如果每个严格升序列表（（m_1<m_2<\ldots））都是有限的，那么这就是Noetherian。设（A）是交换群，（P，leq）是偏序集。函数\（f:P\右箭头a\）的支持由\（\mathrm{supp}（f）=\{P\ in P，f（P）\ not=0\}\）定义。设（G（P，A）是函数（f:P\rightarrow A\）的阿贝尔群，它的支持是Artian且窄的，带有逐点加法。设\（M，\leq）\）是严格偏序幺半群，\（R\）是环。Ribenboim定义了在X_M（f，G）}f（M_1）G \}\）。单位由函数\（e:M\右箭头R\）给出，其中\（e（M）=1_R\），如果\（M=1_M\），则为\（0\）。本文证明了Ribenboim对幺半群的限制是在Ehrhard有限空间的适当范畴中将这种幺半群表示为内部幺半群时的适当条件。
有关整个系列，请参见[Zbl 1411.68020号].
审核人：阿里·本希西（莫纳斯提尔）

引用于2文件

MSC公司：

13层25 形式幂级数环
第03页 线性逻辑和其他子结构逻辑的理论证明
03G30型 分类逻辑，拓扑

关键词：

幂级数;有限性空间;线性化;偏序集;Artinian偏序集;窄偏序集;偏序单半群;Puiseux系列;部分函数
PDF格式BibTeX公司 XML格式引用
\textit{R.Blute}等人，《电子》。理论注释。计算。科学。341、5--22（2018；Zbl 1529.13014）
全文： DOI程序 arXiv公司

参考文献：

[1] 安德森，F。；Fuller，K.，Rings and categories of modules（1992年），Springer-Verlag·Zbl 0765.16001号
[2] 布鲁特，R。；Cockett，J.R.B。；Seely，R.A.G.，微分范畴，数学。结构计算。科学。，16, 1049-1083 (2006) ·Zbl 1115.03092号
[3] Droste，M。；Kuich，W.，《半环和形式幂级数》，（加权自动机手册（2009），施普林格），3-28·Zbl 1484.68082号
[4] Ebrahimi-Fard，K。；Guo，L.，微扰量子场论重整化中的Rota-Baxter代数，Fields Inst.Commun。，50, 47-105 (2007) ·Zbl 1148.81018号
[5] Ehrhard，T.，有限空间，数学。结构计算。科学。，15, 615-646 (2005) ·Zbl 1084.03048号
[6] Ehrhard，T。；Regnier，L.，微分λ-微积分，理论。计算。科学。，309, 1-41 (2003) ·Zbl 1070.68020号
[7] 艾伦伯格，S.，《自动化、语言和机器》，A卷（1974年），学术出版社·Zbl 0317.94045号
[8] 吉拉德，J.-Y.，线性逻辑，定理。计算。科学。，50, 1-102 (1987) ·Zbl 0625.03037号
[9] Grillet，P.A.，《代数》（1999），John Wiley&Sons·Zbl 1018.00001号
[10] Guo，Li，《现代数学概览》第四卷：罗塔-巴克斯特代数导论（2010），国际出版社
[11] 郭，L。；Liu，Z.，广义幂级数环上的Rota-Baxter算子，J.代数应用。，8, 557-564 (2009) ·Zbl 1178.16041号
[12] 希格曼，G.，抽象代数中的可除性排序，Proc。伦敦数学。学会（3），2，326-336（1952）·Zbl 0047.03402号
[13] 霍奇斯，W.，模型理论（2008），坎布。大学出版社·Zbl 1139.03021号
[14] Laan，V.，部分序幺半群的Morita定理，Proc。美国东部时间。阿卡德。科学。，60, 221-237 (2011) ·Zbl 1412.06016号
[15] Laan，V.，关于部分序幺半群的Morita等价，应用。类别。结构，22137-146（2014）·Zbl 1305.18008号
[16] Marcolli，M.，Feynman motives（2009），《世界科学》·Zbl 1171.81384号
[17] 牛顿，I.，通量和无穷级数的方法；亨利·伍德福尔（Henry Woodfall:Henry Woodfall London），1671年，J·科尔森（J.Colson）从拉丁文翻译而来
[18] Puiseux，V.，Recherches sur les functions algébriques，J.Math。Pures应用程序。(1), 15, 365-480 (1850)
[19] Ribenboim，P.，《广义幂级数环：幂零元》，《数学文摘》。塞明。汉堡大学，61，15-33（1991）·Zbl 0751.13005号
[20] Ribenboim，P.，广义幂级数的Noetherian环，J.Pure Appl。代数，79，293-312（1992）·Zbl 0761.13007号
[21] Ribenboim，P.，《广义幂级数环II：单位和零维》，《代数杂志》，168，71-89（1994）·Zbl 0806.13011号
[22] Rutten，J.，《行为微分方程：流、自动机和幂级数的共导演算》，Theoret。计算。科学。，308, 1-53 (2003) ·Zbl 1071.68050号
[23] Sakarovitch，J.，重温Kleene定理，《计算讲义》。科学。，281, 39-50 (1987) ·Zbl 0637.68096号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。