A functor that assigns to an object defined over a substructure a canonical induced object over a larger structure, often realised as the left adjoint to restriction or forgetful functors in representation theory, module theory, and related contexts.

Principle

Induction is organized by an adjunction: given an inclusion or morphism i:S→T, induction Ind_i is a functor left adjoint to restriction Res_i, constructed by a universal property that freely extends S-objects to T-objects while imposing minimal relations required by the larger structure.

Demonstration

For group representations, if H≤G and V is a representation of H, the induced representation Ind_H^G V consists of functions G→V satisfying equivariance or equivalently the tensor product k[G]⊗_{k[H]}V; it is left adjoint to restricting a G-representation to H and satisfies Frobenius reciprocity.

Misapplication

Using induction without checking finiteness, continuity, or exactness hypotheses (e.g., inducing infinite-dimensional modules without controlling topological issues) can produce objects that fail expected properties such as admissibility or exactness.

Consequence

When induction is available, it provides canonical extensions, constructs free or cofree objects with prescribed local behavior, and interacts with homological tools and reciprocity formulas, enabling transfer of problems from smaller to larger structures.

Reversal

Coinduction or restriction are the reversed processes: restriction forgets structure and coinduction gives a right adjoint extension; these reversals differ in exactness and size behaviour and are not interchangeable in general.

Boundary

Applies where a meaningful restriction functor exists (inclusions of groups, algebras, base-change morphisms); induction may fail to preserve finiteness, exactness or desired topological properties and requires hypotheses (finite index, projectivity, flatness) for strong conclusions.

Semantic Tension

Tension arises between induction as a formal left adjoint and concrete constructions like extension by zero or tensoring; practitioners may conflate different 'induction' constructions that coincide only under further hypotheses.

Synthesis

The induction functor is the canonical left-adjoint extension that freely produces objects over a larger ambient from objects over a substructure, characterized by a universal property and central to transferring structures and solving extension problems in algebra and representation theory.