suppose $pi:mathcal{a}rightarrow mathcal{b}$ is a surjective unital $ast$-homomorphism between c*-algebras $mathcal{a}$ and $mathcal{b}$, and $0leq aleq1$ with $ain  mathcal{a}$. we give a sufficient condition that ensures there is a proection $pin mathcal{a}$ such that $pi left( pright) =pi left( aright) $. an easy consequence is a result of [l. g. brown and g. k. pedersen, c*-algebras of real...

We prove that in the Solovay model every OD graph G on reals satisses one and only one of the following two conditions: (I) G admits an OD colouring by ordinals; (II) there exists a continuous homomorphism of G 0 into G; where G 0 is a certain F locally countable graph which is not ROD colourable by ordinals in the Solovay model. If the graph G is locally countable or acyclic then (II) can be s...

For every pair of nite connected graphs F and H, and every integer k, we construct a universal graph U with the following properties: 1. There is a homomorphism : U ! H, but no homomorphism from F to U . 2. For every graph G with maximal degree no more than k having a homomorphism h : G! H, but no homomorphism from F to G, there is a homomorphism : G! U , such that h = . Particularly, this solv...

The chromatic sum Σ(G) of a graph G is the smallest sum of colors among of proper coloring with the natural number. In this paper, we introduce a necessary condition for the existence of graph homomorphisms. Also, we present Σ(G) < χf (G)|G| for every graph G.

We consider the complexity of oriented homomorphism and two of its variants, namely strong oriented homomorphism and pushable homomorphism, for planar graphs with large girth. In each case, we consider the smallest target graph such that the corresponding homomorphism is NP-complete. These target graphs T4, T5, and T6 have 4, 5, and 6 vertices, respectively. For i ∈ {4, 5, 6} and for every g, w...

The canonical trace on the reduced C∗-algebra of a discrete group gives rise to a homomorphism from the K-theory of this C∗-algebra to the real numbers. This paper addresses the range of this homomorphism. For torsion free groups, the Baum-Connes conjecture and Atiyah’s L-index theorem implies that the range consists of the integers. If the group is not torsion free, Baum and Connes conjecture ...