Un argumento que emplea sumas directas infinitas o la estabilización por copias contables para forzar fenómenos de cancelación en categorías algebraicas o topológicas, produciendo isomorfismos o trivialidad de clases que no se cancelan a nivel finito.

Principio

Si un objeto A es sumando directo de una suma directa infinita X = B ⊕ B ⊕ ... con una equivalencia de reindexación adecuada, entonces añadir o quitar copias contables puede producir un isomorfismo que cancela A; la idea organizadora es la estabilización mediante coproductos infinitos para transformar situaciones no cancelables en cancelables.

Demostración

En la K-teoría algebraica de anillos con módulos libres contables se muestra que un módulo proyectivo finitamente generado P cumple P ⊕ R^∞ ≅ R^∞, de modo que la clase de P se anula en el grupo de Grothendieck estabilizado; de forma análoga, en la categoría estable de homotopía se logran equivalencias tras formar wedges contables de espectros.

Aplicación incorrecta

Aplicar la artimaña allí donde no existen coproductos infinitos, no son compatibles homotópicamente o la reindexación falla (por ejemplo en categorías sin sumas contables, en marcos estrictamente finitos o cuando la topología impide convergencia) conduce a conclusiones inválidas.

Consecuencia

Su uso correcto produce resultados de anulación para invariantes estabilizados, simplifica la clasificación reduciendo problemas a categorías estabilizadas y puede mostrar que ciertas obstrucciones desaparecen tras la estabilización.

Inversión

La cancelación finita es el punto de vista inverso: preguntar si A ⊕ B ≅ A ⊕ C implica B ≅ C sin pasar por sumas infinitas; la inversión subraya la distinción entre cancelación a nivel finito y la cancelación disponible solo tras estabilización infinita.

Límite

Requiere la existencia y la exactitud homotópica de coproductos contables o wedges y la posibilidad de reindexar o escindir sumas infinitas; no se aplica en categorías puramente finitas, en muchos contextos de espacios vectoriales topológicos con problemas de convergencia, o donde la suma infinita no es isomorfa a una copia desplazada adecuada.

Tensión semántica

Existe tensión con teoremas de cancelación finita y con la noción 'estable = inestable': la artimaña produce trivialidad estable que puede ocultar estructura no trivial a nivel finito, por lo que hay que distinguir entre trivialidad estable y trivialidad efectiva.

Síntesis

El Eilenberg swindle es una técnica de estabilización: al insertar un objeto en un contexto controlado de sumas directas infinitas y usar reindexación o escisión, se convierten cancelaciones bloqueadas en el nivel finito en cancelaciones efectivas en la categoría estabilizada, provocando la desaparición o simplificación de invariantes estables dentro de las limitaciones impuestas por la ausencia de sumas infinitas.