S-Classification of Regular Semigroups

On any regular semigroup S, the greatest idempotent pure congruence τ the greatest idempotent separating congruence μ and the least band congruence β are used to give the S-classification of regular semigroups as follows. These congruences generate a sublattice Λ of the congruence lattice C(S) of S. We consider the triples (Λ,K,T), where K and T are the restrictions of the K- and T-relations on C(S) to Λ. Such triples are characterized abstractly and form the objects of a category S whose morphisms are surjective K- and T-preserving homomorphisms subject to a mild condition. The class of regular semigroups is made into a category S whose morphisms are fairly restricted homomorphisms. The main result of the paper is the existence of a representative functor from S to S. The effect of the S-classification on Reilly semigroups and cryptogroups is discussed briefly.     

Zur Theorie der Stetigen Teilbarkeitshalbgruppen

O. CallS:=(S,·,∩) a d-semigroup ifS satisfies the axioms (A1) (S,·) is a semigroup, (A2) (S,∩) is a semilattice (A3), (S,·,∩) is a semiring, (A4) a ≤b⇒bε aS ∩ Sa. Call tεS positive if ÅaεS: ta ≥a≤at. Let S⁺ denote the set {t‖t positive}. Every d-semigroup is closed under sup and (s,·,∪) is a semiring, (S, ∩, ∪) is a distributive lattice. Denote by D□X the implication s=Xa_i⇒x□s□y=X(x□a_i□y) where □ε{·,∩,∪} and Xε{∪,∩}. CallS continuous ifS satisfies all D□X. The theory of d-semigroups (divisibility-semigroups) was established in [3], [4], [5], and is continued here by some contributions to the theory of continuous d-semigroups the main results of which are the two propositions: (1) LetS be a d-semigroup with 1. ThenS satisfies D□X iffS ⁺ satisfies this axiom. (2) LetS be continuous. Then (S,·) is commutative. Obviously Proposition (2) is an improvement of Iwasawa's theorem concerning conditionally complete lattice ordered groups.

---

Zur Theorie der Stetigen Teilbarkeitshalbgruppen

---

Klaus Wagner zum 70. Geburtstag gewidmet     

On quasi completely regular semirings

We extend the concepts of a completely π-regular semigroup and a GV semigroup to semirings and find a semiring analogue of a structure theorem on GV semigroups. We also show that a semiring S is quasi completely regular if and only if S is an idempotent semiring of quasi skew-rings.     

Locally Closed Semirings

 We call a semiring S locally closed if for all a ∈ S there is some integer k such that 1 + a + ⋯ + a ^k  =1 + a + ⋯ + a ^k + 1 . In any locally closed semiring we may define a star operation a ↦ a ^*, where a ^* is the above finite sum. We prove that when S is locally closed and commutative, then S is an iteration semiring.     

Inequalities for Gondran-Minoux rank and idempotent semirings

The rank-sum, rank-product, and rank-union inequalities for Gondran-Minoux rank of matrices over idempotent semirings are considered. We prove these inequalities for matrices over quasi-selective semirings without zero divisors, which include matrices over the max-plus semiring. Moreover, it is shown that the inequalities provide the linear algebraic characterization for the class of quasi-selective semirings. Namely, it is proven that the inequalities hold for matrices over an idempotent semiring S without zero divisors if and only if S is quasi-selective. For any idempotent semiring which is not quasi-selective it is shown that the rank-sum, rank-product, and rank-union inequalities do not hold in general. Also, we provide an example of a selective semiring with zero divisors such that the rank-sum, rank-product, and rank-union inequalities do not hold in general.     

On semirings whose additive reduct is a semilattice

A semiring S whose additive reduct is a semilattice is called a k-regular semiring if for every a∈S there is x∈S such that a+axa=axa. For a semigroup F, the power semiring P(F) is a k-regular semiring if and only if F is a regular semigroup. An element e∈S is a k-idempotent if e+e ²=e ². Basic properties of k-regular semirings whose k-idempotents are commutative have been studied.     

The K°-relation on the Congruence Lattice of a Regular Semigroup with an Inverse Transversal

Let S be a regular semigroup with an inverse transversal S° and C(S) the congruence lattice of S. A relation K° on C(S) is introduced as follows: if ρ, θ∈ C(S), then we say that ρ and θ are K°-related if Ker ρ° = Ker θ° , where ρ° = ρ|S°. Expressions for the least and the greatest congruences in the same K°-class as ρ are provided. A number of equivalent conditions for K° being a congruence are given.     

Structure of a finite commutative inverse semigroup and a finite bundle for which the inverse monoid of local automorphisms is permutable

For a semigroup S, the set of all isomorphisms between the subsemigroups of the semigroup S with respect to composition is an inverse monoid denoted by PA(S) and called the monoid of local automorphisms of the semigroup S. The semigroup S is called permutable if, for any couple of congruences ρ and σ on S, we have ρ ∘ σ = σ ∘ ρ. We describe the structures of a finite commutative inverse semigroup and a finite bundle whose monoids of local automorphisms are permutable.     

Locally Closed Semirings

 We call a semiring S locally closed if for all a ∈ S there is some integer k such that 1 + a + ⋯ + a ^k  =1 + a + ⋯ + a ^k + 1 . In any locally closed semiring we may define a star operation a ↦ a ^*, where a ^* is the above finite sum. We prove that when S is locally closed and commutative, then S is an iteration semiring. Partially supported by grant no. T30511 from the National Foundation of Hungary for Scientific Research and the Austrian–Hungarian Bilateral Research and Development Fund, no. A-4/1999, and by the Austrian–Hungarian Action Foundation. Partially supported by the Austrian–Hungarian Bilateral Research and Development Fund, no. A-4/1999, and by the Austrian–Hungarian Action Foundation. Received March 16, 2001     

On the subsemiring generated by almost idempotents of a k-regular semiring

An element e of a semiring S with commutative addition is called an almost idempotent if \(e + e^2 = e^2\). Here we characterize the subsemiring \(\langle E(S)\rangle \) generated by the set E(S) of all almost idempotents of a k-regular semiring S with a semilattice additive reduct. If S is a k-regular semiring then \(\langle E(S)\rangle \) is also k-regular. A similar result holds for the completely k-regular semirings, too.     

Cyclic projectors and separation theorems in idempotent convex geometry

Semimodules over idempotent semirings like the max-plus or tropical semiring have much in common with convex cones. This analogy is particularly apparent in the case of subsemimodules of the n-fold Cartesian product of the max-plus semiring: It is known that one can separate a vector from a closed subsemimodule that does not contain it. Here we establish a more general separation theorem, which applies to any finite collection of closed subsemimodules with a trivial intersection. The proof of this theorem involves specific nonlinear operators, called here cyclic projectors on idempotent semimodules. These are analogues of the cyclic nearest-point projections known in convex analysis. We obtain a theorem that characterizes the spectrum of cyclic projectors on idempotent semimodules in terms of a suitable extension of Hilbert's projective metric. We also deduce as a corollary of our main results the idempotent analogue of Helly's theorem. __________ Translated from Fundamentalnaya i Prikladnaya Matematika, Vol. 13, No. 4, pp. 31–52, 2007.     

A One-Dimensional Inviscid and Compressible Fluid in a Harmonic Potential Well

A Hamiltonian model is analyzed for a one-dimensional inviscid compressible fluid. The space–time evolution of the fluid is governed by the following system of the Hamilton–Jacobi and the continuity equations:

High-Dimensional Centrally Symmetric Polytopes with Neighborliness Proportional to Dimension

Let A be a d by n matrix, d < n. Let C be the regular cross polytope (octahedron) in Rⁿ. It has recently been shown that properties of the centrosymmetric polytope P = AC are of interest for finding sparse solutions to the underdetermined system of equations y = Ax [9]. In particular, it is valuable to know that P is centrally k-neighborly. We study the face numbers of randomly projected cross polytopes in the proportional-dimensional case where d ∼ δn, where the projector A is chosen uniformly at random from the Grassmann manifold of d-dimensional orthoprojectors of Rⁿ. We derive ρ_N(δ) > 0 with the property that, for any ρ < ρ_N(δ), with overwhelming probability for large d, the number of k-dimensional faces of P = AC is the same as for C, for 0 ≤ k ≤ ρd. This implies that P is centrally ⌊ ρ d ⌋-neighborly, and its skeleton Skel_{⌊ ρ d ⌋}(P) is combinatorially equivalent to Skel_{⌊ ρ d⌋}(C). We display graphs of ρ_N. Two weaker notions of neighborliness are also important for understanding sparse solutions of linear equations: weak neighborliness and sectional neighborliness [9]; we study both. Weak (k,ε)-neighborliness asks if the k-faces are all simplicial and if the number of k-dimensional faces f_k(P) ≥ f_k(C)(1 – ε). We characterize and compute the critical proportion ρ_W(δ) > 0 such that weak (k,ε) neighborliness holds at k significantly smaller than ρ_W · d and fails for k significantly larger than ρ_W · d. Sectional (k,ε)-neighborliness asks whether all, except for a small fraction ε, of the k-dimensional intrinsic sections of P are k-dimensional cross polytopes. (Intrinsic sections intersect P with k-dimensional subspaces spanned by vertices of P.) We characterize and compute a proportion ρ_S(δ) > 0 guaranteeing this property for k/d ∼ ρ < ρ_S(δ). We display graphs of ρ_S and ρ_W.     

Maximizing a congruence with respect to its partition of idempotents

For a congruence σ on a semigroupS a congruence μ(σ) onS, containing σ, is defined such that the semigroupS/σ is fundamental if and only if σ=μ(σ). The congruence μ(σ) is shown to possess maximality properties and for idempotent-surjective semigroups, μ(σ) is the maximum congruence with respect to the partition of the idempotents determined by σ. Thus μ is the maximum idempotent-separating congruence on any idempotent-surjective semigroup. It is shown that μ(μ(σ))=μ(σ). If ρ is another congruence onS, possibly with the same partition of the idempotents as σ, then it is of interest to know when ρ⊆σ (or ρ⊆μ(σ)) implies μ(ρ)⊆μ(σ) or even μ(ρ)=μ(σ). These implications are not true in general but if σ⊆ρ⊆μ(σ) then μ(ρ)⊆μ(σ). IfS is an idempotent-surjective semigroup and ρ and σ have the same partition of the idempotents then μ(ρ)=μ(σ).     

Certain congruences on E-inversive E-semigroups

A semigroup S is called E-inversive if for every a ∈ S there exists x ∈ S such that ax is idempotent. S is called E-semigroup if the set of idempotents of S forms a subsemigroup. In this paper some special congruences on E-inversive E-semigroups are investigated, such as the least group congruence, a certain semilattice congruence, some regular congruences and a certain idempotent-separating congruence.     

Estimates for parametric Marcinkiewicz integrals in BMO and Campanato spaces

In this paper, the authors consider the behaviors of a class of parametric Marcinkiewicz integrals μ _Ω ^ρ , μ _Ω,λ ^*,ρ and μ _Ω,S ^ρ on BMO(ℝ ⁿ ) and Campanato spaces with complex parameter ρ and the kernel Ω in Llog⁺ L(S ⁿ⁻¹). Here μ _Ω,λ ^*,ρ and μ _Ω,S ^ρ are parametric Marcinkiewicz functions corresponding to the Littlewood-Paley g _λ *-function and the Lusin area function S, respectively. Under certain weak regularity condition on Ω, the authors prove that if f belongs to BMO(ℝ ⁿ ) or to a certain Campanato space, then [μ _Ω,λ ^*,ρ (f)]², [μ _Ω,S ^ρ (f)]² and [μ _Ω ^ρ (f)]² are either infinite everywhere or finite almost everywhere, and in the latter case, some kind of boundedness are also established.     

Convergence field of Abel’s summation method

Let F(A) denote the set of all bounded sequences summable by Abel’s method. It is known, that F(A) is a linear subspace of the linear metric space (S, ρ) of all bounded sequences endowed with the sup metric. It is shown in [KOSTYRKO, P.: Convergence fields of regular matrix transformations 2, Tatra Mt. Math. Publ. 40 (2008), 143–147] that the convergence field of a regular matrix transformation is a σ-porous set. We show that F(A) is very porous in S.