ON THE STRUCTURE OF THE JACOBSON RADICAL OF GRADED RINGS

Abstract

We introduce a new large class of semigroups S including all locally finite, completely regular and strongly π-regular linear semigroups. For any semigroup S in the class and any S-graded ring R, the structure of the Jacobson radical of R is reduced to the radicals of subrings graded by the maximal subgroups of S. Many results on radicals follow from this reduction in a unified way. In two special cases the reduction is simplified.     

Identities of semigroup rings over semilattices of completely (0-) simple semigroups

LetR be a ring with identity,S be a semigroup with the set of idempotentsE(S), and denote (E(S)) for the subsemigroup ofS generated byE(S). In this paper, we prove that ifS is a semilattice of completely 0-simple semigroups and completely simple semigroups, then the semigroup ringRS possesses an identity iff so doesR(E(S)); especially, the result is true forS being a completely regular semigroup.     

A Structure Preserving Embedding of Semigroups Into Regular Semigroups

For any semigroup S a regular semigroup 𝒞(S) that embeds S can be constructed as the direct limit of a sequence of semigroups each of which contains a copy of its predecessor as a subsemigroup whose elements are regular. The construction is modified here to obtain an embedding of S into a regular semigroup R such that the nontrivial maximal subgroups of R are isomorphic to the Schützenberger groups of S and such that the restriction to S of any of Green's relations on R is the corresponding Green's relation on S.     

Hecke Algebras of Group Extensions

Abstract

We describe the Hecke algebra ?(Γ,Γ₀) of a Hecke pair (Γ,Γ₀) in terms of the Hecke pair (N,Γ₀) where N is a normal subgroup of Γ containing Γ₀. To do this, we introduce twisted crossed products of unital *-algebras by semigroups. Then, provided a certain semigroup S ? Γ/N satisfies S ^?1 S = Γ/N, we show that ? (Γ,Γ₀) is the twisted crossed product of ? (N,Γ₀) by S. This generalizes a recent theorem of Laca and Larsen about Hecke algebras of semidirect products.     

Morita Equivalence for Factorisable Semigroups

Recall that the semigroups S and R are said to be strongly Morita equivalent if there exists a unitary Morita context (S, R., _S P _R,R Q _S ,〈〉 , ⌈⌉) with 〈〉 and ⌈⌉ surjective. For a factorisable semigroup S, we denote ζ _S = {(s ₁, s ₂) ∈S×S|ss ₁ = ss ₂, ∀s∈S}, S' = S/ζ _S and US-FAct = { _S M∈S− Act |SM = M and SHom _S (S, M) ≅M}. We show that, for factorisable semigroups S and M, the categories US-FAct and UR-FAct are equivalent if and only if the semigroups S' and R' are strongly Morita equivalent. Some conditions for a factorisable semigroups to be strongly Morita equivalent to a sandwich semigroup, local units semigroup, monoid and group separately are also given. Moreover, we show that a semigroup S is completely simple if and only if S is strongly Morita equivalent to a group and for any index set I, S⊗SHom _S (S, ∐ _i∈I S) →∐ _i∈I S, s⊗t·ƒ↦ (st)ƒ is an S-isomorphism. The research is partially supported by a UGC(HK) grant #2160092. Project is supported by the National Natural Science Foundation of China     

Ortho-u-monoids

In this paper, we study the class of ortho-u-monoids which are generalized orthogroups within the class of E(S)-semiabundant semigroups. After introducing the concept of (∼)-Green’s relations, and obtaining some important properties of (∼)-Green’s relations and super E(S)-semiabundant semigroups, we have given the semilattice decomposition of ortho-u-monoids and a structure theorem for regular ortho-u-monoids. The main techniques that we used in the study are the (∼)-Green’s relations, and the semi-spined product of semigroups.     

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

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.     

Unary Semigroups with an Associate Subgroup

A subgroup H of a regular semigroup S is said to be an associate subgroup of S if for every s ∈ S, there is a unique associate of s in H. An idempotent z of S is said to be medial if czc = c, for every c product of idempotents of S. Blyth and Martins established a structure theorem for semigroups with an associate subgroup whose identity is a medial idempotent, in terms of an idempotent generated semigroup, a group and a single homomorphism. Here, we construct a system of axioms which characterize these semigroups in terms of a unary operation satisfying those axioms. As a generalization of this class of semigroups, we characterize regular semigroups S having a subgroup which is a transversal of a congruence on S.     

PP-Rings of Generalized Power Series

Abstract As a generalization of power series rings, Ribenboim introduced the notion of the rings of generalized power series. Let R be a commutative ring, and (S, ≤) a strictly totally ordered monoid. We prove that (1) the ring [[R ^S,≤]] of generalized power series is a PP-ring if and only if R is a PP-ring and every S-indexed subset C of B(R) (the set of all idempotents of R) has a least upper bound in B(R) and (2) if (S, ≤) also satisfies the condition that 0 ≤s for any s∈S, then the ring [[R ^S,≤ ]] is weakly PP if and only if R is weakly PP. Research supported by National Natural Science Foundation of China, 19501007, and Natural Science Foundation of Gansu, ZQ-96-01     

Some relations on completely regular semigroups

A semigroup S is called a Clifford semigroup if it is completely regular and inverse. In this paper, some relations related to the least Clifford semigroup congruences on completely regular semigroups are characterized. We give the relation between Y and ξ on completely regular semigroups and get that Y ^* is contained in the least Clifford congruence on completely regular semigroups generally. Further, we consider the relation Y ^*, Y, ν and ε on completely simple semigroups and completely regular semigroups. This work is supported by Leading Academic Discipline Project of Shanghai Normal University, Project Number: DZL803 and General Scientific Research Project of Shanghai Normal University, No. SK200707.     

Zero-Semidistributive Inverse Semigroups

An inverse semigroup S is said to be 0-semidistributive if its lattice ?F (S) of full inverse subsemigroups is 0-semidistributive. We show that it is sufficient to study simple inverse semigroups which are not groups. Our main theorem states that such a simple inverse semigroup S is 0-semidistributive if and only if (1) S is E-unitary, (2) S is aperiodic, (3) for any a,b ∈ S/σ with ab ≠ 1, there exist nonzero integers n and m such that (ab) ^m  = a ⁿ or (ab) ^m  = b ⁿ , where σ is the minimum group congruence on S.     

Equivariant Total Ring of Fractions and Factoriality of Rings Generated by Semi-Invariants

Let F be an affine flat group scheme over a commutative ring R, and S an F-algebra (an R-algebra on which F acts). We define an equivariant analogue Q _F (S) of the total ring of fractions Q(S) of S. It is the largest F-algebra T such that S ? T ? Q(S), and S is an F-subalgebra of T. We study some basic properties.

Utilizing this machinery, we give some new criteria for factoriality (unique factorization domain property) of (semi-)invariant subrings under the action of affine algebraic groups, generalizing a result of Popov. We also prove some variations of classical results on factoriality of (semi-)invariant subrings. Some results over an algebraically closed base field are generalized to those over an arbitrary base field.     

Derived Equivalences of Triangular Matrix Rings Arising from Extensions of Tilting Modules

A triangular matrix ring Λ is defined by a triplet (R,S,M) where R and S are rings and _R M _S is an S-R-bimodule. In the main theorem of this paper we show that if T _S is a tilting S-module, then under certain homological conditions on the S-module M _S , one can extend T _S to a tilting complex over Λ inducing a derived equivalence between Λ and another triangular matrix ring specified by (S′, R, M′), where the ring S′ and the R-S′-bimodule M′ depend only on M and T _S , and S′ is derived equivalent to S. Note that no conditions on the ring R are needed. These conditions are satisfied when S is an Artin algebra of finite global dimension and M _S is finitely generated. In this case, (S′,R,M′) = (S, R, DM) where D is the duality on the category of finitely generated S-modules. They are also satisfied when S is arbitrary, M _S has a finite projective resolution and Ext _S ⁿ (M _S , S) = 0 for all n > 0. In this case, (S′,R,M′) = (S, R, Hom _S (M, S)).     

On the algebra of quasi-shuffles

For any commutative algebra R the shuffle product on the tensor module T(R) can be deformed to a new product. It is called the quasi-shuffle algebra, or stuffle algebra, and denoted T ^q (R). We show that if R is the polynomial algebra, then T ^q (R) is free for some algebraic structure called Commutative TriDendriform (CTD-algebras). This result is part of a structure theorem for CTD-bialgebras which are associative as coalgebras and whose primitive part is commutative. In other words, there is a good triple of operads (As, CTD, Com) analogous to (Com, As, Lie). In the last part we give a similar interpretation of the quasi-shuffle algebra in the noncommutative setting.     

Invertibility of Matrices Over Subrings

Given rings R ? S, consider the division closure 𝒟(R, S) and the rational closure ?(R, S) of R in S. If S is commutative, then 𝒟(R, S) = ?(R, S) = RT ^?1, where T = {t ∈ R | t ^?1 ∈ S}. We show that this is also true if we assume only that R is commutative.     

Ordered semigroups having the <Emphasis Type="Italic">P</Emphasis>-property

In this paper we obtain the following main results. The ordered semigroups which have the P-property are decomposable into archimedean semigroups. Moreover, they are decomposable into semigroupswith the P-property. Conversely, if an ordered semigroup S is a complete semilattice of semigroups which have the P-property, then S itself also has the P-property. An ordered semigroup is CS-indecomposable and has the P-property if and only if it is archimedean. If S is an ordered semigroup, then the relation N:= {(a, b) | N(a) = N(b)} (here N(a) is a filter of S generated by a (a ∈ S)) is the least complete semilattice congruence on S and the class (a) _N is a CS-indecomposable subsemigroup of S for each a ∈ S. We introduce the notion of the P _m -property and describe it in terms of the P-property. Our approach simplifies the proofs of the corresponding results about unordered semigroups. The text was submitted by the authors in English.     

On some medial semigroups with an associate subgroup

Let S be a semigroup and s,t∈S. We say that t is an associate of s if s=sts. If S has a maximal subgroup G such that every element s of S has a unique associate in G, say s ^∗, we say that G is an associate subgroup of S and consider the mapping s→s ^∗ as a unary operation on S. In this way, semigroups with an associate subgroup may be identified with unary semigroups satisfying three simple axioms. Among them, only those satisfying the identity (st)^∗=t ^∗ s ^∗, called medial, have a structure theorem, due to Blyth and Martins.