Centralizers and Central Idempotents of Semigroup Rings

. Let A be a nonempty subset of an associative ring R . Call the subring CR(A)={r] R\mid ra=ar \quadfor all\quad a] A} of R the centralizer of A in R . Let S be a semigroup. Then the subsemigroup S'= {s] S\mid sa=sb \quador\quad as=bs \quadimplies\quad a=b \quadfor all a,b] S} of S is called the C -subsemigroup. In this paper, the centralizer CR[S](R[M]) for the semigroup ring R[S] will be described, where M is any nonempty subset of S' . An non-zero idempotent e is called the central idempotent of R[S] if e lies in the center of R[S] . Assume that S\backslash S' is a commutative ideal of S and Annl(R)=0 . Then we show that the supporting subsemigroup of any central idempotent of R[S] must be finite.     

On a Class of Left Type-A Monoids

For a left type-A monoid S, let tau be the congruence on S generated by R*. There exists a congruence rho on S which induces the least right cancellative congruence on each of the tau-classes. In this paper we investigate the congruence rho and give a structure theorem for the class of all left-type-A monoids for which rho intersection R* is the identity relation.     

Minimal Presentations and Efficiency of Semigroups

A finite semigroup S is said to be efficient if it can be defined by a presentation (A | R) with |R| -|A|=rank(H2(S)). In this paper we demonstrate certain infinite classes of both efficient and inefficient semigroups. Thus, finite abelian groups, dihedral groups D2n with n even, and finite rectangular bands are efficient semigroups. By way of contrast we show that finite zero semigroups and free semilattices are never efficient. These results are compared with some well-known results on the efficiency of groups.     

On Embeddability of Idempotent Separating Extensions of Inverse Semigroups

Let S be an inverse semigroup and rho an idempotent separating congruence on S. It is proved that S can be embedded into a lambda-semidirect product of a group F by S/rho where F belongs to the variety generated by the idempotent classes of rho.     

The Representation Type of the Full Transforamtion Semigroup T 4

Let Tn be the semigroup of all transformations of a set of n elements and k a field of characteristic 0. According to Ponizovskii, the semigroup algebra kTn is of finite representation type if n h 3. According to Putcha, kTn is of infinite representation type if n S 5. Here, we deal with the remaining case n=4 and show that kT4 is also of finite representation type. Note that the quiver of kT4 already has been exhibited by Putcha, here we determine the relations. It turns out that kT4 is a string algebra and its global dimension is 3.     

An Edge-Isoperimetric Problem for Powers of the Petersen Graph

In this paper we introduce a new order on the set of n-dimensional tuples and prove that this order preserves nestedness in the edge isoperimetric problem for the graph Pⁿ, defined as the nth cartesian power of the well-known Petersen graph. The cutwidth and wirelength of Pⁿ are also derived. These results are then generalized for the cartesian product of Pⁿ and the m-dimensional binary hypercube.     

Topology of the Semigroup of Singular Endomorphisms

The topological interpretations of some of the algebraic properties of the semigroup Sn of singular endomorphisms of an n-dimensional vector space over K are discussed here. Since Sn is known to be an idempotent generated regular semigroup, we pay more attention to the topological properties of the set En of idempotents in Sn. The local structure of En is shown to be that of a C^infinity-manifold and of a finite-dimensional vector bundle over the Grassmann manifolds. The topology of the biorder relations and sandwich sets are also discussed.     

Minimal and Maximal Semigroups Related to Causal Symmetric Spaces

Let G/H be an irreducible globally hyperbolic semisimple symmetric space, and let S ³ G be a subsemigroup containing H not isolated in S. We show that if S^o p 0 then there are H-invariant minimal and maximal cones Cmin ³ Cmax in the tangent space at the origin such that H exp Cmin ³ S ³ HZK(a)expCmax. A double coset decomposition of the group G in terms of Cartan subspaces and the group H is proved. We also discuss the case where G/H is of Cayley type.     

Invariant characters and coprime actions on finite nilpotent groups

Abstract. Let S be a subgroup of SLn(R), where R is a commutative ring with identity and n \geqq 3n \geqq 3. The order of S, o(S), is the R-ideal generated by x_ij, x_ii - x_jj (i 1 j)x_{ij},\ x_{ii} - x_{jj}\ (i \neq j), where (x_ij) ? S(x_{ij}) \in S. Let En(R) be the subgroup of SLn(R) generated by the elementary matrices. The level of S, l(S), is the largest R-ideal \frak q\frak {q} with the property that S contains all the \frak q\frak {q}-elementary matrices and all conjugates of these by elements of En(R). It is clear that l(S) \leqq o(S)l(S) \leqq o(S). Vaserstein has proved that, for all R and for all n \geqq 3n \geqq 3, the subgroup S is normalized by En(R) if and only if l(S) = o(S)     

Multiplicity-Free Products of Schur Functions

. We classify all multiplicity-free products of Schur functions and all multiplicity-free products of characters of SL(n, C).     

A Cantor-Bernstein type theorem for effect algebras

We prove that if E¹ and E² are &sgr;-complete effect algebras such that E¹ is a factor of E² and E² is a factor of E¹, then E¹ and E² are isomorphic.     

The semigroup of singular endomorphisms

Let V be a vector space of dimension n over a field K. Here we denote by Sn the set of all singular endomorphisms of V. Erdos [5], Dawlings [4] and Thomas J. Laffey [6] have shown that Sn is an idempotent generated regular semigroup. In this paper we apply the theory of inductive groupoids, in particular the construction of the idempotent generated regular semigroup given in §6 of [8] to detemine some combinatorial properties of the semigroup Sn.     

The Monoid of the Random Graph

We investigate properties of the endomorphism monoid of the countable random graph R. We show that End(R) is not regular and is not generated by its idempotents. The Rees order on the idempotents of End(R) has 2^N0 many minimal elements. We also prove that the order type of Q is embeddable in the Rees order of End(R).     

The Semigroup of Hall Matrices over Distributive Lattices

In this paper, the semigroup Hn(L) of Hall matrices over a complete and completely distributive lattice L is studied. A Hall matrix is a matrix which is greater (for the order associated with the lattice structure) than an invertible matrix. Some necessary and sufficient conditions for a Hall matrix to be regular in the semigroup Hn(L) are given and Green's relations of the semigroup Hn(L) are described. Also, the sandwich semigroup of Hall matrices over the lattice L is studied.     

Monoids for Which Condition (P) Acts are Projective

A characterisation of monoids for which all right S-acts satisfying conditions (P) are projective is given. We also give a new characterisation of those monoids for which all cyclic right S-acts satisfying condition (P) are projective, similar in nature to recent work by Kilp [6]. In addition we give a sufficient condition for all right S-acts that satisfy condition (P) to be strongly flat and show that the indecomposable acts that satisfy condition (P) are the locally cyclic acts.     

Optimal estimates for lower and upper bounds of approximation errors in the p-version of the finite element method in two dimensions

Dedicated to Prof. O. Widlund on the occasion of his 60th birthday Correspondence to: B. Guo Summary. This paper will analyze the lower and upper error bounds of the finite element solution of the p-version for linear elliptic problems in polygonal domains. The optimal rate of convergence is rigorously proved based on the sharp estimates of lower and upper bounds of the approximation error.     

Finitely Presented, Coherent, and Ultrasimplicial Ordered Abelian Groups

We study notions such as finite presentability and coherence, for partially ordered abelian groups and vector spaces. Typical results are the following: (i) A partially ordered abelian group G is finitely presented if and only if G is finitely generated as a group, G⁺ is well-founded as a partially ordered set, and the set of minimal elements of G⁺\ {0} is finite. (ii) Torison-free, finitely presented partially ordered abelian groups can be represented as subgroups of some Zⁿ, with a finitely generated submonoid of (Z⁺)ⁿ as positive cone. (iii) Every unperforated, finitely presented partially ordered abelian group is Archimedean. Further, we establish connections with interpolation. In particular, we prove that a divisible dimension group G is a directed union of simplicial subgroups if and only if every finite subset of G is contained into a finitely presented ordered subgroup.     

Spectral Inclusions for Semigroups of Closed Operators

We show that several spectral inclusions known for C0-semigroups fail for semigroups of closed operators, even if they can be regularized. We introduce the notion of spectral completeness for the regularizing operator C which implies equality of the spectrum and the C-spectrum of the generator. We prove spectral inclusions under this additional assumption. We give a series of examples in which the regularizing operator is spectrally complete including generators of integrated semigroups, of distribution semigroups, and of some semigroups that are strongly continuous for t > 0.     

On the semigroup BetaS

Let S be an infinite, discrete, cancellative semigroup and let BetaS be the Stone-Cech compactification of S. Then BetaS is a semigroup with an operation which extends that of S and which is continous only in one variable. We generalize some algebraic properties known to hold for the additive semigroup of the integers.     

L p Norms of Eigenfunctions in the Completely Integrable Case

The eigenfunctions e^iál,x? e^{i\langle\lambda,x\rangle} of the Laplacian on a flat torus have uniformly bounded L^p norms. In this article, we prove that for every other quantum integrable Laplacian, the L^p norms of the joint eigenfunctions blow up at least at the rate || j_k || L^p 3 C(e)l_k^{[(p-2)/(4p)]-e} \| \varphi_k \| L^{p} \geq C(\epsilon)\lambda_{k}^{{p-2\over4p}-\epsilon} when p > 2. This gives a quantitative refinement of our recent result [TZ1] that some sequence of eigenfunctions must blow up in L^p unless (M,g) is flat. The better result in this paper is based on mass estimates of eigenfunctions near singular leaves of the Liouville foliation.