迹的字向量表示
离散数学
2015-05-13 v2
摘要
我们证明了每个迹幺半群同构于字向量幺半群的一个子幺半群。它提供了将迹幺半群元素具体表示为与资源共享机制相关联的进程的方法。我们通过获得关于迹幺半群上左整除关系的序结构的一些结果来阐明这种表示。
引用
@article{arxiv.1505.02403,
title = {Representation of traces by vectors of words},
author = {Samy Abbes},
journal= {arXiv preprint arXiv:1505.02403},
year = {2015}
}
备注
Withdrawn since the results are known, published in the 1985 RAIRO paper by Cori and Perrin (thanks to A. Muscholl for pointing that out to me)