A complete rewrite system and normal forms for (S) reg

The (·)_reg construction was introduced in order to make an arbitrary semigroup S divide a regular semigroup (S) _reg which shares some important properties with S (e.g., finiteness, subgroups, torsion bounds, J-order structure). We show that (S) _reg can be described by a rather simple complete string rewrite system, as a consequence of which we obtain a new proof of the normal form theorem for (S) _reg. The new proof of the normal form theorem is conceptually simpler than the previous proofs.     

The Structure of 0 -Bisimple Strongly E * -unitary Inverse Monoids

Abstract. We introduce a class of strongly E ^* -unitary inverse semigroups S _i (G,P) (i=1,2) determined by a group G and a submonoid P of G and give an embedding theorem for S _i (G,P) . Moreover we characterize 0 -bisimple strongly E ^* -unitary inverse monoids and 0 -bisimple strongly F ^* -inverse monoids by using S _i (G,P) .     

The isometric extension of the into mapping from the unit sphere S 1( E ) to S 1( l ∞(Γ))

This paper considers the isometric extension problem concerning the mapping from the unit sphere S ₁(E) of the normed space E into the unit sphere S ₁(l ^∞(Γ)). We find a condition under which an isometry from S ₁(E) into S ₁(l ^∞(Γ)) can be linearly and isometrically extended to the whole space. Since l ^∞(Γ) is universal with respect to isometry for normed spaces, isometric extension problems on a class of normed spaces are solved. More precisely, if E and F are two normed spaces, and if V ₀: S ₁(E) → S ₁(F) is a surjective isometry, where c ₀₀(Γ) ⊆ F ⊆ l ^∞(Γ), then V ₀ can be extended to be an isometric operator defined on the whole space. This work is supported by Natural Science Foundation of Guangdong Province, China (Grant No. 7300614)     

Semiprimitivity of Orthodox Semigroup Algebras

Let S be a finite orthodox semigroup or an orthodox semigroup where the idempotent band E(S) is locally pseudofinite. In this paper, by using principal factors and Rukolaǐne idempotents, we show that the contracted semigroup algebra R₀[S] is semiprimitive if and only if S is an inverse semigroup and R[G] is semiprimitive for each maximal subgroup G of S. This theorem strengthens previous results about the semiprimitivity of inverse semigroup algebras.     

Regular elements of semigroups B X ( D ) defined by generalized elementary B X ( D )-semilattices of unions

In the paper, the class of complete semigroups of binary relations is considered, each of whose elements is defined by a complete B _X (D)-semilattice of unions which belongs to the class of generalized elementary X-semilattices. Regular elements are described for each semigroup of this class. __________ Translated from Sovremennaya Matematika i Ee Prilozheniya (Contemporary Mathematics and Its Applications), Vol. 49, Algebra and Geometry, 2007.     

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.     

Operator and matrix representation for the generalized inverse AT,S(2)A_{T,S}^{(2)}

This paper presents the matrix representation for extension of inverse of restriction of a linear operator to a subspace, on the basis of which we establish useful representations in operator and matrix form for the generalized inverse A_T,S⁽²⁾A_{T,S}^{(2)} and give some of their applications.     

Two-sided networks for completely simple semigroups

Let S be a completely simple semigroup represented as a Rees matrix semigroup M(I,G,P) with normalized sandwich matrix P. On the congruence lattice C(S) of S we consider the relations T _i, K and T _r which identify congruences with the same left trace, kernel and right trace, respectively. These are equivalences whose classes are intervals. The upper and lower ends of these intervals induce the following operators on C(S) T_l, K, T_r, t_l, k and t_r .We construct here the semigroup generated by these operators as a homomorphic image of a semigroup given by generators and relations and demonstrate the minimality of the latter.     

On A(X) → TC(X) for some X

Let X be a connected based space and p be a two-regular prime number. If the fundamental group of X has order p, we compute the two-primary homotopy groups of the homotopy fiber of the trace map A(X) → TC(X) relating algebraic K-theory of spaces to topological cyclic homology. The proof uses a theorem of Dundas and an explicit calculation of the cyclotomic trace map K(ℤ[C_p])→ TC(ℤ[C_p]).     

On the spectral mapping theorem for perturbed strongly continuous semigroups

We consider a strongly continuous semigroup (T(t))_{t \geqq 0}(T(t))_{t \geqq 0} with generator A on a Banach space X, an A-bounded perturbation B, and the semigroup (S(t))_{t \geqq 0}(S(t))_{t \geqq 0} generated by A + B. Using the critical spectrum introduced recently, we improve existing spectral mapping theorems for the perturbed semigroup (S(t))_{t \geqq 0}(S(t))_{t \geqq 0} .     

The Validity Range of Two Complex Analysis Theorems

In this article we give complete characterizations of shift-invariant uniform algebras A_S on compact abelian groups, in which two of the classical theorems for analytic functions hold, namely, Radó's theorem for analytic extension and Riemann's theorem for removable singularities. Our characterization is in terms of algebraical properties of the semigroup S of non-zero Fourier coefficients of the functions in A_S .     

Kakutani-type fixed point theorems: A survey

A Kakutani-type fixed point theorem refers to a theorem of the following kind: Given a group or semigroup S of continuous affine transformations s : Q → Q, where Q is a nonempty compact convex subset of a Hausdorff locally convex linear topological space, then under suitable conditions S has a common fixed point in Q, i.e., a point a ? Q{a \in Q} such that s(a) = a for each s ? S{s \in S}. In 1938, Kakutani gave two conditions under each of which a common fixed point of S in Q exists. They are (1) the condition that S be a commutative semigroup, and (2) the condition that S be an equicontinuous group. The present survey discusses subsequent generalizations of Kakutani’s two theorems above.     

Numerical semigroups with many gaps of the same parity

Let g _e (S) (respectively, g _o (S)) be the number of even (respectively, odd) gaps of a numerical semigroup S. In this work we study and characterize the numerical semigroups S that verify 2|g _e (S)−g _o (S)|+1∈S. As a consequence we will see that every numerical semigroup can be represented by means of a numerical semigroup with maximal embedding dimension with all its minimal generators odd. The first author is supported by the project MTM2007-62346 and FEDER funds. The authors want to thank P.A. García-Sánchez and the referee for their comments and suggestions.     

Multipliers of weighted semigroups and associated Beurling Banach algebras

Given a weighted discrete abelian semigroup (S, ω), the semigroup M _ω (S) of ω-bounded multipliers as well as the Rees quotient M _ω (S)/S together with their respective weights [(w)\tilde]\tilde{\omega} and [(w)\tilde]_q\tilde{\omega}_q induced by ω are studied; for a large class of weights ω, the quotient l¹(M_w(S),[(w)\tilde])/l¹(S,w)\ell^1(M_{\omega}(S),\tilde{\omega})/\ell^1(S,{\omega}) is realized as a Beurling algebra on the quotient semigroup M _ω (S)/S; the Gel’fand spaces of these algebras are determined; and Banach algebra properties like semisimplicity, uniqueness of uniform norm and regularity of associated Beurling algebras on these semigroups are investigated. The involutive analogues of these are also considered. The results are exhibited in the context of several examples.     

The young diagrams of a pair of irreducible characters of S n with the same zero set on S n ?

In studying the pairs of irreducible characters of the symmetric group S _n with the same zero set on A _n or S _n ∖ A _n (as well as the pairs of irreducible characters with the same zero set on the alternating group A _n ), the results are important on the connection between the Young diagrams of the characters of these pairs. We prove a theorem that considerably generalizes two previous results of frequent use in this direction. Original Russian Text Copyright ? 2008 Belonogov V. A. The author was supported by the Russian Foundation for Basic Research (Grant 07-01-00148) and the RFBR-NSFC (Grant 05-01-39000). __________ Ekaterinburg. Translated from Sibirskiĭ Matematicheskiĭ Zhurnal, Vol. 49, No. 5, pp. 992–1006, September–October, 2008.     

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)代数的结构.     

关于square-full数上的函数q_k~((e))(n)的均值估计

本文研究了指数k-free数的特征函数q_k~((e))(n)(k≥3)在square-full数集中的均值估计问题.利用黎曼Zeta函数的性质以及留数定理,获得了该均值的渐近公式,推广了q_k~((e))(n)在整数集中的均值估计相关结果.     

On character amenability of semigroup algebras

We study the character amenability of semigroup algebras. We work on general semigroups and certain semigroups such as inverse semigroups with a finite number of idempotents, inverse semigroups with uniformly locally finite idempotent set, Brandt and Rees semigroup and study the character amenability of the semigroup algebra l¹(S) in relation to the structures of the semigroup S. In particular, we show that for any semigroup S, if ?¹(S) is character amenable, then S is amenable and regular. We also show that the left character amenability of the semigroup algebra ?¹(S) on a Brandt semigroup S over a group G with index set J is equivalent to the amenability of G and J being finite. Finally, we show that for a Rees semigroup S with a zero over the group G, the left character amenability of ?¹(S) is equivalent to its amenability, this is in turn equivalent to G being amenable.     

ComplexK-theory ofBSL3(Z)

ComplexK-theory ofBSL₃(Z) andBSt₃(Z) are computed. We first study a Brown-Peterson (BP) version of Soulé's arguments. Then we consider complexK-theory by using a Conner-Floyd type theorem.