Ein imaginäres Element ist eine Äquivalenzklasse von Tupeln unter einer definierbaren Äquivalenzrelation, die als neues Element in der imaginären Erweiterung M^eq einer Struktur behandelt wird; Imaginäre erlauben es, Quotienten durch definierbare Relationen als echte Sorten zu handhaben.

Prinzip

Definierbare Quotientenobjekte internalisieren, indem für Äquivalenzklassen Namen angefügt werden, sodass Definierbarkeit, Parameter und Automorphismenwirkungsfragen einheitlich in einer erweiterten Struktur formuliert werden können.

Demonstration

Ist E(x,y) eine definierbare Äquivalenzrelation auf M^n, so ist jede Klasse [a]_E ein Imaginäres; etwa sind Nebenklassen eines definierbaren Untergruppes oder die Menge der Nullstellen eines Polynoms modulo Permutation als Imaginäre in M^eq darstellbar.

Fehlanwendung

Beliebige mengentheoretische Quotienten oder Äquivalenzklassen, die nicht definierbar sind, als Imaginäre zu behandeln oder den modelltheoretischen Begriff mit anderen Bedeutungen von »imaginär« (z. B. in der komplexen Analysis) zu verwechseln.

Konsequenz

Das Hinzufügen von Imaginären vereinfacht oft Klassifikations‑ und Definierbarkeitsaussagen (z. B. macht es kanonische Parameter zu tatsächlichen Elementen), ermöglicht die Analyse der Eliminierung von Imaginären und klärt Bahn/Stabilisator‑Berechnungen unter Automorphismen.

Umkehrung

Die Umkehr besteht darin, in der Ursprungsstruktur ohne zusätzliche Sorten zu bleiben: anstatt Klassen als Elemente zu behandeln, arbeitet man mit Repräsentanten und Formeln über Tupel, was Aussagen über Definierbarkeit und Invarianz verkomplizieren kann.

Abgrenzung

Imaginäre sind nur an definierbare Äquivalenzrelationen (ggf. mit Parametern) gebunden und erfordern den Übergang zu M^eq oder ähnlichen Erweiterungen; beliebige nicht definierbare Relationen sind ausgeschlossen.

Semantische Spannung

Spannung zwischen dem Wunsch, das Universum »konkret« zu halten (nur Ursprungssorten) und der Erweiterung durch Imaginäre: Imaginäre vereinfachen die Logik zulasten der Vergrößerung der Signatur und der Änderung dessen, was als »Element« gilt.

Synthese

Ein imaginäres Element ist ein formales Hilfsmittel, das eine definierbare Äquivalenzklasse zu einem echten Element einer erweiterten Struktur macht und so einen einheitlichen Umgang mit Quotienten, Parametern und Invarianz in der modelltheoretischen Analyse ermöglicht.