The functor that views an object defined over a larger base S as an object over a smaller base R via a base map f: R → S, usually realized by forgetting the extra S-linear structure and regarding the underlying module, algebra, or representation as R-linear through f.

Principle

Restriction of scalars is the forgetful/right-adjoint operation to extension or induction: it pulls algebraic structure back to the smaller base by precomposing the scalar action with the base map; it preserves limits and many finiteness properties but may not preserve colimits or freeness.

Demonstration

Given a field extension k ⊂ K, any K-vector space V can be considered as a k-vector space by restriction of scalars; a complex vector space of dimension n becomes a real vector space of dimension 2n when restricting from C to R.

Misapplication

Assuming restriction of scalars preserves properties like simplicity or freeness uniformly: a simple module over S need not be simple over R, and a free module over S may become non-free or increase rank ambiguously when viewed over R without checking the module structure.

Consequence

Restriction of scalars provides a conservative way to compare structures over different bases, underlies adjunctions used in descent and change-of-base arguments, and is exact as a forgetful functor on abelian categories, which makes it reliable for constructing limits and kernels.

Reversal

The natural converse construction is extension of scalars (or induction), which tries to produce an S-object from an R-object; restriction loses S-linear information that cannot in general be recovered without additional structure or universal constructions.

Boundary

Applies whenever there is a morphism of bases and an underlying algebraic object with S-action; it does not create new scalars or algebraic relations and cannot substitute for localization, completion, or derived constructions that alter torsion phenomena.

Semantic Tension

Tension arises between restriction of scalars as a mere forgetful functor and similar-looking operations that change coefficients more substantively (e.g., base change by tensoring); restriction preserves limits while extension preserves colimits, creating complementary but competing roles.

Synthesis

Restriction of scalars is the right-adjoint forgetful process that views S-objects as R-objects by precomposing the scalar action with the base map; it is a conservative, limit-preserving tool that loses S-linear refinements and must be paired with extension or induction to restore richer structure.