scispace - formally typeset
Search or ask a question

Showing papers on "Cancellative semigroup published in 1988"




Book ChapterDOI
01 Jan 1988
TL;DR: In this article, an overview of local cohomology groups of an affine semigroup ring is provided. And the dualizing complex and local cohology groups are also described in the chapter.
Abstract: Publisher Summary This chapter provides an overview of the local cohomology groups of an affine semigroup ring. A commutative semigroup ring k [ S ] over a field k is said to be an affine semigroup ring if k [ S ] is an integral domain of finite type over k . This is equivalent to the condition that S is finitely generated and is contained in a free Z-module M of finite rank. An affine semigroup ring k [ S ] has a natural structure of an M-graded ring with respect to the free Z-module M. The dualizing complex and the local cohomology groups are also described in the chapter.

29 citations



Journal ArticleDOI
Karl Byleen1
TL;DR: The class of regular simple semigroups without idempotents is at opposite ends of the spectrum of simple semiglobal groups as mentioned in this paper, and their theories involve some interesting connections.
Abstract: Although the classes of regular simple semigroups and simple semigroups without idempotents are evidently at opposite ends of the spectrum of simple semigroups, their theories involve some interesting connections. Jones [5] has obtained analogues of the bicyclic semigroup for simple semigroups without idempotents. Megyesi and Pollak [7] have classified all combinatorial simple principal ideal semigroups on two generators, showing that all are homomorphic images of one such semigroup Po which has no idempotents.

12 citations


Journal ArticleDOI
TL;DR: In this paper, it was shown that the subsemigroup Q m of balanced elements of a set with infinite regular cardinality m is a semigroup of all self-maps of X if and only if m is regular cardinal.
Abstract: Let X be a set with infinite regular cardinality m and let ℱ( X ) be the semigroup of all self-maps of X . The semigroup Q m of ‘balanced’ elements of ℱ( X ) plays an important role in the study by Howie [ 3,5,6 ] of idempotent-generated subsemigroups of ℱ( X ), as does the subset S m of ‘stable’ elements, which is a subsemigroup of Q m if and only if m is a regular cardinal. The principal factor P m of Q m , corresponding to the maximum ℱ-class J m , contains S m and has been shown in [ 7 ] to have a number of interesting properties. Let N 2 be the set of all nilpotent elements of index 2 in P m . Then the subsemigroup ( N 2 ) of P m generated by N 2 consists exactly of the elements in P m /S m . Moreover P m /S m has 2-nilpotent-depth 3, in the sense that

9 citations




Journal ArticleDOI
01 Oct 1988
TL;DR: In this article, Nambooripad's generalization of Munn's results to regular semigroups has been studied, and it has been shown that any regular semigroup is a coextension of a fundamental inverse semigroup which possesses the same set of idempotents.
Abstract: In any extension theory for semigroups one must determine the basic building blocksand then discover how they fit together to create more complicated semigroups. Forexample, in group theory the basic building blocks are simple groups. In semigrouptheory however there are several natural choices. One that has received considerableattention, particularly since the seminal work on inverse semigroups by Munn ([14,15]), is the notion of a fundamental semigroup. A semigrou fundamentalp i isf calle it dcannot be "shrunk" homomorphically without collapsing some of its idempotents (seebelow for a precise definition).For example, Munn showed how all fundamental inverse semigroups can beconstructed from semilattices, and proved that any inverse semigroup is a coextension ofa fundamental inverse semigroup which possesses the same semilattice of idempotents.(A semigroup S is called a coextension of a semigroup T if T is a homomorphic imageof S.) This work has been generalized by several authors to wider classes of semigroups([12, 1, 11, 16, 4]).The idempotents of an arbitrary semigroup form a biordered set. (Regular biorderedsets form the basis for Nambooripad's generalization of Munn's results to regularsemigroups). One might ask whether an arbitrary semigroup is a coextension of afundamental semigroup possessing the same biordered set of idempotents. The followingexample shows the answer is negative.Let S = (e,f\e

7 citations


Book ChapterDOI
01 Jan 1988

5 citations


Journal ArticleDOI
TL;DR: In this article, the authors studied the problem of when a semigroup ring left Noetherian, re-spectively semiprime left Goldie, and proved necessary sufficient conditions for cancellativesemigroup-graded subrings of rings weakly or strongly graded by a polycyclic-by-finite (uniqueproduct) group.
Abstract: The following questions are studied: When is a semigroup graded ring left Noetherian, re-spectively semiprime left Goldie? Necessary sufficient conditions are proved for cancellativesemigroup-graded subrings of rings weakly or strongly graded by a polycyclic-by-finite (uniqueproduct) group. For semigroup rings R[S] we also give a solution to the problem in case S isan inverse semigroup.1980 Mathematics subject classification (Amer. Math. Soc.) (1985 Revision): 16 A 34, 16 A 03,20 M 25. 0. IntroductionWe are interested in the following questions: When is a semigroup gradedring (for example a semigroup ring) left Noetherian, respectively semiprime leftGoldie? These turn out to be very difiBcult questions as they are even unsolvedfor group rings. However some results on Noetherianess are known if the ring isgraded by a (polycyclic-by-) finite group (see [4], [16]). Therefore we are able tosolve both questions (Section 1) for rings weakly or strongly graded by a can-cellative monoid which is contained in a polycyclic-by-finite (unique product)group.For non-cancellative semigroups the problems seem even more complicated.In Section 2 we give a solution for semigroup rings R[S], where S is an inversesemigroup.


01 Jan 1988
TL;DR: In this article, the authors discuss the property of the population semigroup in terms of properties of its infinitesimal generator and prove that there exists a t √ 0 such that the populationsemigroup {T(t)|0} is differentiable for tt_0.
Abstract: In this paper we discuss the property of the population semigroup in terms of properties of its infinitesimal generator.we prove that there exists a t_00 such that the populationsemigroup {T(t)|0} is differentiable for tt_0.

Book ChapterDOI
01 Jan 1988
TL;DR: In this paper, it was shown that a semigroup has the permutational property P n, n ≥ 2 if for any a 1, a 2, a n Є S there exist σ ≠ 1 in the symmetric group S n such that a 1 a 2, a n = a σ(1) a ε(2) a ϵ(3), a π(n).
Abstract: Let S be a semigroup. We say that S has the property P n, n ≥ 2, if for any a 1,…, a n Є S there exist σ ≠ 1 in the symmetric group S n such that a 1 a 2… a n = a σ(1) a σ(2)…a σ(n). Further S is said to have the permutational property P if S has P n for some n ≥ 2. Semigroups of this type were first studied in [10], (S-periodic), [2], (groups), implicitly in [4] (S − O-simple) and recently in [5].

Journal Article
TL;DR: G-regular semigroups as mentioned in this paper are a generalization of regular semigroup, and they can be seen as a special case of the regular semigroup with the principal left ideal generated by an element.
Abstract: In this paper, we define a g-regular semigroup which is a generalization of a regular semigroup. And we want to find some properties of g-regular semigroup. G-regular semigroups contains the variety of all regular semigroup and the variety of all periodic semigroup. If a is an element of a semigroup S, the smallest left ideal containing a is Sa.cup.{a}, which we may conveniently write as a, and which we shall call the principal left ideal generated by a. An equivalence relation l on S is then defined by the rule alb if and only if a and b generate the same principal left ideal, i.e. if and only if a= b. Similarly, we can define the relation R. The equivalence relation D is R.L and the principal two sided ideal generated by an element a of S is a . We write aqb if a = b , i.e. if there exist x,y,u,v in for which xay=b, ubv=a. It is immediate that D.contnd.q. A semigroup S is called periodic if all its elements are of finite order. A finite semigroup is necessarily periodic semigroup. It is well known that in a periodic semigroup, D=q. An element a of a semigroup S is called regular if there exists x in S such that axa=a. The semigroup S is called regular if all its elements are regular. The following is the property of D-classes of regular semigroup.group.

Journal ArticleDOI
TL;DR: In this article, a regular inbreeding system of quadruple half-second cousins mating is considered, where random walks Xn and Yn are introduced on the nodes of the graph; the event {Xn=Yn} is a renewal event by the homogeneity properties.
Abstract: A specific regular inbreeding system of quadruple half-second cousin mating is considered. A regular inbreeding system can be thought of as a graph which satisfies certain natural homogeneity properties. Random walks Xn and Yn are introduced on the nodes of the graph; the event {Xn=Yn} is a renewal event by the homogeneity properties. In Arzberger (1985) it is shown that 1) graphs associated with left cancellative semigroups are regular, and 2) for regular systems, the population becomes genetically uniform if and only if the event {Xn=Yn} is recurrent. In Arzberger (1986) the system of quadruple half-second cousin mating is associated with a cancellative semigroup, thus the system is regular. In this paper we show that 1) An is asymptotically of the form cn3, where An is the number of ancestors n generations into the past, 2) {Xn=Yn} is not recurrent (this is shown by associating (Xn, Yn) with a random walk in Z3, 3) P[X3n=Y3n] is asymptotically of the form cn−3/2. Thus, in this example, genetic heterogeneity is maintained, with a cubic rate of growth for An, not by an exponential growth rate, as in all previous examples of regular inbreeding systems in which genetic heterogeneity is maintained.