‎‎‎In this paper‎, ‎the‎ notion of injectivity with respect to order dense embeddings in ‎‎the category of $S$-posets‎, ‎posets with a monotone action of a‎ pomonoid $S$ on them‎, ‎is studied‎. ‎We give a criterion‎, ‎like the Baer condition for injectivity of modules‎, ‎or Skornjakov criterion for injectivity of $S$-sets‎, ‎for the order dense injectivity‎. ‎Also‎, ‎we consider such injectivit...

Proposition 1. M is injective if and only if its singular value decomposition M = UDV H has a V that is square and invertible. In this case, MM is invertible and M = (MHM)−1MH . Proof. Let M be an r × c matrix. Suppose that M is injective, so that rank(M) = c because the kernal is zero. Then D is a c × c matrix and so V H is also c× c. V H must already be injective (lest M not be injective), an...

‎in this paper some properties of weak regular injectivity for $s$-posets‎, ‎where $s$ is a pomonoid‎, ‎are studied‎. ‎the behaviour‎ ‎of different kinds of weak regular injectivity with products‎, ‎coproducts and direct sums is considered‎. ‎also‎, ‎some‎ ‎characterizations of pomonoids over which all $s$-posets are of‎ ‎some kind of weakly regular injective are obtained‎. ‎further‎, ‎we‎ ‎giv...

Given a basic K-coalgebra C, we study the left Gabriel-valued quiver (CQ,Cd) of C by means of irreduciblemorphisms between indecomposable injective leftC-comodules and by means of the powers rad of the radical rad of the category C-inj of the socle-finite injective left C-comodules. Connections between the valued quiver (CQ,C d) of C and the valued quiver (CQ,Cd) of a colocalization coalgebra q...

Let R be a ring. A right R-module is said to C-flat if the kernel of any epimorphism B → C-pure in B, i.e. induced map Hom(C,B) Hom(C,A) surjective for cyclic C. Projective modules are and weakly-flat neat-flat. In this article, it discussed connections between C-flat, weakly-flat, neat-flat singly flat modules. It shown that coincide with singly-projective over arbitrary rings. Next, several c...

Proof. The idempotents correspond to the Borel sets modulo sets of first category. Since, in addition, the idempotents generate B(X), B(X) is an AW* and hence an injective algebra. The natural map U of C(X) into B(X) induced by the inclusion map is clearly a homomorphism. It is one-one since continuous functions which are not identically equal must differ on a set of second category. To complet...