## [Elemento Imaginario](/es/node/61026) Definición 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 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 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 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 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 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 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 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 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.