Related papers: Orthodox semigroups and permutation matchings

We present MSO and FO logics with predicates `between' and `neighbour' that characterise various fragments of the class of regular languages that are closed under the reverse operation. The standard connections that exist between MSO and FO…

In this work, we establish a relationship between the sum of irreducible character degrees and the number of twisted involutions associated with the automorphisms of a finite group. We develop algorithmic frameworks for evaluating these…

An element of a group is called bireflectional when it is the product of two involutions of the group (i.e. elements of order 1 or 2). If an element is bireflectional then it is conjugated to its inverse. It is known that all elements of…

We fix a path model for the space of filters of the inverse semigroup $\mathcal{S}_\Lambda$ associated to a left cancellative small category $\Lambda$. Then, we compute its tight groupoid, thus giving a representation of its $C^*$-algebra…

In this dissertation, we explore the structure of inversion graphs of permutations--a class of graphs that naturally arises by representing each permutation as a graph, where vertices correspond to entries and edges encode inversions.…

In this note the Chernoff Theorem is used to approximate evolution semigroups constructed by the procedure of subordination. The considered semigroups are subordinate to some original, unknown explicitly but already approximated by the same…

In this paper, we classify finite categories with two objects such that one of the endomorphism monoids is a group. We prove that having a group on one side affects the structure of the other endomorphism monoid, and we prove that it is…

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$…

Given a subgroup H of a finite group G, we begin a systematic study of the partial representations of G that restrict to global representations of H. After adapting several results from [DEP00] (which correspond to the case where H is…

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 the proportion of permutations $g$ in $S_n$ or $A_n$ such that $g$ has even order and $g^{|g|/2}$ is an involution with support of cardinality at most $\lceil n^\varepsilon \rceil$ is at least a constant multiple of…

An element of a group is said to be reversible if it is conjugate to its inverse. We characterise the reversible elements in the group of diffeomorphisms of the real line, and in the subgroup of order preserving diffeomorphisms.

Given a group G, we construct, in a canonical way, an inverse semigroup S(G) associated to G. The actions of S(G) are shown to be in one-to-one correspondence with the partial actions of G, both in the case of actions on a set, and that of…

Motivated in part by representation theoretic questions, we prove that if G is a finite quasi-simple group, then there exists an elementary abelian subgroup of G that intersects every conjugacy class of involutions of G.

For a variety of finite groups $\mathbf H$, let $\overline{\mathbf H}$ denote the variety of finite semigroups all of whose subgroups lie in $\mathbf H$. We give a characterization of the subsets of a finite semigroup that are pointlike…

Nonuniqueness of semidirect decompositions of groups is an insufficiently studied question in contrast to direct decompositions. We obtain some results about semidirect decompositions for semidirect products with factors which are…

Let $(Q,\sigma)$ be a symmetric quiver, where $Q=(Q_0,Q_1)$ is a finite quiver without oriented cycles and $\sigma$ is a contravariant involution on $Q_0\sqcup Q_1$. The involution allows us to define a nondegenerate bilinear form $<,>$ on…

The adjoint action of a finite group of Lie type on its Lie algebra is studied. A simple formula is conjectured for the number of split semisimple orbits of a given genus. This conjecture is proved for type A, and partial results are…

We prove that every ordered partial action of an inverse semigroupoid on a partially ordered set admits a globalization. This result is used to establish a connection between ordered partial actions of groupoids and a multi-object analogue…

A description of the endomorphisms of semidirect products of two groups as a group of $2\times 2$ matrices of maps is already known. Using this description, we have studied the concept of determinant for the endomorphisms of semidirect…