从自由幂等幺半群到自由乘法幂等 rig
环与代数
2024-09-06 v2 组合数学
群论
摘要
乘法幂等 rig（我们缩写为 mirig）是满足方程 的 rig。我们证明在有限多个生成元上的自由 mirig 是有限的，并计算了其大小。这项工作最初是受去中心化社交网络 Mastodon 上一次计算两个生成元上的自由 mirig 大小的协作努力所启发。
引用
@article{arxiv.2408.17440,
title = {From free idempotent monoids to free multiplicatively idempotent rigs},
author = {Morgan Rogers},
journal= {arXiv preprint arXiv:2408.17440},
year = {2024}
}
备注
38 pages, of which 3 are landscape