Es donen condicions suficients per tal que la descomposició en producte gràfic d'un grup sigui única.. Un resultat clàssic sobre PC-groups diu que el PC-grup (el grup parcialment commutatiu) G(X) associat a un graf X, determina el graf X, és a dir: per a dos grafs X i Y, G(X) i G(Y) són grups isomorfs si i nomes si X i Y són grafs isomorfs. El present treball consisteix en buscar generalitzacions d'aquest resultat a PC-products. És fàcil veure que aquest mateix enunciat és fals en aquesta família més àmplia, però es tracta d'obtenir extensions d'aquest resultat, imposant condicions adequades als grups dels vèrtexs