several tables have been given due to a − minimal sets. our main aim in this paper is tocomplete these tables by employing several examples.

Starting from the symmetric group Sn , we construct two fiat 2-categories. One of them can be viewed as the fiat “extension” of the natural 2-category associated with the symmetric inverse semigroup (considered as an ordered semigroup with respect to the natural order). This 2-category provides a fiat categorification for the integral semigroup algebra of the symmetric inverse semigroup. The ot...

in this paper, a commutative semigroup will be written as a disjoint :union: of its cancellative subsemigroups. based on this fact we will define the left regular representation of a commutative separative semigroup and show that this representation is faithful. finally concrete examples of commutative separative semigroups, their decompositions and their left regular representations are given.

One way to view Theorem 1.1 is as a statement that the algebraic structure of a finitely generated profinite group somehow also encodes the topological structure. That is, if one wishes to know the open subgroups of a profinite group G, a topological property, one must only consider the subgroups of G of finite index, an algebraic property. As profinite groups are compact topological spaces, an...

We establish some sufficient conditions for the profinite and prop completions of an abstract group G of type FPm (resp of finite cohomological dimension, of finite Euler characteristics) to be of type FPm over the field Fp for a fixed natural prime p (resp. of finite cohomological p-dimension, of finite Euler p-characteristics). We apply our methods for orientable Poincaré duality groups G of ...

Canonical extensions of (bounded) lattices have been extensively studied, and the basic existence and uniqueness theorems for these have been extended to general posets. This paper focuses on the intermediate class S∧ of (unital) meet semilattices. Any S ∈ S∧ embeds into the algebraic closure system Filt(Filt(S)). This iterated filter completion, denoted Filt(S), is a compact and ∨∧ -dense exte...

This paper applies the concept of FA-presentable structures to semigroups. We give a complete classification of the finitely generated FA-presentable cancellative semigroups: namely, a finitely generated cancellative semigroup is FA-presentable if and only if it is a subsemigroup of a virtually abelian group. We prove that all finitely generated commutative semigroups are FA-presentable. We giv...

For discrete Hecke pairs (G,H), we introduce a notion of covariant representation which reduces in the case where H is normal to the usual definition of covariance for the action of G/H on c0(G/H) by right translation; in many cases where G is a semidirect product, it can also be expressed in terms of covariance for a semigroup action. We use this covariance to characterise the representations ...

A hierarchy of segmentations(partitions) is a multiscale set representation of the image. This paper introduces a new set of scale space operators or transformations on the space of hierarchies of partitions. An ordering of hierarchies is proposed which is endowed by an ω-ordering based on a global energy over the classes of the hierarchy. A class of Matheron semigroups are shown to exists in t...

let s be a locally compact foundation semigroup with identity and                          be its semigroup algebra. let x be a weak*-closed left translation invariant subspace of    in this paper, we prove that  x  is invariantly  complemented in   if and  only if  the left ideal  of    has a bounded approximate identity. we also prove that a foundation semigroup with identity s is left amenab...