Eine universelle Konstruktion, die ein Objekt über einem größeren ambienten Kontext aus einem im Unterkontext definierten Objekt erzeugt, charakterisiert als linksadjungiert zur Restriktion (z. B. Induktion von Modulen oder Darstellungen durch Tensorisierung mit einer induzierten Algebra) und liefert das „freieste“ Objekt unter den vorgegebenen Kompatibilitätsbedingungen.

Prinzip

Induktion wird durch eine Adjunktion gesteuert: Sie ist die linksadjungierte Operation zum Restriktions-/Forgetful-Funktor und damit eine freie bzw. links-Kan-Erweiterung mit universeller Eigenschaft; algebraisch hat sie oft die Form S ⊗_R − oder k[G] ⊗_{k[H]} − in der Darstellungstheorie, sie erhält Kolimiten, aber nicht notwendigerweise Limiten oder Exaktheit ohne zusätzliche Voraussetzungen.

Demonstration

Für eine Untergruppe H ⊂ G und eine Darstellung V von H über einem Körper k ist die induzierte Darstellung Ind_H^G V = k[G] ⊗_{k[H]} V eine G-Darstellung, deren Restriktion an H V als kanonisches Bild enthält; bei R → S kann Induktion von R-Modulen als S ⊗_R M realisiert werden, wenn es passend ist.

Fehlanwendung

Induktion fälschlich mit naiver Erweiterung oder Koinduktion gleichzusetzen ist irreführend: induzierte Objekte können wesentlich größer sein, Redundanzen einführen und ohne Prüfung von Endlichkeit oder Flachheit Eigenschaften wie endlich erzeugt oder exaktheit verlieren, was zu falschen Schlüssen führt.

Konsequenz

Richtig angewandt konstruiert Induktion kanonische „freie“ Erweiterungen von Strukturen, verknüpft Darstellungen zwischen Untergruppen und Gruppen und liefert Adjunktionen, die explizite Berechnungen und homologische Argumente erleichtern; sie ist zentral für induzierte Module, induzierte Algebren und linksabgeleitete Funktoren.

Umkehrung

Das duale Konzept ist Koinduktion (rechtsadjungiert zur Restriktion) und einfacher die Gegenperspektive ist die Skalareinschränkung; Induktion vergrößert die Struktur frei, Koinduktion hingegen erzeugt limitartige Erweiterungen und unterscheidet sich oft in Größe und Exaktheitsverhalten.

Abgrenzung

Gilt in Kontexten, die einen Restriktionsfunktor zulassen (Inklusionen von Ringen, Untergruppen, Morphismen von Operaden); sie kommutiert nicht automatisch mit Limiten und ersetzt nicht Vollendungen oder Lokalisierungen, und bei unendlichen Indizes oder nicht flachen Erweiterungen treten Komplikationen auf.

Semantische Spannung

Spannung besteht zwischen Induktion und Koinduktion: beide adjungierten Konstruktionen verschieben Objekte zwischen Kontexten, unterscheiden sich jedoch in Richtung (Kolimit- vs. Limitverhalten), Größe und Exaktheit; in der Darstellungstheorie stimmen induzierte und koinduzierte Darstellungen in endlichen Fällen überein, divergieren jedoch allgemein.

Synthese

Induktion ist die linksadjungierte, freieste Konstruktion, die ein Objekt von einem kleineren Kontext in einen größeren hebt mittels Tensorisierung oder links-Kan-Erweiterung; sie ist über eine universelle Eigenschaft charakterisiert, erhält Kolimiten und erfordert Vorsicht bezüglich Endlichkeit, Flachheit und Indexfragen.