On the Brandt λ 0-extensions of monoids with zero

We study algebraic properties of the Brandt λ ⁰-extensions of monoids with zero and non-trivial homomorphisms between the Brandt λ ⁰-extensions of monoids with zero. We introduce finite, compact topological Brandt λ ⁰-extensions of topological semigroups and countably compact topological Brandt λ ⁰-extensions of topological inverse semigroups in the class of topological inverse semigroups and establish the structure of such extensions and non-trivial continuous homomorphisms between such topological Brandt λ ⁰-extensions of topological monoids with zero. We also describe a category whose objects are ingredients in the constructions of finite (compact, countably compact) topological Brandt λ ⁰-extensions of topological monoids with zeros.     

On generalized (<Emphasis Type="Italic">θ, φ</Emphasis>)-derivations in semiprime rings with involution

The main purpose of this paper is to prove the following result: Let R be a 2-torsion free semiprime *-ring. Suppose that θ, φ are endomorphisms of R such that θ is onto. If there exists an additive mapping F: R → R associated with a (θ, φ)-derivation d of R such that F(xx*) = F(x)θ(x*) + φ(x)d(x*) holds for all x ∈ R, then F is a generalized (θ, φ)-derivation. Further, some more related results are obtained.     

The word problem for nilpotent inverse monoids

The concept ofk-nilpotency is adapted for inverse semigroups andN _k(X) is defined as the largestk-nilpotent Rees quotient of the free inverse monoid onX. The membership problem is solved for a certain class of ideals of quasifree inverse monoids. As a consequence, the word problem is shown to be decidable for every finite relation onN _k (X), producing an unusual example of total decidability. The author acknowledges support from JNICT-Project SAL (PBIC/C/CEN/1021/92) and ESPRIT-BRA Working Group 6317 “ASMICS”.     

The automorphism group of the graph of anR class

IfS is anX generated semigroup andm∈S, then one can represent theR class ofm by a labeled digraph, called theR graph ofm. We show that the Schützenberger group of theH class ofm embeds in the automorphism group of theR graph ofm, and that the embedding is an isomorphism ifm is a regular element.     

Non-tame automorphisms of extensions of periodic groups

LetF be a free group andR≤F a characteristic subgroup. Automorphisms ofF/R which are induced by automorphisms ofF are called tame. In this paper we use theN-torsion invariant discovered by the first author and M. Lustig [LM] to show the existence of non-tame automorphisms of free central extensions and free nilpotent extensions of Burnside groups. Partially supported by the German Israel Foundation for Research and Development (G. I. F.). Supported by a grant from the Israel Planning and Budgeting Committee.     

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.     

Some intersections and identifications in integral group rings

LetZG be the integral group ring of a groupG and I(G) its augmentation ideal. For a free groupF andR a normal subgroup ofF, the intersectionI ⁿ⁺¹ (F) ∩I ⁿ⁺¹ (R) is determined for alln≥ 1. The subgroupsF ∩ (1+ZFI (R) I (F) I (S)) ANDF ∩ (1 + I (R)I ³ (F)) of F are identified whenR and S are arbitrary subgroups ofF.     

Inverse problems for Sturm—Liouville operators with potentials in Sobolev spaces: Uniform stability

Two inverse problems for the Sturm-Liouville operator Ly = s-y″ + q(x)y on the interval [0, fy] are studied. For θ ⩾ 0, there is a mapping F:W ₂^θ → l _B ^θ, F(σ) = {s _k }₁^∞, related to the first of these problems, where W ₂^∞ = W ₂^∞[0, π] is the Sobolev space, σ = ∫ q is a primitive of the potential q, and l _B ^θ is a specially constructed finite-dimensional extension of the weighted space l ₂^θ, where we place the regularized spectral data s = {s _k }₁^∞ in the problem of reconstruction from two spectra. The main result is uniform lower and upper bounds for ∥σ - σ₁∥_θ via the l _B ^θ-norm ∥s − s₁∥_θ of the difference of regularized spectral data. A similar result is obtained for the second inverse problem, that is, the problem of reconstructing the potential from the spectral function of the operator L generated by the Dirichlet boundary conditions. The result is new even for the classical case q ∈ L ₂, which corresponds to θ = 1.     

Global existence and uniform decay for the coupled Klein-Gordon-Schr?dinger equations

This paper is concerned to the existence, uniqueness and uniform decay for the solutions of the coupled Klein-Gordon-Schr?dinger damped equations where ω is a bounded domain of R ⁿ , n≤ 3, F : R ²→R is a C ¹-function; γ, β; θ are constants such that γ, β > 0 and 1 ≤ 2θ≤ 2. Received January 1999 – Accepted October 1999     

Homology of free Lie powers and torsion in groups

LetG be a group that is given by a free presentationG=F/R, and let_γ4 R denote the fourth term of the lower central series of R. We show that ifG has no elements of order 2, then the torsion subgroup of the free central extensionF/[_γ4 R,F] can be identified with the homology groupR _γ6(G, ℤ/2ℤ). This is a consequence of our main result which refers to the homology ofG with coefficients in Lie powers of relation modules.     

Half-factorial-domains

LetR be a commutative domain with 1. We termR an HFD (Half-Factorial-Domain) provided the equality Π _i=1 ⁿ χ_i=Π{_f=1/^m}y _f impliesm=n, whenever thex’s and they’s are non-zero, non-unit and irreducible elements ofR. The purpose of this note is to study HFD’s, in particular, Krull domains that are HFD’s, and to provide examples of HFD’s, that contradict a conjecture of Narkiewicz.     

Representation of congruences on regular semigroups with inverse transversals

For a regular semigroup with an inverse transversal, we have Saito’s structureW(I,S ^o, Λ, *, {α, β}). We represent congruences on this kind of semigroups by the so-called congruence assemblage which consist of congruences on the structure component partsI,S ^o and Λ. The structure of images of this type of semigroups is also presented. This work is supported by Natural Science Foundation of Guangdong Province     

The character table of the group GL 2(Q) when extended by a certain group of order two

LetG denote either of the groupsGL ₂(q) or SL₂(q). Then θ :G →G given by θ(A) = (A ^t)^t, whereA ^t denotes the transpose of the matrixA, is an automorphism ofG. Therefore we may form the groupG.θ> which is the split extension of the groupG by the cyclic group θ of order 2. Our aim in this paper is to find the complex irreducible character table ofG. θ.     

Garside Structures on Monoids with Quadratic Square-Free Relations

We show the intimate connection between various mathematical notions that are currently under active investigation: a class of Garside monoids, with a “nice” Garside element, certain monoids S with quadratic relations, whose monoidal algebra A = kSA= \textbf{k}S has a Frobenius Koszul dual A ^! with regular socle, the monoids of skew-polynomial type (or equivalently, binomial skew-polynomial rings) which were introduced and studied by the author and in 1995 provided a new class of Noetherian Artin-Schelter regular domains, and the square-free set-theoretic solutions of the Yang-Baxter equation. There is a beautiful symmetry in these objects due to their nice combinatorial and algebraic properties.     

On the Lipschitzian properties of polyhedral multifunctions

In this paper, we show that for a polyhedral multifunctionF:R ⁿ →R ^m with convex range, the inverse functionF ⁻¹ is locally lower Lipschitzian at every point of the range ofF (equivalently Lipschitzian on the range ofF) if and only if the functionF is open. As a consequence, we show that for a piecewise affine functionf:R ⁿ →R ⁿ ,f is surjective andf ⁻¹ is Lipschitzian if and only iff is coherently oriented. An application, via Robinson's normal map formulation, leads to the following result in the context of affine variational inequalities: the solution mapping (as a function of the data vector) is nonempty-valued and Lipschitzian on the entire space if and only if the solution mapping is single-valued. This extends a recent result of Murthy, Parthasarathy and Sabatini, proved in the setting of linear complementarity problems. Research supported by the National Science Foundation Grant CCR-9307685.     

Operators on the Lattice of Pseudovarieties of Finite Semigroups

L (F) of pseudovarieties of finite semigroups that attempts to take full advantage of the underlying lattice structure, Auinger, Hall and the present authors recently introduced fourteen complete congruences on L (F). Such congruences provide a framework from which to study L (F) both locally and globally. For each such congruence ρ and each U∈L (F) the ρ-class of U is an interval [U ^ρ, U _ρ]. This provides a family of operators of the form U⇒Uρ on L (F) that reveal important relationships between elements of L (F). Various aspects of these operators are considered including characterizations of U ^ρ, bases of pseudoidentities for U ^ρ, instances of commutativity (U ^ρ)^σ = U ^σ)^ρ, as well as the semigroups generated by certain pairs of such operators.     

Graph expansions of unipotent monoids

Margolis and Meakin use the Cayley graph of a group presentation to construct E-unitary inverse monoids [11]. This is the technique we refer to as graph expansion. In this paper we consider graph expansions of unipotent monoids, where a monoid is unipotent if it contains a unique idempotent. The monoids arising in this way are E-unitary and belong to the quasivariety of weakly left ample monoids. We give a number of examples of such monoids. We show that the least unipotent congruence on a weakly left ample monoid is given by the same formula as that for the least group congruence on an inverse monoid and we investigate the notion of proper for weakly left ample monoids.

Using graph expansions we construct a functor F^e from the category U of unipotent monoids to the category PWLA of proper weakly left ample monoids. The functor F^e is an expansion in the sense of Birget and Rhodes [2]. If we equip proper weakly left ample monoids with an extra unary operation and denote the corresponding category by PWLA ⁰ then regarded as a functor U→PWLA ⁰ F^e is a left adjoint of the functor F^σ : PWLA ⁰ → U that takes a proper weakly left ample monoid to its greatest unipotent image.

Our main result uses the covering theorem of [8] to construct free weakly left ample monoids.     

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) .