![](/files/happy5.png)
The chromatic class of the cartesian product of graphs (Solved)
Conjecture Does there exist graphs
and
from Class 1 such that there Cartesian product is from Class 2?
![$ G $](/files/tex/b8e7ad0330f925492bf468b5c379baec88cf1b3d.png)
![$ H $](/files/tex/76c7b422c8e228780f70a4f31614cfcf3f831c65.png)
It is known that there are graphs and
which are from Class 2 and their product is from Class 1. Our problem asks the symmetric question. Let us also note that from the classical result of A. Kotzig we imply that there are no regular graphs
and
satisfying the conjecture.
a more interesting result
On December 3rd, 2007 mdevos says:
a quick google search turned up the following theorem of Mahmoodian:
Theorem If
are graphs and
is class 1, then
is class 1.
![$ G, H $](/files/tex/63576437c6787b551808c7e14ee8c4e0613cd14e.png)
![$ G $](/files/tex/b8e7ad0330f925492bf468b5c379baec88cf1b3d.png)
![$ G \Box H $](/files/tex/66f18de49aede3e7d65f648eb8bca1034c498fc6.png)
the proof is not difficult and can be found here.
trivially false
If
and
are class 1, then
is also class 1. Just choose a
-edge coloring of
and a
-edge coloring of
, and then assign each edge of
the color of the edge it projects to in the appropriate projection map. This gives a proper
edge coloring of
, and
.