On the congruence extension property for compact semigroups

A topological semigroupS is said to have thecongruence extension property (CEP) provided that for each closed subsemigroupT ofS and each closed congruence σ onT, σ can be extended to a closed congruence onS. (That is, ∩(T xT=σ). The main result of this paper gives a characteriation of Γ-compact commutative archimedean semigroups with the congruence extension property (CEP). Consideration of this result was motivated by the problem of characterizing compact commutative semigroups with CEP as follows. It is well known that every commutative semigroup can be expressed as a semilattice of archimedean components each of which contains at most one idempotemt. The components of a compact commutative semigroup need not be compact (nor Γ-compact) as the congruence providing the decomposition is not necessarily closed. However, any component with CEP which is Γ-compact is characterized by the afore-mentioned result. Characterization of components of a compact commutative semigroup having CEP is a natural step towar characterization of the entire semigroup since CEP is a hereditary property. Other results prevented in this paper give a characterization of compact monothetic semigroups with CEP and show that Rees quotients of compact semigroups with CEP retain CEP.     

Structure of a finite commutative inverse semigroup and a finite bundle for which the inverse monoid of local automorphisms is permutable

For a semigroup S, the set of all isomorphisms between the subsemigroups of the semigroup S with respect to composition is an inverse monoid denoted by PA(S) and called the monoid of local automorphisms of the semigroup S. The semigroup S is called permutable if, for any couple of congruences ρ and σ on S, we have ρ ∘ σ = σ ∘ ρ. We describe the structures of a finite commutative inverse semigroup and a finite bundle whose monoids of local automorphisms are permutable.     

The K°-relation on the Congruence Lattice of a Regular Semigroup with an Inverse Transversal

Let S be a regular semigroup with an inverse transversal S° and C(S) the congruence lattice of S. A relation K° on C(S) is introduced as follows: if ρ, θ∈ C(S), then we say that ρ and θ are K°-related if Ker ρ° = Ker θ° , where ρ° = ρ|S°. Expressions for the least and the greatest congruences in the same K°-class as ρ are provided. A number of equivalent conditions for K° being a congruence are given.     

N(2,2,0)代数的E-反演半群

本文研究了N(2,2,0)代数(S,*,△,0)的E-反演半群.利用N(2,2,0)代数的幂等元,弱逆元,中间单位元的性质和同宇关系,得到了N(2,2,0)代数的半群(S,*)构成E-反演半群的条件及元素α的右伴随非零零因子唯一,且为α的弱逆元等结论,这些结果进一步刻画了N(2,2,0)代数的结构.     

Spectral theory of group representations and their nonstandard hull

We construct the nonstandard hull of a not necessarily bounded strongly continuous representationU of the locally compact semigroupS on a Banach spaceE. Then we apply our results to the theory of the spectrum σ (U) ofU, mainly in cases whereS is an abelian group, e.g.S=R. First of all we obtain generalizations to the unbounded case of results known for the bounded one. Secondly we introduce the notion of the Riesz part R σ(U) of σ(U) and characterize those representations satisfying σ(U)=R σ(U). We illustrate the theory developed so far by applications to representations on Banach lattices. Dedicated to Prof. Dr. H. H. Schaefer on the occasion of his 60th birthday     

Bands of invariantly extensible measures

Given two σ-algebrasU ⊂A, invariant under a fixed semigroupG of transformations, the following subsetC of the lattice coneM (U) _G ofG-invariant finite measures onU is shown to be (the positive part of) a band inM (U) _G : AG-invariant measure μ belongs toC iff the setexM Bμ) _G of extremalG-invariant extensions of μ toB is non-empty and eachG-invariant extensionv of μ admits a barycentric decompositionv=→v′ρ(dv′) with some representing probability ρ onexM U μ) _G .—Any band of extensible measures allows to study the corresponding extension problem locally.     

A characterization of the group congruences on a semigroup

In this paper we describe the group congruences on a semigroupS in terms of their kernels. In particular, we show that the least group congruence σ on a dense and uniteryE-semigroupS is defined by, for alla, b ∈ S, (a, b) ∈ σ iff (εe, f εE(S)) ea=bf Communicated by John M. Howie     

A problem on semigroups satisfying permutation identities

Let σ be a nontrivial permutation of ordern. A semigroupS is said to be σ-permutable ifx ₁ x ₂ ...x _n =x _σ(1) x _σ(2) ...x _σ(n) , for every (x ₁ ,x ₂,...,x _n )∈S ⁿ . A semigroupS is called(r,t)-commutative, wherer,t are in ℕ^*, ifx ₁ ...x _r x _r+1 ...x _r+t =x _r+1 ...x _r+t x ₁ ...x _r , for every (x ₁ ,x ₂,...,x _r+t ∈S ^r+t . According to a result of M. Putcha and A. Yaqub ([11]), if σ is a fixed-point-free permutation andS is a σ-permutable semigroup then there existsk ∈ ℕ^* such thatS is (1,k)-commutative. In [8], S. Lajos raises up the problem to determine the leastk=k(n) ∈ ℕ^* such that, for every fixed-point-free permutation σ of ordern, every σ-permutable semigroup is also (1,k)-commutative. In this paper this problem is solved for anyn less than or equal to eight and also whenn is any odd integer. For doing this we establish that if a semigroup satisfies a permutation identity of ordern then inevitably it also satisfies some permutation identities of ordern+1.     

Semigroups of transformations restricted by an equivalence

Suppose σ is an equivalence on a set X and let E(X, σ) denote the semigroup (under composition) of all α: X → X such that σ ⊆ α ∘ α ⁻¹. Here we characterise Green’s relations and ideals in E(X, σ). This is analogous to recent work by Sullivan on K(V, W), the semigroup (under composition) of all linear transformations β of a vector space V such that W ⊆ ker β, where W is a fixed subspace of V.     

On the separator of subsets of semigroups

By the separator \operatornameSepA\operatorname{\mathit{Sep}}A of a subset A of a semigroup S we mean the set of all elements x of S which satisfy conditions xA⊆A, Ax⊆A, x(S−A)⊆(S−A), (S−A)x⊆(S−A). In this paper we deal with the separator of subsets of semigroups.     

Factor-powers of finite symmetric groups

To a transformation semigroup (S, M) we assign a new semigroupFP(S) called the factor-power of the semigroup (S, M). Then we apply this construction to the symmetric groupS _n. Some combinatorial properties of the semigroupFP(S _n) are studied; in particular, we investigate its relationship with the semigroup of 2-stochastic matrices of ordern and the structure of its idempotents. The idempotents are used in characterizingFP(S _n) as an extremal subsemigroup of the semigroupB _n of all binary relations of ann-element set and also in the proof of the fact thatFP(S _n) contains almost all elements ofB _n.Translated fromMatematicheskie Zametki, Vol. 58, No. 2, pp. 176–188, August, 1995.This work was partially supported by the Foundation for Basic Research of the Ukrainian State Committee on Science and Technology.     

Certain congruences on E-inversive E-semigroups

A semigroup S is called E-inversive if for every a ∈ S there exists x ∈ S such that ax is idempotent. S is called E-semigroup if the set of idempotents of S forms a subsemigroup. In this paper some special congruences on E-inversive E-semigroups are investigated, such as the least group congruence, a certain semilattice congruence, some regular congruences and a certain idempotent-separating congruence.     

On the construction of the conjugate hull of Brandt semigroups

In this paper the characterizations of conjugate hulls ψ (S). ϕ(S),T(S) and θ(S) on a Brandt semigroupS are given. By using these results we can pro thatT(S) is self-conjugate in ψ(S) for a Brandt semigroupS. This work is supported by National Natural Science Foundation of China     

Idempotent semirings with a commutative additive reduct

For every semigroup S , we define a congruence relation ρ on the power semiring (P(S),\cup,\circ) of S . If S is a band, then P(S)/ρ is an idempotent semiring . This enables us to find models for the free objects in the variety of idempotent semiring s whose additive reduct is a semilattice. December 28, 1999     

Generalizations of spectrally multiplicative surjections between uniform algebras

Let $ A $ A and ℬ be unital semisimple commutative Banach algebras. It is shown that if surjections S,T: $ A $ A → ℬ with S(1)=T(1)= 1 and α ∈ ℂ \ {0} satisfy r(S(a)T(b) − α)= r(ab− α) for all a,b ∈ $ A $ A , then S=T and S is a real algebra isomorphism, where r(a) is the spectral radius of a. Let I be a nonempty set, A and B be uniform algebras. Let ρ, τ: I → A and S,T: I → B be maps satisfying σ _π (S(p)T(q)) ⊂ σ _π (ρ(p) τ(q)) for all p,q ∈ I, where σ _π (f) is the peripheral spectrum of f. Suppose that the ranges ρ(I), τ(I) ⊂ A and S(I),T(I) ⊂ B are closed under multiplication in a sense, and contain peaking functions “enough”. There exists a homeomorphism ϕ: Ch(B)→Ch(A) such that S(p)(y)= ρ(p)(ϕ(y)) and T(p)(y)= τ(p)(ϕ(y)) for every p ∈ I and y ∈ Ch(B), where Ch(A) is the Choquet boundary of A.     

Biflatness of semigroup algebras

We shall study the biflatness of the convolution algebra ℓ ¹(S) for a semigroup S. We show that for any semigroup S such that ℓ ¹(S) is biflat the canonical partial ordering on the idempotents must be uniformly locally finite. We use this to characterize the biflatness of ℓ ¹(S) for an inverse semigroup S.     

The continuity of the inversion and the structure of maximal subgroups in countably compact topological semigroups

We search for conditions on a countably compact (pseudocompact) topological semigroup under which: (i) each maximal subgroup H(e) in S is a (closed) topological subgroup in S; (ii) the Clifford part H(S) (i.e. the union of all maximal subgroups) of the semigroup S is a closed subset in S; (iii) the inversion inv: H(S) → H(S) is continuous; and (iv) the projection π: H(S) → E(S), π: x ↦ xx ⁻¹, onto the subset of idempotents E(S) of S, is continuous.