A unifying approach to the Margolis–Meakin and Birget–Rhodes group expansion

Let G be a group. We show that the Birget–Rhodes prefix expansion \(G^{Pr}\) and the Margolis–Meakin expansion M(X; f) of G with respect to \(f:X\rightarrow G\) can be regarded as inverse subsemigroups of a common E-unitary inverse semigroup P. We construct P as an inverse subsemigroup of an E-unitary inverse monoid \(U/\zeta \) which is a homomorphic image of the free product U of the free semigroup \(X^+\) on X and G. The semigroup P satisfies a universal property with respect to homomorphisms into the permissible hull C(S) of a suitable E-unitary inverse semigroup S, with \(S/\sigma _S=G\), from which the characterizing universal properties of \(G^{Pr}\) and M(X; f) can be recaptured easily.     

Kazhdan-Lusztig cells in some weighted Coxeter groups

Let(W,S) be a Coxeter group with S = I■J such that J consists of all universal elements of S and that I generates a finite parabolic subgroup W_I of W with w_0 the longest element of W_I. We describe all the left cells and two-sided cells of the weighted Coxeter group(W,S,L) that have non-empty intersection with W_J,where the weight function L of(W, S) is in one of the following cases:(i) max{L(s) | s ∈J} min{L(t)|t∈I};(ii) min{L(s)|s ∈J} ≥L(w_0);(iii) there exists some t ∈ I satisfying L(t) L(s) for any s ∈I-{t} and L takes a constant value L_J on J with L_J in some subintervals of [1, L(w_0)-1]. The results in the case(iii) are obtained under a certain assumption on(W, W_I).     

When a line graph associated to annihilating-ideal graph of a lattice is planar or projective

Let (L,∧, ∨) be a finite lattice with a least element 0. AG(L) is an annihilating-ideal graph of L in which the vertex set is the set of all nontrivial ideals of L, and two distinct vertices I and J are adjacent if and only if I ∧ J = 0. We completely characterize all finite lattices L whose line graph associated to an annihilating-ideal graph, denoted by L(AG(L)), is a planar or projective graph.     

Finite derivation type for semilattices of semigroups

In this paper we investigate how the combinatorial property finite derivation type (FDT) is preserved in a semilattice of semigroups. We prove that if $S= \mathcal{S}[Y,S_{\alpha}]$ is a semilattice of semigroups such that Y is finite and each S _?? (????Y) has FDT, then S has FDT. As a consequence we can show that a strong semilattice of semigroups $\mathcal{S}[Y,S_{\alpha},\lambda_{\alpha,\beta}]$ has FDT if and only if Y is finite and every semigroup S _?? (????Y) has FDT.     

On countable unions of nonmeager sets in hereditarily Lindelöf spaces

It is well known that any Vitali set on the real line ? does not possess the Baire property. The same is valid for finite unions of Vitali sets. What can be said about infinite unions of Vitali sets? Let S be a Vitali set, S _r be the image of S under the translation of ? by a rational number r and F = {S _r : r is rational}. We prove that for each non-empty proper subfamily F′ of F the union ∪F′ does not possess the Baire property. We say that a subset A of ? possesses Vitali property if there exist a non-empty open set O and a meager set M such that A ? O \ M. Then we characterize those non-empty proper subfamilies F′ of F which unions ∪F′ possess the Vitali property.     

Prime Ideals in Algebras Determined by Submonoids of Nilpotent Groups

The prime spectrum of the semigroup algebra K[S] of a submonoid S of a finitely generated nilpotent group is studied via the spectra of the monoid S and of the group algebra K[G] of the group G of fractions of S. It is shown that the classical Krull dimension of K[S] is equal to the Hirsch length of the group G provided that G is nilpotent of class two. This uses the fact that prime ideals of S are completely prime. An infinite family of prime ideals of a submonoid of a free nilpotent group of class three with two generators which are not completely prime is constructed. They lead to prime ideals of the corresponding algebra. Prime ideals of the monoid of all upper triangular n × n matrices with non-negative integer entries are described and it follows that they are completely prime and finite in number.     

Pseudo-amenability of certain semigroup algebras

In this paper, we investigate the pseudo-amenability of semigroup algebra ? ¹(S), where S is an inverse semigroup with uniformly locally finite idempotent set. In particular, we show that for a Brandt semigroup \(S={\mathcal{M}}^{0}(G,I)\), the pseudo-amenability of ? ¹(S) is equivalent to the amenability of G.     

Serre dimension of monoid algebras

Let R be a commutative Noetherian ring of dimension d, M a commutative cancellative torsion-free monoid of rank r and P a finitely generated projective R[M]-module of rank t. Assume M is Φ-simplicial seminormal. If \(M\in \mathcal {C}({\Phi })\), then Serre dim R[M]≤d. If r≤3, then Serre dim R[int(M)]≤d. If \(M\subset \mathbb {Z}_{+}^{2}\) is a normal monoid of rank 2, then Serre dim R[M]≤d. Assume M is c-divisible, d=1 and t≥3. Then P?∧ ^t P⊕R[M] ^t?1. Assume R is a uni-branched affine algebra over an algebraically closed field and d=1. Then P?∧ ^t P⊕R[M] ^t?1.     

Semigroup graded algebras and graded PI-exponent

Let S be a semigroup. We study the structure of graded-simple S-graded algebras A and the exponential rate PIexp ^S-gr(A):= lim_n→∞ \(\sqrt[n]{{c_n^{S - gr}\left( A \right)}}\) of growth of codimensions c _n ^S-gr (A) of their graded polynomial identities. This is of great interest since such algebras can have non-integer PIexp ^S-gr(A) despite being finite dimensional and associative. In addition, such algebras can have a non-trivial Jacobson radical J(A). All this is in strong contrast with the case when S is a group since in the group case J(A) is trivial, PIexp ^S-gr(A) is always integer and, if the base field is algebraically closed, then PIexp ^S-gr(A) equals dimA. Without any restrictions on the base field F, we classify graded-simple S-graded algebras A for a class of semigroups S which is complementary to the class of groups. We explicitly describe the structure of J(A) showing that J(A) is built up of pieces of a maximal S-graded semisimple subalgebra of A which turns out to be simple. When F is algebraically closed, we get an upper bound for \({\overline {\lim } _{n \to \infty }}\sqrt[n]{{c_n^{S - gr}\left( A \right)}}\). If A/J(A) ≈ M ₂(F) and S is a right zero band, we show that this upper bound is sharp and PIexp ^S-gr(A) indeed exists. In particular, we present an infinite family of graded-simple algebras A with arbitrarily large non-integer PIexp ^S-gr(A).     

Infinite compact sets of idempotents in $$\beta S$$

We show that if S is a countably infinite right cancellative semigroup and T is an infinite compact set of idempotents in the Stone–?ech compactification \(\beta S\) of S, then T contains an infinite compact left zero semigroup.     

The regular digraph of ideals of a commutative ring

Let R be a commutative ring and Max?(R) be the set of maximal ideals of R. The regular digraph of ideals of R, denoted by \(\overrightarrow{\Gamma_{\mathrm{reg}}}(R)\), is a digraph whose vertex set is the set of all non-trivial ideals of R and for every two distinct vertices I and J, there is an arc from I to J whenever I contains a J-regular element. The undirected regular (simple) graph of ideals of R, denoted by Γ_reg(R), has an edge joining I and J whenever either I contains a J-regular element or J contains an I-regular element. Here, for every Artinian ring R, we prove that |Max?(R)|?1≦ω(Γ_reg(R))≦|Max?(R)| and \(\chi(\Gamma_{\mathrm{ reg}}(R)) = 2|\mathrm{Max}\, (R)| -k-1\), where k is the number of fields, appeared in the decomposition of R to local rings. Among other results, we prove that \(\overrightarrow{\Gamma_{\mathrm{ reg}}}(R)\) is strongly connected if and only if R is an integral domain. Finally, the diameter and the girth of the regular graph of ideals of Artinian rings are determined.     

Noetherian Rings whose Modules are Prime Serial

A theorem due to Nakayama and Skornyakov states that “a ring R is an Artinian serial ring if and only if all left R-modules are serial” and a theorem due to Warfield state that “a Noetherian ring R is serial if and only if every finitely generated left R-module is serial”. We say that an R-module M is prime uniserial (?-uniserial, for short) if for every pair P, Q of prime submodules of M either \(P\subseteq Q\) or \(Q\subseteq P\), and we say that M is prime serial (?-serial, for short) if it is a direct sum of ?-uniserial modules. Therefore, two interesting natural questions of this sort are: “Which rings have the property that every module is ?-serial?” and “Which rings have the property that every finitely generated module is ?-serial?” Most recently, in our paper, Prime uniserial modules and rings (submitted), we considered these questions in the context of commutative rings. The goal of this paper is to answer these questions in the case R is a Noetherian ring in which all idempotents are central or R is a left Artinian ring.     

Generalized <Emphasis Type="Italic">SV</Emphasis>-modules

Given an arbitrary quasiprojective right R-module P, we prove that every module in the category σ(P) is weakly regular if and only if every module in σ(M/I(M)) is lifting, where M is a generating object in σ(P). In particular, we describe the rings over which every right module is weakly regular.     

Castelnuovo-Mumford regularity and projective dimension of a squarefree monomial ideal

Let S = K[x₁; x₂;...; x_n] be the polynomial ring in n variables over a field K; and let I be a squarefree monomial ideal minimally generated by the monomials u₁; u₂;...; u_m: Let w be the smallest number t with the property that for all integers 1 6 i₁ < i₂ <... < i _t 6 m such that \(lcm({u_{{i_1}}},{u_{{i_2}}},...,{u_{{i_t}}}) = lcm({u_1},{u_2},...,{u_m})\) We give an upper bound for Castelnuovo-Mumford regularity of I by the bigsize of I: As a corollary, the projective dimension of I is bounded by the number w.     

Orthodox semigroups and permutation matchings

We determine when an orthodox semigroup S has a permutation that sends each member of S to one of its inverses and show that if such a permutation exists, it may be taken to be an involution. In the case of a finite orthodox semigroup the condition is an effective one involving Green’s relations on the combinatorial images of the principal factors of S. We also characterise some classes of semigroups via their permutation matchings.     

On algebras of <Emphasis Type="Italic">P</Emphasis>-Ehresmann semigroups and their associate partial semigroups

P-Ehresmann semigroups are introduced by Jones as a common generalization of Ehresmann semigroups and regular \(*\)-semigroups. Ehresmann semigroups and their semigroup algebras are investigated by many authors in literature. In particular, Stein shows that under some finiteness condition, the semigroup algebra of an Ehresmann semigroup with a left (or right) restriction condition is isomorphic to the category algebra of the corresponding Ehresmann category. In this paper, we generalize this result to P-Ehresmann semigroups. More precisely, we show that for a left (or right) P-restriction locally Ehresmann P-Ehresmann semigroup \(\mathbf{S}\), if its projection set is principally finite, then we can give an algebra isomorphism between the semigroup algebra of \(\mathbf{S}\) and the partial semigroup algebra of the associate partial semigroup of \(\mathbf{S}\). Some interpretations and necessary examples are also provided to show why the above isomorphism dose not work for more general P-Ehresmann semigroups.     

On <Emphasis Type="BoldItalic">S</Emphasis>-strong Mori modules

Let A be an integral domain, \(S\subseteq A\) be a multiplicative set and M a w-module as an A-module. In this paper we investigate S-SM-modules. We give an S-version of the result of Wang and McCasland (Commun Algebra 25:1285–1306, 1997) in the case where S is countable. We prove that M is an S-SM-module if and only if every increasing sequence of w-submodules of M is S-stationary if and only if every increasing sequence of S-w-finite w-submodules of M is S-stationary if and only if every increasing sequence of w-finite type submodules of M is S-stationary.     

Plane Partitions and Their Pedestal Polynomials

For a linear extension P of a partially ordered set S, we consider a generating multivariate polynomial of certain reverse partitions on S, called P-pedestals. We establish a remarkable property of this polynomial: it does not depend on the choice of P. For S a Young diagram, we show that this polynomial generalizes the hook polynomial.     

Dual submanifolds in rational homology spheres

Let Σ be a simply connected rational homology sphere. A pair of disjoint closed submanifolds M_+, M_-? Σ are called dual to each other if the complement Σ-M_+ strongly homotopy retracts onto M_- or vice-versa. In this paper, we are concerned with the basic problem of which integral triples(n; m_+, m-) ∈ N~3 can appear, where n = dimΣ-1 and m_± = codim M_±-1. The problem is motivated by several fundamental aspects in differential geometry.(i) The theory of isoparametric/Dupin hypersurfaces in the unit sphere S~(n+1) initiated by′Elie Cartan, where M_± are the focal manifolds of the isoparametric/Dupin hypersurface M ? S~(n+1), and m± coincide with the multiplicities of principal curvatures of M.(ii) The Grove-Ziller construction of non-negatively curved Riemannian metrics on the Milnor exotic spheres Σ,i.e., total spaces of smooth S~3-bundles over S~4 homeomorphic but not diffeomorphic to S~7, where M_± =P_±×_(SO(4))S~3, P → S~4 the principal SO(4)-bundle of Σ and P_± the singular orbits of a cohomogeneity one SO(4) × SO(3)-action on P which are both of codimension 2.Based on the important result of Grove-Halperin, we provide a surprisingly simple answer, namely, if and only if one of the following holds true:· m_+ = m_-= n;· m_+ = m_-=1/3n ∈ {1, 2, 4, 8};· m_+ = m_-=1/4n ∈ {1, 2};· m_+ = m_-=1/6n ∈ {1, 2};·n/(m_++m_-)= 1 or 2, and for the latter case, m_+ + m_-is odd if min(m_+, m_-)≥2.In addition, if Σ is a homotopy sphere and the ratio n/(m_++m_-)= 2(for simplicity let us assume 2 m_- m_+),we observe that the work of Stolz on the multiplicities of isoparametric hypersurfaces applies almost identically to conclude that, the pair can be realized if and only if, either(m_+, m_-) =(5, 4) or m_+ + m_-+ 1 is divisible by the integer δ(m_-)(see the table on Page 1551), which is equivalent to the existence of(m_--1) linearly independent vector fields on the sphere S~(m_++m_-)by Adams' celebrated work. In contrast, infinitely many counterexamples are given if Σ is a rational homology sphere.