Related papers: On certain semigroups of transformations with an i…

Let $X$ be a finite set such that $|X|=n$ and let $i\leq j \leq n$. A group $G\leq \sym$ is said to be $(i,j)$-homogeneous if for every $I,J\subseteq X$, such that $|I|=i$ and $|J|=j$, there exists $g\in G$ such that $Ig\subseteq J$.…

We prove that if $T$ is an $\omega$-categorical supersimple theory with nontrivial dependence (given by forking), then there is a nontrivial regular 1-type over a finite set of reals which is realized by real elements; hence forking induces…

In this note, we consider the semigroup $O(X)$ of all order endomorphisms of an infinite chain $X$ and the subset $J$ of $O(X)$ of all transformations $\alpha$ such that $|Im(\alpha)|=|X|$. For an infinite countable chain $X$, we give a…

A subset $X$ of an Abelian group $G$ is called $semiaf\!fine$ if for every $x,y,z\in X$ the set $\{x+y-z,x-y+z\}$ intersects $X$. We prove that a subset $X$ of an Abelian group $G$ is semiaffine if and only if one of the following…

We call a restriction semigroup almost perfect if it is proper and its least monoid congruence is perfect. We show that any such semigroup is isomorphic to a `$W$-product' $W(T,Y)$, where $T$ is a monoid, $Y$ is a semilattice and there is a…

We give an 'arithmetic regularity lemma' for groups definable in finite fields, analogous to Tao's 'algebraic regularity lemma' for graphs definable in finite fields. More specifically, we show that, for any $M>0$, any finite field…

The current paper is an addition to the previous paper by author, where the overgroup lattice of the elementary subsystem subgroup $E(\Delta,R)$ of the Chevalley group $G(\Phi,R)$ for a large enough root subsystem $\Delta$ was studied. Now…

Suppose that $x$, $y$ are elements of a finite group $G$ lying in conjugacy classes of coprime sizes. We prove that $\langle x^G \rangle \cap \langle y^G \rangle$ is an abelian normal subgroup of $G$ and, as a consequence, that if $x$ and…

We study algebraic properties of the semigroup $\mathscr{O\!\!I\!}_n(L)$ of finite partial order isomorphisms of the rank $\leq n$ of an infinite linearly ordered set $(L,\leqslant)$. In particular we describe its idempotents, the natural…

The structure of transformation semigroups on a finite set is analyzed by introducing a hierarchy of functions mapping subsets to subsets. The resulting hierarchy of semigroups has a corresponding hierarchy of minimal ideals, or kernels.…

Let X be an algebraic toric set in a projective space over a finite field. We study the vanishing ideal, I(X), of X and show some useful degree bounds for a minimal set of generators of I(X). We give an explicit description of a set of…

Let $S$ be a semigroup. The elements $a,b\in S$ are called primarily conjugate if $a=xy$ and $b=yx$ for certain $x,y\in S$. The relation of conjugacy is defined as the transitive closure of the relation of primary conjugacy. In the case…

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…

Let $G$ be a group and $m$ a positive integer. We say an $m$-Cayley digraph $\Gamma$ over $G$ is a digraph that admits a group of automorphisms isomorphic to $G$ acting semiregularly on the vertex set with $m$ orbits. The digraph $\Sigma$…

A quasi-semiregular element in a permutation group is an element that has a unique fixed point and acts semiregularly on the remaining points. Such elements were first studied in the context of automorphisms of graphs and occur naturally in…

Let $\Gamma = (\Omega,E)$ be a strongly-regular graph with adjacency matrix $A_1$, and let $A_2$ be the adjacency matrix of its complement. For any vertex $\omega\in \Omega$, we define $E_{0,\omega}^*$ $E_{1,\omega}^*$ and $E_{2,\omega}^*$…

The current article continues a series of papers on decomposition of unipotents and its applications. Let $G(\Phi,R)$ be a Chevalley group with a reduced irreducible root system $\Phi$ over a commutative ring $R$. Fix $h\in G(\Phi,R)$. Call…

Lee and Kwon [12] defined an ordered semigroup S to be completely regular if a 2 (a2Sa2] for every a 2 S. We characterize every completely regular ordered semigroup as a union of t-simple subsemigroups, and every Clifford ordered semigroup…

Let $G\leqslant\mathrm{Sym}(\Omega)$ be transitive, and let $S$ be an intersecting subset, namely, the ratio $xy^{-1}$ of any elements $x,y\in S$ fixes some point. An EKR-type problem is to characterize transitive groups…

In this paper we show the way we pass from semigroups (without order) to hypersemigroups. Moreover we show that, exactly as in semigroups, in the results of hypersemigroups based on right (left) ideals, quasi-ideals and bi-ideals, points do…