Related papers: Free monoids and generalized metric spaces

We prove that monoids $\mathrm{Mon}\langle a,b,c,d : a^nb=0, ac=1, db=1, dc=1, dab=1, da^2b=1, \ldots, da^{n-1}b=1\rangle$ are congruence-free for all $n\geq 1$. This provides a new countable family of finitely presented congruence-free…

In this paper we study those submonoids of $\mathbb{N}^d$ which a non-trivial pseudo-Frobenius set. In the affine case, we prove that they are the affine semigroups whose associated algebra over a field has maximal projective dimension…

Let $e: N^n \rightarrow M^m $ be an embedding into a compact manifold $M$. We study the relationship between the homology of the free loop space $LM$ on $M$ and of the space $L_NM$ of loops of $M$ based in $N$ and define a shriek map $…

We give inductive constructions of independent graphs that contain implied nonedges but do not contain any non-trivial rigid subgraphs, or \emph{nucleations}: some of the constructions and proofs apply to 3-dimensional abstract rigidity…

Classical multi-sorted equational theories and their free algebras have been fundamental in mathematics and computer science. In this paper, we present a generalization of multi-sorted equational theories from the classical ($Set$-enriched)…

This paper aims to use topological methods to compute $\mathrm{Ext}$ between an irreducible representation of a finite monoid inflated from its group completion and one inflated from its group of units, or more generally coinduced from a…

Graph monoids arise naturally in the study of non-stable K-theory of graph C*-algebras and Leavitt path algebras. They play also an important role in the current approaches to the realization problem for von Neumann regular rings. In this…

We present an elementary and self-contained construction of $A_\infty$-algebras, $A_\infty$-bimodules and their Hochschild homology and cohomology groups. In addition, we discuss the cup product in Hochschild cohomology and the spectral…

A finite hypergraph $H$ consists of a finite set of vertices $V(H)$ and a collection of subsets $E(H) \subseteq 2^{V(H)}$ which we consider as partition of unity relations between projection operators. These partition of unity relations…

Let $R$ be a commutative Noetherian ring of dimension $d$, $M$ a commutative cancellative torsion-free monoid of rank $r$ and $P$ a finitely generated projective $R[M]$-module of rank $t$. $(1)$ Assume $M$ is $\Phi$-simplicial seminormal.…

We present a procedure that constructs, in a combinatorial manner, a chain complex of free modules over a polynomial ring in finitely many variables, modulo an ideal generated by quadratic monomials. Applying this procedure to two specific…

Let $A\subset B$ be an extension of commutative reduced rings and $M\subset N$ an extension of positive commutative cancellative torsion-free monoids. We prove that $A$ is subintegrally closed in $B$ and $M$ is subintegrally closed in $N$…

We define a subclass of separated graphs, the class of adaptable separated graphs, and study their associated monoids. We show that these monoids are primely generated conical refinement monoids, and we explicitly determine their associated…

Let \phi be an endomorphism of a finitely generated free group F, and let H be a finite-index subgroup of F that is invariant under \phi. The nonzero eigenvalues of \phi are contained in the eigenvalues of \phi restricted to H.

For a fixed finite set of finite tournaments ${\mathcal F}$, the ${\mathcal F}$-free orientation problem asks whether a given finite undirected graph $G$ has an $\mathcal F$-free orientation, i.e., whether the edges of $G$ can be oriented…

We show that the image of a subshift $X$ under various injective morphisms of symbolic algebraic varieties over monoid universes with algebraic variety alphabets is a subshift of finite type, resp. a sofic subshift, if and only if so is…

We present the lattice structure of Feynman diagram renormalization in physical QFTs from the viewpoint of Dyson-Schwinger-Equations and the core Hopf algebra of Feynman diagrams. The lattice structure encapsules the nestedness of diagrams.…

For a topological space $X$ we propose to call a subset $S \subset X$ "free in $X$" if it admits a well-ordering that turns it into a free sequence in $X$. The well-known cardinal function $F(X)$ is then definable as $\sup\{|S| : S \text{…

Research on topological phases of matter is a core field in modern condensed matter physics. Free fermion systems, such as topological insulators and superconductors, have been studied using the "Tenfold Way" and K-theory. Building on…

The construction of bases for quotients is an important problem. In this paper, applying the method of rewriting systems, we give a unified approach to construct sections---an alternative name for bases in semigroup theory---for quotients…