A Tychonoff space X such that the maximum ring of quotients of C(X) is uniformly complete is called a uniform quotients space. It is shown that this condition is equivalent to the Dedekind– MacNeille completion of C(X) being a ring of quotients of C(X), in the sense of Utumi. A compact metric space is a uniform quotients space precisely when it has a dense set of isolated points. Extremally dis...

the concept of right (left) quotient (or residual) of an ideal η by anideal ν of an l-subring μ of a ring r is introduced. the right (left) quotients areshown to be ideals of μ . it is proved that the right quotient [η :r ν ] of an idealη by an ideal ν of an l-subring μ is the largest ideal of μ such that[η :r ν ]ν ⊆ η . most of the results pertaining to the notion of quotients(or residual) of ...

This paper describes the concept of higher order quotients and an implementation in Isabelle Higher order quotients are a gen eralization of quotients They use partial equivalence relations PERs instead of equivalence relations to group together di erent elements This makes them applicable to arbitrary function spaces Higher order quo tients are conservatively implemented in the Isabelle logic ...

We define and study the symmetric version of differential torsion theories. We prove that the symmetric versions of some of the existing results on derivations on right modules of quotients hold for derivations on symmetric modules of quotients. In particular, we prove that the symmetric Lambek, Goldie and perfect torsion theories are differential. We also study conditions under which a derivat...

This article studies commutative orders, that is, commutative semigroups having a semigroup of quotients. In a commutative order S, the square-cancellable elements S(S) constitute a well-behaved separable subsemigroup. Indeed, S(S) is also an order and has a maximum semigroup of quotients R, which is Clifford. We present a new characterisation of commutative orders in terms of semilattice decom...

In this paper, we introduce and study quotients of fully nonlinear control systems. Our definition is inspired by categorical definitions of quotients as well as recent work on abstractions of affine control systems. We show that quotients exist under mild regularity assumptions and characterize the structure of the quotient state/input space. This allows one to understand how states and inputs...