Ein Funktor, der einem über einer Unterstruktur definierten Objekt ein kanonisch induziertes Objekt über einer größeren Struktur zuordnet, häufig realisiert als linker Adjunkt zum Einschränkungs- oder Vergessensfunktor in Darstellungstheorie, Modultheorie und verwandten Kontexten.

Prinzip

Induktion wird durch eine Adjungation organisiert: Gegeben eine Inklusion oder einen Morphismus i:S→T ist Ind_i ein Funktor, der linksadjungiert zu Res_i ist, konstruiert durch eine universelle Eigenschaft, die S-Objekte frei zu T-Objekten erweitert und dabei die minimal notwendigen Relationen der größeren Struktur auferlegt.

Demonstration

Für Gruppenrepräsentationen, wenn H≤G und V eine H-Darstellung ist, besteht die induzierte Darstellung Ind_H^G V aus Funktionen G→V mit Äquivarianzbedingung oder äquivalent dem Tensorprodukt k[G]⊗_{k[H]}V; sie ist linksadjungiert zur Einschränkung einer G-Darstellung auf H und erfüllt die Frobenius-Resiprocity.

Fehlanwendung

Induktion ohne Prüfung von Endlichkeits-, Stetigkeits- oder Exaktheitsannahmen zu verwenden (z. B. Induktion unendlich-dimensionaler Module ohne Kontrolle topologischer Fragen) kann Objekte erzeugen, die erwartete Eigenschaften wie Admissibilität oder Exaktheit nicht besitzen.

Konsequenz

Ist Induktion verfügbar, liefert sie kanonische Erweiterungen, konstruiert freie oder kofreie Objekte mit vorgeschriebenem lokalem Verhalten und wirkt mit homologischen Werkzeugen und Reziprozitätsformeln zusammen, was den Transfer von Problemen von kleineren zu größeren Strukturen ermöglicht.

Umkehrung

Koinduktion oder Einschränkung sind die umgekehrten Prozesse: Einschränkung vergisst Struktur und Koinduktion liefert eine rechtsadjungierte Erweiterung; diese Umkehrungen unterscheiden sich in Exaktheit und Größenverhalten und sind im Allgemeinen nicht austauschbar.

Abgrenzung

Gilt, wenn ein sinnvoller Einschränkungsfunktor existiert (Inklusionen von Gruppen, Algebren, Basiswechselmorphismen); Induktion bewahrt möglicherweise nicht Endlichkeit, Exaktheit oder gewünschte topologische Eigenschaften und verlangt Hypothesen (endlicher Index, Projektivität, Flachheit) für starke Schlussfolgerungen.

Semantische Spannung

Die Spannung entsteht zwischen Induktion als formalem linken Adjunkten und konkreten Konstruktionen wie Erweiterung durch Null oder Tensoring; Praktiker verwechseln möglicherweise unterschiedliche 'Induktions'-Konstruktionen, die nur unter zusätzlichen Voraussetzungen übereinstimmen.

Synthese

Der Induktionsfunktor ist die kanonische linksadjungierte Erweiterung, die aus Objekten einer Unterstruktur frei Objekte über einem größeren Ambient erzeugt, durch eine universelle Eigenschaft charakterisiert und zentral für den Strukturtransfer und die Lösung von Erweiterungsproblemen in Algebra und Darstellungstheorie.