El valor de Shapley para decidir la formación efectiva de coaliciones 43

Gs G

qT

GST " GTS

f

Aplicando el lema anterior pero tomando G = GTS se ve que existe un único

homomorfismo exhaustivo, /i, de Gs en GTS- Aplicando de nuevo el lema al
triángulo formado por GS, GTS y GSTse prueba la existencia de un homomorfismo
exhaustivo / de GST a GTS- La inyectividad es clara si se tiene en cuenta que
\Nsr\ = \NTS\.

Los apartados (b) y (c) se demuestran de forma análoga. D

La proposición anterior afirma que realizar dos cocientes elementales consecutivos

en un juego G es independiente, salvo isomorfismes, del orden en que se realicen.
Una consecuencia inmediata es la que se expone ahora:

Corolario 2.4 El resultado de una serie de cocientes elementales sucesivos,

Gs1s2...sm) no depende del orden de formación; si Spr\Sq ^ 0, estas dos coaliciones
pueden reemplazarse por Sp U Sg. Ademas, existe un isomortismo

G{Sl,S2,...,sm} — Gs1s2...sm

que es natural en el sentido de que es compatible con las dos proyecciones desde
G. Por tanto, cualquier cociente simultáneo puede obtenerse como una serie de
cocientes elementales sucesivos.

DEMOSTRACIÓN: Basta usar la proposición anterior y recurrència sobre m. D