Related papers: A 2-base for inverse semigroups
We investigate a new algebraic structure which always gives rise to a set-theoretic solution of the Yang-Baxter equation. Specifically, a weak (left) brace is a non-empty set $S$ endowed with two binary operations $+$ and $\circ$ such that…
We discuss the use of negative bases in automatic sequences. Recently the theorem-prover Walnut has been extended to allow the use of base (-k) to express variables, thus permitting quantification over Z instead of N. This enables us to…
Classical invariant theory of a complex reflection group $W$ highlights three beautiful structures: -- the $W$-invariant polynomials constitute a polynomial algebra, over which -- the $W$-invariant differential forms with polynomial…
Comtrans algebras, arising in web geometry, have two trilinear operations, commutator and translator. We determine a Gr\"obner basis for the comtrans operad, and state a conjecture on its dimension formula. We study multilinear polynomial…
We prove that the structure of right generalized inverse semigroups is determined by free \'etale actions of inverse semigroups. This leads to a tensor product interpretation of Yamada's classical struture theorem for generalized inverse…
We consider the problem of mutually unbiased bases as a polynomial optimization problem over the reals. We heavily reduce it using known symmetries before exploring it using two methods, combining a number of optimization techniques. The…
In this work we characterize shift spaces over infinite countable alphabets that can be endowed with an inverse semigroup operation. We give sufficient conditions under which zero-dimensional inverse semigroups can be recoded as shift…
The idempotent problem of a finitely generated inverse semigroup is the formal language of all words over the generators representing idempotent elements. This note proves that a finitely generated inverse semigroup with regular idempotent…
We introduce the notion of semigroup with a tight ideal series and investigate their closures in semitopological semigroups, particularly inverse semigroups with continuous inversion. As a corollary we show that the symmetric inverse…
Let $G$ be a unitriangular matrix group of nilpotency class at most ten. We show that the Identity Problem (does a semigroup contain the identity matrix?) and the Group Problem (is a semigroup a group?) are decidable in polynomial time for…
We compute the based ring of two-sided cell corresponding to the unipotent class in $Sp_6(\mathbb C)$ with Jordan blocks (21111). The results also verify Lusztig's conjecture on the structure of the based rings of the two-sided cells of an…
A subsemigroup $S$ of an inverse semigroup $Q$ is a left I-order in $Q$ if every element in $Q$ can be written as $a^{-1}b$ where $a,b \in S$ and $a^{-1}$ is the inverse of $a$ in the sense of inverse semigroup theory. If we insist on $a$…
We stress the potential usefulness of renormalization group invariants. Especially particular combinations thereof could for instance be used as probes into patterns of supersymmetry breaking in the MSSM at inaccessibly high energies. We…
We prove a structure result on proper extensions of two-sided restriction semigroups in terms of partial actions, generalizing respective results for monoids and for inverse semigroups and upgrading the latter. We introduce and study…
A long-standing open problem asks if there can exist 7 mutually unbiased bases (MUBs) in $\mathbb{C}^6$, or, more generally, $d + 1$ MUBs in $\mathbb{C}^d$ for any $d$ that is not a prime power. The recent work of Kolountzakis, Matolcsi,…
In a group $G$, elements $a$ and $b$ are conjugate if there exists $g\in G$ such that $g^{-1} ag=b$. This conjugacy relation, which plays an important role in group theory, can be extended in a natural way to inverse semigroups: for…
We present a new proof for the main claim made in the author's paper "On the identity bases of Brandt semigroups" (Ural. Gos. Univ. Mat. Zap. 14, no.1 (1985), 38--42); this claim provides an identity basis for an arbitrary Brandt semigroup…
In this short note we answer to a question of group theory from arXiv:0910.5080. In that paper the author describes the set of realizable Steinitz classes for so-called $A'$-groups of odd order, obtained iterating some direct and semidirect…
Self-dual codes over $\Z_2\times\Z_4$ are subgroups of $\Z_2^\alpha \times\Z_4^\beta$ that are equal to their orthogonal under an inner-product that relates to the binary Hamming scheme. Three types of self-dual codes are defined. For each…
In this paper, we study invariants of linear differential operators with respect to algebraic Lie pseudogroups. Then we use these invariants and the principle of n-invariants to get normal forms (or models) of the differential operators and…