Given graphs $G$, $H$ and $K$ and a homomorphism $$ G+K\to H+K $$ where $+$ denotes the join, does it follow that there also exists a graph homomorphism $G\to H$?
If this is known, I'd also appreciate a reference.
Cancelling a graph join from a graph homomorphism
Tobias Fritz
- 6.4k
- 2
- 27
- 52