Infinite compact sets of idempotents in $$\beta S$$

We show that if S is a countably infinite right cancellative semigroup and T is an infinite compact set of idempotents in the Stone–?ech compactification \(\beta S\) of S, then T contains an infinite compact left zero semigroup.     

The principal bundles over an inverse semigroup

This paper is a contribution to the development of the theory of representations of inverse semigroups in toposes. It continues the work initiated by Funk and Hofstra (Theory Appl Categ 24(7):117–147, 2010). For the topos of sets, we show that torsion-free functors on Loganathan’s category L(S) of an inverse semigroup S are equivalent to a special class of non-strict representations of S, which we call connected. We show that the latter representations form a proper coreflective subcategory of the category of all non-strict representations of S. We describe the correspondence between directed and pullback preserving functors on L(S) and transitive and effective representations of S, as well as between filtered such functors and universal representations introduced by Lawson, Margolis and Steinberg. We propose a definition of a universal representation, or, equivalently, an S-torsor, of an inverse semigroup S in the topos of sheaves \({\mathsf {Sh}}(X)\) on a topological space X. We prove that the category of filtered functors from L(S) to the topos \({\mathsf {Sh}}(X)\) is equivalent to the category of universal representations of S in \({\mathsf {Sh}}(X)\). We finally propose a definition of an inverse semigroup action in an arbitrary Grothendieck topos, which arises from a functor on L(S).     

Finite derivation type for large ideals

In this paper we give a partial answer to the following question: does a large subsemigroup of a semigroup S with the finite combinatorial property finite derivation type (FDT) also have the same property? A positive answer is given for large ideals. As a consequence of this statement we prove that, given a finitely presented Rees matrix semigroup M[S;I,J;P], the semigroup S has FDT if and only if so does M[S;I,J;P].     

Calculating the Number of Functions with a Given Endomorphism

An iterative procedure is proposed for calculating the number of k-valued functions of n variables such that each one has an endomorphism different from any constant and permutation. Based on this procedure, formulas are found for the number of three-valued functions of n variables such that each one has nontrivial endomorphisms. For any arbitrary semigroup of endomorphisms, the power is found of the set of all three-valued functions of n variables such that each one has endomorphisms from a specified semigroup.     

Pseudo-amenability of certain semigroup algebras

In this paper, we investigate the pseudo-amenability of semigroup algebra ? ¹(S), where S is an inverse semigroup with uniformly locally finite idempotent set. In particular, we show that for a Brandt semigroup \(S={\mathcal{M}}^{0}(G,I)\), the pseudo-amenability of ? ¹(S) is equivalent to the amenability of G.     

A unifying approach to the Margolis–Meakin and Birget–Rhodes group expansion

Let G be a group. We show that the Birget–Rhodes prefix expansion \(G^{Pr}\) and the Margolis–Meakin expansion M(X; f) of G with respect to \(f:X\rightarrow G\) can be regarded as inverse subsemigroups of a common E-unitary inverse semigroup P. We construct P as an inverse subsemigroup of an E-unitary inverse monoid \(U/\zeta \) which is a homomorphic image of the free product U of the free semigroup \(X^+\) on X and G. The semigroup P satisfies a universal property with respect to homomorphisms into the permissible hull C(S) of a suitable E-unitary inverse semigroup S, with \(S/\sigma _S=G\), from which the characterizing universal properties of \(G^{Pr}\) and M(X; f) can be recaptured easily.     

On pseudo-amenability of commutative semigroup algebras and their second duals

In this paper, we first characterize pseudo-amenability of semigroup algebras \(\ell ^1(S),\) for a certain class of commutative semigroups S,  the so-called archimedean semigroups. We show that for an archimedean semigroup S,  pseudo-amenability, amenability and approximate amenability of \(\ell ^1(S)\) are equivalent. Then for a commutative semigroup S,  we show that pseudo-amenability of \(\ell ^{1}(S)\) implies that S is a Clifford semigroup. Finally, we give some results on pseudo-amenability and approximate amenability of the second dual of a certain class of commutative semigroup algebras \(\ell ^1(S)\).     

Sets satisfying the Central Sets Theorem

Central subsets of a discrete semigroup S have very strong combinatorial properties which are a consequence of the Central Sets Theorem . We investigate here the class of semigroups that have a subset with zero Følner density which satisfies the conclusion of the Central Sets Theorem. We show that this class includes any direct sum of countably many finite abelian groups as well as any subsemigroup of (?,+) which contains ?. We also show that if S and T are in this class and either both are left cancellative or T has a left identity, then S×T is in this class. We also extend a theorem proved in (Beiglböck et al. in Topology Appl., to appear), which states that, if p is an idempotent in β? whose members have positive density, then every member of p satisfies the Central Sets Theorem. We show that this holds for all commutative semigroups. Finally, we provide a simple elementary proof of the fact that any commutative semigroup satisfies the Strong Følner Condition.     

Ordered groupoid quotients and congruences on inverse semigroups

We introduce a preorder on an inverse semigroup S associated to any normal inverse subsemigroup N, that lies between the natural partial order and Green’s \({\mathcal {J}}\)–relation. The corresponding equivalence relation \(\simeq _N\) is not necessarily a congruence on S, but the quotient set does inherit a natural ordered groupoid structure. We show that this construction permits the factorisation of any inverse semigroup homomorphism into a composition of a quotient map and a star-injective functor, and that this decomposition implies a classification of congruences on S. We give an application to the congruence and certain normal inverse subsemigroups associate to an inverse monoid presentation.     

The identities of the free product of two trivial semigroups

We exhibit an example of a finitely presented semigroup S with a minimum number of relations such that the identities of S have a finite basis while the monoid obtained by adjoining 1 to S admits no finite basis for its identities. Our example is the free product of two trivial semigroups.     

On generalized inverse transversals

Let S be a regular semigroup, S° an inverse subsemigroup of S.S° is called a generalized inverse transversal of S, if V（x）∩S°≠Ф. In this paper, some properties of this kind of semigroups are discussed. In particular, a construction theorem is obtained which contains some recent results in the literature as its special cases.     

Global determinism of normal orthogroups

If S is a semigroup, the global (or the power semigroup) of S is the set \(\mathcal {P}(S)\) of all nonempty subsets of S equipped with the naturally defined multiplication. A class \(\mathcal {K}\) of semigroups is globally determined if any two semigroups of \({\mathcal {K}}\) with isomorphic globals are themselves isomorphic. We study properties of globals of normal orthogroups and show, in particular, that the class of normal orthogroups is globally determined.     

Distances on the Commuting Graph of the Ring of Real Martices

The vertices of the commuting graph of a semigroup S are the noncentral elements of this semigroup, and its edges join all pairs of elements g, h that satisfy the relation gh = hg. The paper presents a proof of the fact that the diameter of the commuting graph of the semigroup of real matrices of order n ≥ 3 is equal to 4. A survey of results in that subject matter is presented, and several open problems are formulated.     

Extremely primitive groups and linear spaces

A non-regular primitive permutation group is called extremely primitive if a point stabilizer acts primitively on each of its nontrivial orbits. Let S be a nontrivial finite regular linear space and G ≤ Aut(S). Suppose that G is extremely primitive on points and let rank(G) be the rank of G on points. We prove that rank(G) ≥ 4 with few exceptions. Moreover, we show that Soc(G) is neither a sporadic group nor an alternating group, and G = PSL(2, q) with q + 1 a Fermat prime if Soc(G) is a finite classical simple group.     

Semigroup graded algebras and graded PI-exponent

Let S be a semigroup. We study the structure of graded-simple S-graded algebras A and the exponential rate PIexp ^S-gr(A):= lim_n→∞ \(\sqrt[n]{{c_n^{S - gr}\left( A \right)}}\) of growth of codimensions c _n ^S-gr (A) of their graded polynomial identities. This is of great interest since such algebras can have non-integer PIexp ^S-gr(A) despite being finite dimensional and associative. In addition, such algebras can have a non-trivial Jacobson radical J(A). All this is in strong contrast with the case when S is a group since in the group case J(A) is trivial, PIexp ^S-gr(A) is always integer and, if the base field is algebraically closed, then PIexp ^S-gr(A) equals dimA. Without any restrictions on the base field F, we classify graded-simple S-graded algebras A for a class of semigroups S which is complementary to the class of groups. We explicitly describe the structure of J(A) showing that J(A) is built up of pieces of a maximal S-graded semisimple subalgebra of A which turns out to be simple. When F is algebraically closed, we get an upper bound for \({\overline {\lim } _{n \to \infty }}\sqrt[n]{{c_n^{S - gr}\left( A \right)}}\). If A/J(A) ≈ M ₂(F) and S is a right zero band, we show that this upper bound is sharp and PIexp ^S-gr(A) indeed exists. In particular, we present an infinite family of graded-simple algebras A with arbitrarily large non-integer PIexp ^S-gr(A).     

Involutions and trivolutions on second dual of algebras related to locally compact groups and topological semigroups

We investigate involutions and trivolutions in the second dual of algebras related to a locally compact topological semigroup and the Fourier algebra of a locally compact group. We prove, among the other things, that for a large class of topological semigroups namely, compactly cancellative foundation \(*\)-semigroup S when it is infinite non-discrete cancellative, \(M_a(S)^{**}\) does not admit an involution, and \(M_a(S)^{**}\) has a trivolution with range \(M_a(S)\) if and only if S is discrete. We also show that when G is an amenable group, the second dual of the Fourier algebra of G admits an involution extending one of the natural involutions of A(G) if and only if G is finite. However, \(A(G)^{**}\) always admits trivolution.     

Prime Ideals in Algebras Determined by Submonoids of Nilpotent Groups

The prime spectrum of the semigroup algebra K[S] of a submonoid S of a finitely generated nilpotent group is studied via the spectra of the monoid S and of the group algebra K[G] of the group G of fractions of S. It is shown that the classical Krull dimension of K[S] is equal to the Hirsch length of the group G provided that G is nilpotent of class two. This uses the fact that prime ideals of S are completely prime. An infinite family of prime ideals of a submonoid of a free nilpotent group of class three with two generators which are not completely prime is constructed. They lead to prime ideals of the corresponding algebra. Prime ideals of the monoid of all upper triangular n × n matrices with non-negative integer entries are described and it follows that they are completely prime and finite in number.     

Semilattice indecomposable finite semigroups with large subsemilattices

We show that if Y is a subsemilattice of a finite semilattice indecomposable semigroup S then \({|Y|\leq 2\left\lfloor \frac{|S|-1}{4}\right\rfloor+1}\). We also characterize finite semilattice indecomposable semigroups S which contain a subsemilattice Y with \({|S|=4k+1}\) and \({|Y|=2\left\lfloor \frac{|S|-1}{4} \right\rfloor+1=2k+1}\). They are special inverse semigroups. Our investigation is based on our new result proved in this paper which characterizes finite semilattice indecomposable semigroups with a zero by using only the properties of its semigroup algebra.     

Permutation resolutions for Specht modules

For every composition λ of a positive integer r, we construct a finite chain complex whose terms are direct sums of permutation modules M ^μ for the symmetric group \(\mathfrak{S}_{r}\) with Young subgroup stabilizers \(\mathfrak{S}_{\mu}\). The construction is combinatorial and can be carried out over every commutative base ring k. We conjecture that for every partition λ the chain complex has homology concentrated in one degree (at the end of the complex) and that it is isomorphic to the dual of the Specht module S ^λ . We prove the exactness in special cases.