Related papers: Structural aspects of semigroups based on digraphs
For a graph with edge ordering, a linear order on the edge set, we obtain a permutation of vertices by considering the edges as transpositions of endvertices. It is known from D\'enes' results that the permutation of a tree is a full cyclic…
A digraph $D$ is called {\bf noneven} if it is possible to assign weights of 0,1 to its arcs so that $D$ contains no cycle of even weight. A noneven digraph $D$ corresponds to one or more nonsingular sign patterns. Given an $n \times n$…
We classify all finite 2-groups that have a cyclic or dihedral maximal subgroup and determine their automorphism groups. Based on this result, we classify all pairs $ (G,\mathcal{M}) $, such that $ G $ is a finite 2-group and $ \mathcal{M}…
We show that there exist constants $\delta_1,\delta_2>0$ such that if $G$ is an $(n,d,\lambda)$-graph with $\lambda/d\le\delta_1$, then $G$ contains an induced cycle of length at least $\delta_2n/d$. We further demonstrate that, up to a…
A semigroup $\langle C\rangle$ in $\mathbb{N}^n$ is a gluing of $\langle A\rangle$ and $\langle B\rangle$ if its finite set of generators $C$ splits into two parts, $C=k_1A\sqcup k_2B$ with $k_1,k_2\geq 1$, and the defining ideals of the…
Here we prove that for dilatation structures linearity (see arXiv:0705.1440v1) is equivalent to a statement about the inverse semigroup generated by the family of dilatations of the space. The result is new for Carnot groups and the proof…
Let $G=\Gamma(S)$ be a semigroup graph, i.e., a zero-divisor graph of a semigroup $S$ with zero element 0. For any adjacent vertices $x, y$ in $G$, denote $C(x,y)={z\in V(G) | N(z)={x,y}}$. Assume that in $G$ there exist two adjacent…
The edges surrounding a face of a map $M$ form a cycle $C$, called the boundary cycle of the face, and $C$ is often not a simple cycle. If the map $M$ is arc-transitive, then there is a cyclic subgroup of automorphisms of $M$ which leaves…
The syntactic complexity of a regular language is the size of its syntactic semigroup. This semigroup is isomorphic to the transition semigroup of the minimal deterministic finite automaton accepting the language, that is, to the semigroup…
In this paper, we study conditions which ensure the existence of backward flow invariant domains for semigroups of holomorphic self-mappings of a simply connected domain $D$. More precisely, the problem is the following. Given a…
This paper concerns the general problem of classifying the finite deterministic automata that admit a synchronizing (or reset) word. (For our purposes it is irrelevant if the automata has initial or final states.) Our departure point is the…
This article is devoted to the investigation of semidirect products of groups of loops and groups of diffeomorphisms of finite and infinte dimensional real, complex and quaternion manifolds. Necessary statements about quaternion manifolds…
Let $H$ be a permutation group on a set $\Lambda$, which is permutationally isomorphic to a finite alternating or symmetric group $A_n$ or $S_n$ acting on the $k$-element subsets of points from $\{1,\ldots,n\}$, for some arbitrary but fixed…
This is an expository work presenting in detail the proof of the structure theorem for divisible abelian groups. A divisible abelian group is an abelian group that satisfies nD=D for all natural n. The theorem states that any divisible…
Let $T(X)$ be the full transformation semigroup on a set $X$, and let $L(V)$ be the semigroup under composition of all linear transformations on a vector space $V$ over a field. For a subset $Y$ of $X$ and a subspace $W$ of $V$, consider…
Let $ H $ be a multi-digraph on $ h $ vertices with $ q $ arcs. An \textbf{$H$-subdivision} in a digraph $D$ is a subdigraph obtained by replacing every arc $uv$ of $H$ with a path from $u$ to $v$ in $D$ such that these paths are pairwise…
Algebraic cycles on complex projective space P(V) are known to have beautiful and surprising properties. Therefore, when V carries a real or quaternionic structure, it is natural to ask for the properties of the groups of real or…
We give a structural description of the class $\cal C$ of graphs that do not contain a cycle with a unique chord as an induced subgraph. Our main theorem states that any connected graph in $\cal C$ is either in some simple basic class or…
Let $G$ be a group. The directed endomorphism graph, $\dend(G)$ of $G$ is a directed graph with vertex set $G$ and there is a directed edge from the vertex $a$ to the vertex $b$ if $a \neq b$ and there exists an endomorphism on $G$ mapping…
Let $D$ be a strongly connected directed graph of order $n\geq 4$ which satisfies the following condition (*): for every pair of non-adjacent vertices $x, y$ with a common in-neighbour $d(x)+d(y)\geq 2n-1$ and $min \{ d(x), d(y)\}\geq n-1$.…