From free idempotent monoids to free multiplicatively idempotent rigs
Rings and Algebras
2024-09-06 v2 Combinatorics
Group Theory
Abstract
A multiplicatively idempotent rig (which we abbreviate to mirig) is a rig satisfying the equation . We show that a free mirig on finitely many generators is finite and compute its size. This work was originally motivated by a collaborative effort on the decentralized social network Mastodon to compute the size of the free mirig on two generators.
Keywords
Cite
@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}
}
Comments
38 pages, of which 3 are landscape