Related papers: Permutation of elements in double semigroups
We extend the work of Kock (2007) and Bremner & Madariaga (2016) on commutativity in double interchange semigroups (DIS) to relations with 10 arguments. Our methods involve the free symmetric operad generated by two binary operations with…
We develop the theory of transformation semigroups that have degree 2, that is, act by partial functions on a finite set such that the inverse image of points have at most two elements. We show that the graph of fibers of such an action…
We prove a convolution formula for the conjugacy classes in symmetric groups conjectured by the second author. A combinatorial interpretation of coefficients is provided. As a main tool we introduce new semigroup of partial permutations. We…
The subgroup commutativity degree of a group G has been defined in [6] as the probability that two subgroups of G commute, or equivalently that the product of two subgroups is again a subgroup. Problem 4.3 of [6] asks whether there exist…
A concrete computation -- twelve slidings with sixteen tiles -- reveals that certain commutativity phenomena occur in every double semigroup. This can be seen as a sort of Eckmann-Hilton argument, but it does not use units. The result…
Structures of commuting semigroups of isometries under certain additional assumptions like double commutativity or dual double commutativity are found.
Let $A$ be a finite dimensional $Q-$algebra and $\Gamma subset A$ a $Z-$order. We classify those $A$ with the property that $Z^2$ does not embed in $\mathcal{U}(\Gamma)$. We call this last property the hyperbolic property. We apply this in…
We study permutation groups of given minimal degree without the classical primitivity assumption. We provide sharp upper bounds on the order of a permutation group of minimal degree m and on the number of its elements of any given support.…
We consider semigroups of transformations (partial mappings defined on a set $A$) closed under the set-theoretic intersection of mappings treated as subsets of $A\times A$. On such semigroups we define two relations: the relation of…
This paper proves coherence results for categories with a natural transformation called \emph{intermutation} made of arrows from $(A\wedge B)\vee(C\wedge D)$ to ${(A\vee C)\wedge(B\vee D)}$, for $\wedge$ and $\vee$ being two biendofunctors.…
The concept of subgroup commutativity degree of a finite group $G$ is arising interest in several areas of group theory in the last years, since it gives a measure of the probability that a randomly picked pair $(H,K)$ of subgroups of $G$…
In this article, we study the quotients of numerical semigroups, generated by two coprime positive numbers, named (a,b) over d. We give formulae for the usual invariants of these semigroups, expressed in terms of continued fraction…
We study a family of random permutation models on the Hamming graph $H(2,n)$ (i.e., the $2$-fold Cartesian product of complete graphs), containing the interchange process and the cycle-weighted interchange process with parameter $\theta >…
We show that the two binary operations in double inverse semigroups, as considered by Kock [2007], necessarily coincide.
J.M. Howie, the influential St Andrews semigroupist, claimed that we value an area of pure mathematics to the extent that (a) it gives rise to arguments that are deep and elegant, and (b) it has interesting interconnections with other parts…
We show that $A_s(n)$, the coordinate algebra of Wang's quantum permutation group, is Calabi-Yau of dimension $3$ when $n\geq 4$, and compute its Hochschild cohomology with trivial coefficients. We also show that, for a larger class of…
Given any digraph $D$ without loops or multiple arcs, there is a natural construction of a semigroup $\langle D\rangle$ of transformations. To every arc $(a,b)$ of $D$ is associated the idempotent transformation $(a\to b)$ mapping $a$ to…
Given a finite group $G$, we introduce the \textit{permutability degree} of $G$, as $$pd(G)=\frac{1}{|G| \ |\mathcal{L}(G)|} {\underset{X \in \mathcal{L}(G)}\sum}|P_G(X)|,$$ where $\mathcal{L}(G)$ is the subgroup lattice of $G$ and $P_G(X)$…
A congruence on an inverse semigroup $S$ is determined uniquely by its kernel and trace. Denoting by $\rho_k$ and $\rho_t$ the least congruence on $S$ having the same kernel and the same trace as $\rho$, respectively, and denoting by…
There is an established bijection between finite-index subgroups Gamma of Gamma(2) and bipartite graphs on surfaces, or, equivalently, certain triples of permutations. We utilize this relationship to study both congruence and noncongruence…