Un elemento imaginario es una clase de equivalencia de tuplas bajo una relación de equivalencia definible, tratada como un nuevo elemento en la expansión imaginaria M^eq de una estructura; los imaginarios permiten manejar cocientes por relaciones definibles como tipos reales.

Principio

Internalizar objetos cociente definibles añadiendo nombres para las clases de equivalencia, de modo que la definibilidad, los parámetros y la acción de automorfismos puedan discutirse de forma uniforme dentro de una estructura ampliada.

Demostración

Si E(x,y) es una relación de equivalencia definible en M^n, entonces cada clase [a]_E es un imaginario; por ejemplo, las clases (cosets) de un subgrupo definible o el conjunto de ceros de un polinomio modulo permutación pueden representarse como imaginarios en M^eq.

Aplicación incorrecta

Tratar como imaginarios cocientes o clases de equivalencia no definibles, o confundir la noción modelo‑teórica con otros usos de la palabra 'imaginario' (p. ej. imaginarios en análisis complejo).

Consecuencia

Agregar imaginarios suele simplificar enunciados sobre clasificación y definibilidad (p. ej. convierte parámetros canónicos en elementos reales), permite el estudio de la eliminación de imaginarios y aclara cálculos de órbitas/estabilizadores bajo automorfismos.

Inversión

La inversión es permanecer en la estructura original sin añadir sortes: en lugar de tratar clases como elementos se trabaja con representantes y fórmulas sobre tuplas, lo que puede complicar afirmaciones sobre definibilidad e invariancia.

Límite

Los imaginarios solo se asocian a relaciones de equivalencia definibles (posiblemente con parámetros) y requieren el paso a M^eq o a expansiones análogas; las relaciones arbitrarias no definibles quedan excluidas.

Tensión semántica

Existe tensión entre mantener el universo 'concreto' (solo sorts originales) y enriquecerlo con imaginarios: los imaginarios simplifican la lógica a costa de ampliar la firma y cambiar qué se considera un 'elemento'.

Síntesis

Un imaginario es un recurso formal que convierte una clase de equivalencia definible en un elemento efectivo de una estructura ampliada, permitiendo un tratamiento uniforme de cocientes, parámetros e invariancia en el análisis modelo‑teórico.