相关论文: The Finite Basis Problem for Kiselman Monoids
We consider certain functional identities on the matrix algebra $M_n$ that are defined similarly as the trace identities, except that the "coefficients" are arbitrary polynomials, not necessarily those expressible by the traces. The main…
We give an infinite family of monoids $\Pi_N$ (for $N=2, 3, \dots$), each with a single defining relation of the form $bUa = a$, such that the Dehn function of $\Pi_N$ is at least exponential. More precisely, we prove that the Dehn function…
We propound the thesis that there is a limitation to the number of possible structures which are axiomatically endowed with identities involving operations. In the case of algebras with a binary operation satisfying a formally reducible (to…
Two finitely generated monoids are constructed, one finitely presented the other not, whose (directed, unlabelled) Cayley graphs are isomorphic.
We provide explicit identity bases for finite cyclic semigroups.
A prefix monoid is a finitely generated submonoid of a finitely presented group generated by the prefixes of its defining relators. Important results of Guba (1997), and of Ivanov, Margolis and Meakin (2001), show how the word problem for…
It is shown that plactic monoids satisfy nontrivial identities.
The polynomial-time computability of the permanent over fields of characteristic 3 for k-semi-unitary matrices (i.e. square matrices such that the differences of their Gram matrices and the corresponding identity matrices are of rank k) in…
Let $\mathrm{HK}_{\Theta}$ denote the Hecke-Kiselman monoid associated to a finite simple oriented graph $\Theta$. We present a Boolean matrix monoid that is isomorphic to the endomorphism monoid $\mathrm{End}(\mathrm{HK}_{\Theta})$.
Kneser-Haken Finiteness asserts that for each compact 3-manifold M there is an integer c(M) such that any collection of k>c(M) closed, essential, 2-sided surfaces in M must contain parallel elements. We show here that if M is closed then…
It is known that there are finitely many simplicial complexes (up to isomorphism) with a given number of vertices. Translating to the language of $h$-vectors, there are finitely many simplicial complexes of bounded dimension with $h_1=k$…
We show that being finitely presentable and being finitely presentable with solvable word problem are quasi-isometry invariants of finitely generated left cancellative monoids. Our main tool is an elementary, but useful, geometric…
The Catalan numbers are well-known to be the answer to many different counting problems, and so there are many different families of sets whose cardinalities are the Catalan numbers. We show how such a family can be given the structure of a…
We transform the method of Glasson into a sufficient condition under which a monoid is non-finitely related, add a new member to the collection of interlocking word-patterns, and use it to show that the monoid $M(ab^2a, a^2b^2)$ is…
For every semilattice $\mathcal{A}=(A,+)$, the set $\mathrm{End}(\mathcal{A})$ of its endomorphisms forms a semiring under pointwise addition and composition. We prove that that if $\mathcal{A}$ is finite, then the endomorphism semiring…
Let F_n be the free group on n generators, and P\Sigma_n be the group of automorphisms of F_n which send each generator to a conjugate of itself. Let K_n be the kernel of the homomorphism from P\Sigma_n to P\Sigma_{n-1} induced by mapping…
This work is focused on the study of the nonlinear elliptic higher order equation \begin{equation}\nonumber \left( -\Delta \right)^m u = S_k[-u] + \lambda f, \qquad x \in \mathbb{R}^N, \end{equation} where the $k-$Hessian $S_k[u]$ is the…
Jones monoids $\mathcal{J}_n$, for $1< n$, is a family of monoids relevant in knot theory. The purpose of this paper is to characterize of the identities satisfied by the Jones monoid $\mathcal{J}_5$.
In the paper we provide some polynomial identities for finite-dimensional algebras. A list of well known single polynomial identities is exposed and the classification of all $2$-dimensional algebras with respect to these identities is…
We study mixed identities for oligomorphic automorphism groups of countable relational structures. Our main result gives sufficient conditions for such a group to not admit a mixed identity without particular constants. We study numerous…