scholarly journals The maximal regular ideal of the semigroup of binary relations

1981 ◽  
Vol 31 (2) ◽  
pp. 194-198
Author(s):  
D. Hardy ◽  
Francis J. Pastijn
2001 ◽  
Vol 12 (07) ◽  
pp. 791-812
Author(s):  
PERE ARA ◽  
GERT K. PEDERSEN ◽  
FRANCESC PERERA

We study the operation E → cl (E) defined on subsets E of a unital ring R, where x ∈ cl (E) if (x + Rb) ∩ E ≠ ∅ for each b in R such that Rx + Rb = R. This operation, which strongly resembles a closure, originates in algebraic K-theory. For any left ideal L we show that cl (L) equals the intersection of the maximal left ideals of R containing L. Moreover, cl (Re) = Re + rad (R) if e is an idempotent in R, and cl (I) = I for a two-sided ideal I precisely when I is semi-primitive in R (i.e. rad (R/I) = 0). We then explore a special class of von Neumann regular elements in R, called persistently regular and characterized by forming an "open" subset Rpr in R, i.e. cl (R\Rpr) = R\Rpr. In fact, R\Rpr = cl (R\Rr), so that Rpr is the "algebraic interior" of the set Rr of regular elements. We show that a regular element x with partial inverse y is persistently regular, if and only if the skew corner (1 - xy)R(1 - yx) is contained in Rr. If I reg (R) denotes the maximal regular ideal in R and [Formula: see text] the set of quasi-invertible elements, defined and studied in [4], we prove that [Formula: see text]. Specializing to C*-algebras we prove that cl (E) coincides with the norm closure of E, when E is one of the five interesting sets R-1, [Formula: see text], [Formula: see text], [Formula: see text] and [Formula: see text], and that Rpr coincides with the topological interior of Rr. We also show that the operation cl respects boundedness, self-adjointness and positivity.


1950 ◽  
Vol 1 (2) ◽  
pp. 165-165 ◽  
Author(s):  
Bailey Brown ◽  
Neal H. McCoy

Filomat ◽  
2017 ◽  
Vol 31 (12) ◽  
pp. 3715-3726 ◽  
Author(s):  
A.R. Aliabady ◽  
R. Mohamadian ◽  
S. Nazari

Let R be a commutative ring with identity and X be a Tychonoff space. An ideal I of R is Von Neumann regular (briefly, regular) if for every a ? I, there exists b ? R such that a = a2b. In the present paper, we obtain the general form of a regular ideal in C(X) which is OA, for some closed subset A of ?X, for which Ac?X ? (P(X))?, where P(X) is the set of all P-points of X. We show that the ideals and subrings such as CK(X), C?(X), C?(X), SocmC(X) and M?X\X are regular if and only if they are equal to the socle of C(X). We carry further the study of the maximal regular ideal, for instance, it is shown that for a vast class of topological spaces (we call them OPD-spaces) the maximal regular ideal is OX\I(X), where I(X) is the set of isolated points of X. Also, for this class, the socle of C(X) is the maximal regular ideal if and only if I(X) contains no infinite closed set. We also show that C(X) contains an ideal which is both essential and regular if and only if (P(X))? is dense in X. Finally it is shown that, for semiprimitive rings pure ideals are of the form OA which A is a closed subset of Max(R), also a P-point of X = Max(R) is introduced and it is shown that the maximal regular ideal of an arbitrary ring R is OX\P(X), which P(X) is the set of P-points of X = Max(R).


Author(s):  
Peter Matveevich Mazurkin ◽  
Yana Oltgovna Georgieva

The purpose of the article is the analysis of asymmetric wavelets in binary relations between three coordinates at 290 characteristic points from the source to the mouth of the small river Irovka. The hypsometric characteristic is the most important property of the relief. The Irovka River belongs to a low level, at the mouth it is 89 m high, and at the source it is 148 m above sea level. Modeling of binary relations with latitude, longitude, and height has shown that local latitude receives the greatest quantum certainty. In this case, all paired regularities received a correlation coefficient of more than 0.95. Such a high adequacy of wave patterns shows that geomorphology can go over to the wave multiple fractal representation of the relief. The Irovka River is characterized by a small anthropogenic impact, therefore, the relief over a length of 69 km has the natural character of the oscillatory adaptation of a small river to the surface of the Vyatka Uval from its eastern side. This allows us to proceed to the analysis of the four tributaries of the small river Irovka, as well as to model the relief of the entire catchment basin of 917 km2. The greatest adequacy with a correlation coefficient of 0.9976 was obtained by the influence of latitude on longitude, that is, the geographical location of the relief of the river channel with respect to the geomorphology of the Vyatka Uval. In second place with a correlation of 0.9967 was the influence of the height of the points of the channel of the small river on local longitude and it is also mainly determined by the relief of the Vyatka Uval. In third place was the effect of latitude on height with a correlation coefficient of 0.9859. And in last sixth place is the inverse effect of altitude on local latitude in the North-South direction.


2021 ◽  
Vol 82 (2) ◽  
Author(s):  
Robin Hirsch ◽  
Jaš Šemrl

AbstractThe motivation for using demonic calculus for binary relations stems from the behaviour of demonic turing machines, when modelled relationally. Relational composition (; ) models sequential runs of two programs and demonic refinement ($$\sqsubseteq $$ ⊑ ) arises from the partial order given by modeling demonic choice ($$\sqcup $$ ⊔ ) of programs (see below for the formal relational definitions). We prove that the class $$R(\sqsubseteq , ;)$$ R ( ⊑ , ; ) of abstract $$(\le , \circ )$$ ( ≤ , ∘ ) structures isomorphic to a set of binary relations ordered by demonic refinement with composition cannot be axiomatised by any finite set of first-order $$(\le , \circ )$$ ( ≤ , ∘ ) formulas. We provide a fairly simple, infinite, recursive axiomatisation that defines $$R(\sqsubseteq , ;)$$ R ( ⊑ , ; ) . We prove that a finite representable $$(\le , \circ )$$ ( ≤ , ∘ ) structure has a representation over a finite base. This appears to be the first example of a signature for binary relations with composition where the representation class is non-finitely axiomatisable, but where the finite representation property holds for finite structures.


Sign in / Sign up

Export Citation Format

Share Document