Monotone frameworks is one of the most successful frameworks for intraprocedural data flow analysis extending the traditional class of bitvector frameworks (like live variables and available expressions). Weighted pushdown systems is similarly one of the most general frameworks for interprocedural analysis of programs. However, it makes use of idempotent semirings to represent the sets of prope...

We obtain the following characterization of Q-polynomial distance-regular graphs. Let Γ denote a distance-regular graph with diameter d ≥ 3. Let E denote a minimal idempotent of Γ which is not the trivial idempotent E0. Let {θ∗ i }i=0 denote the dual eigenvalue sequence for E. We show that E is Q-polynomial if and only if (i) the entry-wise product E ◦ E is a linear combination of E0, E, and at...

A ring R is called clean if every element of the sum a unit and an idempotent. Motivated by question proposed Lam on cleanness von Neumann Algebras, Vaš introduced more natural concept for ?-rings, ?-cleanness. More precisely, ?-ring ?- projection (?-invariant idempotent). Let F be finite field G abelian group. In this paper, we introduce two classes involutions group rings form characterize ?-...

it is shown that a commutative reduced ring r is a baer ring if and only if it is a cs-ring; if and only if every dense subset of spec (r) containing max (r) is an extremally disconnected space; if and only if every non-zero ideal of r is essential in a principal ideal generated by an idempotent.

In this paper, we present a comprehensive analysis of selfdual and m-idempotent operators. We refer to an operator as midempotent if it converges after m iterations. We focus on an important special case of the general theory of lattice morphology: Spatiallyvariant morphology, which captures the geometrical interpretation of spatially-variant structuring elements. We demonstrate that every incr...

Formal power series over non-commuting variables have been investigated as representations of the behavior of automata with multiplicities. Here we introduce and investigate the concepts of aperiodic and of star-free formal power series over semirings and partially commuting variables. We prove that if the semiring K is idempotent and commutative, or if K is idempotent and the variables are non...

The category of Hilbert modules may be interpreted as a naive quantum field theory over a base space. Open subsets of the base space are recovered as idempotent subunits, which form a meet-semilattice in any firm braided monoidal category. There is an operation of restriction to an idempotent subunit: it is a graded monad on the category, and has the universal property of algebraic localisation...