The paper is aimed at studying the topological dimension for sets definable in weakly o-minimal structures in order to prepare background for further investigation of groups, group actions and fields definable in the weakly o-minimal context. We prove that the topological dimension of a set definable in a weakly o-minimal structure is invariant under definable injective maps, strengthening an a...

It is shown that each almost maximal valuation ring R, such that every indecomposable injective R-module is countably generated, satisfies the following condition (C): each fp-injective R-module is locally injective. The converse holds if R is a domain. Moreover, it is proved that a valuation ring R that satisfies this condition (C) is almost maximal. The converse holds if Spec(R) is countable....

It is proved that EJ is injective if E is an injective module over a valuation ring R, for each prime ideal J 6= Z. Moreover, if E or Z is flat, then EZ is injective too. It follows that localizations of injective modules over h-local Prüfer domains are injective too. If S is a multiplicative subset of a noetherian ring R, it is well known that SE is injective for each injective R-module E. The...

We give an elementary and direct proof of the following theorem: A real number is normal to a given integer base if, and only if, its expansion in that base is incompressible by lossless finite-state compressors (these are finite automata augmented with an output transition function such that the automata input-output behaviour is injective; they are also known as injective finite-state transdu...

It is well-known that a countably injective module is Σ-injective. In Proc. Amer. Math. Soc. 316, 10 (2008), 3461-3466, Beidar, Jain and Srivastava extended it and showed that an injective module M is Σ-injective if and only if each essential extension of M(א0) is a direct sum of injective modules. This paper extends and simplifies this result further and shows that an injective module M is Σ-i...

1.1. Injective resolutions. Let C be an abelian category. An object I ∈ C is injective if the functor Hom(−, I) is exact. An injective resolution of an object A ∈ C is an exact sequence 0→ A→ I → I → . . . where I• are injective. We say C has enough injectives if every object has an injective resolution. It is easy to see that this is equivalent to saying every object can be embedded in an inje...

It is no exaggeration to say that the theory of separably injective spaces is quite different from that of injective spaces. In this chapter we will explain why. Indeed, we will enter now in the main topic of the monograph, namely, separably injective spaces and their “universal” version. After giving the main definitions and taking a look at the first natural examples one encounters, we presen...

It is no exaggeration to say that the theory of separably injective spaces is quite different from that of injective spaces. In this chapter we will explain why. Indeed, we will enter now in the main topic of the monograph, namely, separably injective spaces and their “universal” version. After giving the main definitions and taking a look at the first natural examples one encounters, we presen...

In this paper, we introduce a natural classification of bar and joint frameworks that possess symmetry. This classification establishes the mathematical foundation for extending a variety of results in rigidity, as well as infinitesimal or static rigidity, to frameworks that are realized with certain symmetries and whose joints may or may not be embedded injectively in the space. In particular,...