= Solution
If $\Gamma=\Gamma_1\sqcup\Gamma_2$ is a nontrivial <disjoint union of graphs>, no defining relation mixes the two vertex sets, and hence
$$
A_\Gamma\cong A_{\Gamma_1}*A_{\Gamma_2}.
$$
On the topological side, every clique lies in one component, so
$$
S_\Gamma=S_{\Gamma_1}\vee S_{\Gamma_2},
$$
a one-point union of <Salvetti complexes>.
If $\Gamma=\Gamma_1*\Gamma_2$ is a nontrivial <join of graphs>, every generator from the first part commutes with every generator from the second. Therefore
$$
A_\Gamma\cong A_{\Gamma_1}\times A_{\Gamma_2}.
$$
Every clique of the join is the union of a clique in each factor, which gives the cubical identity
$$
S_\Gamma\cong S_{\Gamma_1}\times S_{\Gamma_2}.
$$
Back to article page
