A realization of a graph G is pair (G,p) where p maps the vertices into Euclidean space Rd. The injective if and quasi-injective for each edge G, endpoints to different points in space. globally rigid any (G,q) Rd with same lengths congruent (G,p). In this paper we characterize graphs that have an (quasi-injective, respectively) non-globally R1, show problem recognizing these NP-complete both c...

A ring R is called right א0-injective if every right homomorphism from a countably generated right ideal of R to RR can be extended to a homomorphism from RR to RR. In this note, some characterizations of א0-injective rings are given. It is proved that if R is semiperfect, then R is right א0injective if and only if every homomorphism from a countably generated small right ideal of R to RR can b...

Nakayama (Ann. of Math. 42, 1941) showed that over an artinian serial ring every module is a direct sum of uniserial modules. Hence artinian serial rings have the property that each right (left) ideal is a finite direct sum of quasi-injective right (left) ideals. A ring with the property that each right (left) ideal is a finite direct sum of quasi-injective right (left) ideals will be called a ...

We present a satisfiability-preserving embedding of coalition logic into a normal modal logic. An advantage of standard, normal, modal logics is a well understood theoretical foundation and the availability of tools for automated verification and reasoning. The target logic is multi-modal K with intersection of modalities, interpreted over standard Kripke models corresponding to game structures...

Injective one-way trapdoor functions are one of the most fundamental cryptographic primitives. In this work we give a novel construction of injective trapdoor functions based on oblivious transfer for long strings. Our main result is to show that any 2-message statistically sender-private semihonest oblivious transfer (OT) for strings longer than the sender randomness implies the existence of i...

Sierpinski space Ω is injective in the category Top of topological spaces, but not in any of the larger cartesian closed categories Conv of convergence spaces and Equ of equilogical spaces. We show that this negative result extends to all sub-cccs of Equ and Conv that are closed under subspaces and contain Top. On the other hand, we study the category PrTop of pretopological spaces that lies in...

Reiner and Webb (preprint, 2002) compute the Sn-module structure for the complex of injective words. This paper refines their formula by providing a Hodge type decomposition. Along the way, this paper proves that the simplicial boundary map interacts in a nice fashion with the Eulerian idempotents. The Laplacian acting on the top chain group in the complex of injective words is also shown to eq...