Proof of a conjecture on connectivity of Kronecker product of graphs

For a graph G, κ(G) denotes its connectivity. The Kronecker product G₁×G₂ of graphs G₁ and G₂ is the graph with the vertex set V(G₁)×V(G₂), two vertices (u₁,v₁) and (u₂,v₂) being adjacent in G₁×G₂ if and only if u₁u₂∈E(G₁) and v₁v₂∈E(G₂). Guji and Vumar R. Guji, E. Vumar, A note on the connectivity of Kronecker products of graphs, Appl. Math. Lett. 22 (2009) 1360–1363] conjectured that for any nontrivial graph G, κ(G×K_n)=min{nκ(G),(n−1)δ(G)} when n≥3. In this note, we confirm this conjecture to be true.