Related papers: A new class of partial orders

We give a combinatorial description of shape theory using finite topological $T_0$-spaces (finite partially ordered sets). This description may lead to a sort of computational shape theory. Then we introduce the notion of core for inverse…

Let $R$ be an associative ring with identity and let $N$ be a nil ideal of $R$. It is shown that units of $R/N$ can be lifted to units in $R$. Under some mild conditions on the ring, a procedure is given to determine those lifted units in a…

We study three types of order convergence and related concepts of order continuous maps in partially ordered sets, partially ordered abelian groups and partially ordered vector spaces, respectively. An order topology is introduced such that…

We define a partial order on the set of pairs {(O,C)}, where O is a nilpotent orbit and C is a conjugacy class in Lusztig's canonical quotient of A(O). We then show that there is a unique order-reversing duality map on this set that has…

We express the Partial regularities and $a^*$-invariants of a Borel type ideal in terms of its irredundant irreducible decomposition. In addition we consider the behaviours of those invariants under intersections and sums.

A subsemigroup $S$ of an inverse semigroup $Q$ is a left I-order in $Q$ if every element in $Q$ can be written as $a^{-1}b$ where $a,b \in S$ and $a^{-1}$ is the inverse of $a$ in the sense of inverse semigroup theory. If we insist on $a$…

Here we introduce the notion of (left, right) $\pi$-$t$-simple, right $\pi$-inverse ordered semigroups and discuss characterizations and relationships concerning them. Semilattice decomposition of left $\pi$-$t$-simple ordered semigroups…

Partial orders are used extensively for modeling and analyzing concurrent computations. In this paper, we define two properties of partially ordered sets: width-extensibility and interleaving-consistency, and show that a partial order can…

Motivated by the concept of clean index of rings, we introduce the concept of weak clean index of rings. For any element $a$ of a ring $R$ with unity, we define $ \chi(a)=\{e\in R\mid e^2=e\text{ and }a-e \mbox{ or } a+e \mbox{ is a…

We introduce the class weakly nil clean rings, as rings R in which for every a\in R there exist an idempotent e and a nilpotent q such that a-e-q\in eRa. Every weakly nil clean ring is exchange. Weakly nil clean rings contain pi-regular…

We present a necessary and sufficient conditions under which the sum of two EP elements in a *-ring has core inverse. As an application, we establish the conditions under which a block complex matrix with EP sub-blocks has core inverse.

This paper introduces a new kind of propositional encoding for reasoning about partial orders. The symbols in an unspecified partial order are viewed as variables which take integer values and are interpreted as indices in the order. For a…

A relational structure is called reversible iff every bijective endomorphism of that structure is an automorphism. We give several equivalents of that property in the class of disconnected binary structures and some its subclasses. For…

We introduce normal cores, as well as the more general action cores, in the context of a semi-abelian category, and further generalise those to split extension cores in the context of a homological category. We prove that, if the category…

Let g be a simple Lie algebra, with fixed Borel subalgebra b and with Weyl group W. Expanding on previous work of Fan and Stembridge in the simply laced case, this note aims to study the fully commutative elements of W, and their…

Given a group G, we construct, in a canonical way, an inverse semigroup S(G) associated to G. The actions of S(G) are shown to be in one-to-one correspondence with the partial actions of G, both in the case of actions on a set, and that of…

Commutative totally ordered monoids abound, number systems for example. When the monoid is not assumed commutative, one may be hard pressed to find an example. One suggested by Professor Orr Shalit are the countable ordinals with addition.…

Let $A$ be a finite ordered set. Define the ordered set $A^A$ as the set of all maps from $A$ to $A$, ordered pointwise. Let ${}^{A} A$ be the dual of $A^A$. We prove results in the spirit of Parts~I--III, but now using both $A^A$ and…

Westudy the existence of a class of inverse integrating factor for a family of non formally integrable systems, in general, whose lowest-degree quasi-homogeneous term is a Hamiltonian vector field. Once the existence of an inverse integrat…

A notion of one-dimensional formal ring is presented. It consists of a triple $(A,\Phi,\Psi)$ where $A$ is a unital ring and $\Phi$ and $\Psi$ are two formal power series in $2$ variables ${\Phi(x,y),\Psi(x,y)\in A\llbracket…