应用于标准基与语法代数的拓扑重写系统
环与代数
2019-12-02 v4 符号计算
摘要
我们给出拓扑向量空间上重写系统的函数式描述。我们引入拓扑合流性作为合流性性质的一种逼近。利用连续归约算子对线性拓扑重写系统的表示，我们证明拓扑合流性可由格运算刻画。我们将这些运算与标准基相联系，并表明后者在形式幂级数上诱导出拓扑合流的重写系统。最后，我们研究归约算子的对偶性，并将其与级数表示及语法代数相关联。特别地，我们利用对偶性来证明一个代数是否为语法代数。
引用
@article{arxiv.1907.06394,
title = {Topological rewriting systems applied to standard bases and syntactic algebras},
author = {Cyrille Chenavier},
journal= {arXiv preprint arXiv:1907.06394},
year = {2019}
}