In algebra, a change of rings is an operation of changing a coefficient ring to another.
f:R\toS
f!M=M ⊗ RS
f*M=\operatorname{Hom}R(S,M)
f*N=NR
f!:ModR\leftrightarrowsModS:f*
f*:ModS\leftrightarrowsModR:f*.
Throughout this section, let
R
S
f:R\toS
Suppose that
M
S
R
R
where
m ⋅ f(r)
S
M
Restriction of scalars can be viewed as a functor from
S
R
S
u:M\toN
R
M
N
m\inM
r\inR
u(m ⋅ r)=u(m ⋅ f(r))=u(m) ⋅ f(r)=u(m) ⋅ r
As a functor, restriction of scalars is the right adjoint of the extension of scalars functor.
If
R
See also: Tensor product of modules. Extension of scalars changes R-modules into S-modules.
Let
f:R\toS
M
R
MS=M ⊗ RS
S
R
f
S
r ⋅ (s ⋅ s')=(r ⋅ s) ⋅ s'
r\inR
s,s'\inS
S
(R,S)
MS
S
(m ⊗ s) ⋅ s'=m ⊗ ss'
m\inM
s,s'\inS
M
Informally, extension of scalars is "the tensor product of a ring and a module"; more formally, it is a special case of a tensor product of a bimodule and a module – the tensor product of an R-module with an
(R,S)
One of the simplest examples is complexification, which is extension of scalars from the real numbers to the complex numbers. More generally, given any field extension K < L, one can extend scalars from K to L. In the language of fields, a module over a field is called a vector space, and thus extension of scalars converts a vector space over K to a vector space over L. This can also be done for division algebras, as is done in quaternionification (extension from the reals to the quaternions).
More generally, given a homomorphism from a field or commutative ring R to a ring S, the ring S can be thought of as an associative algebra over R, and thus when one extends scalars on an R-module, the resulting module can be thought of alternatively as an S-module, or as an R-module with an algebra representation of S (as an R-algebra). For example, the result of complexifying a real vector space (R = R, S = C) can be interpreted either as a complex vector space (S-module) or as a real vector space with a linear complex structure (algebra representation of S as an R-module).
This generalization is useful even for the study of fields – notably, many algebraic objects associated to a field are not themselves fields, but are instead rings, such as algebras over a field, as in representation theory. Just as one can extend scalars on vector spaces, one can also extend scalars on group algebras and also on modules over group algebras, i.e., group representations. Particularly useful is relating how irreducible representations change under extension of scalars – for example, the representation of the cyclic group of order 4, given by rotation of the plane by 90°, is an irreducible 2-dimensional real representation, but on extension of scalars to the complex numbers, it split into 2 complex representations of dimension 1. This corresponds to the fact that the characteristic polynomial of this operator,
x2+1,
Extension of scalars can be interpreted as a functor from
R
S
M
MS
R
u:M\toN
S
uS:MS\toNS
uS=u ⊗ RidS
Consider an
R
M
S
N
u\inHomR(M,NR)
Fu:MS\toN
MS=M ⊗ RS\xrightarrow{u ⊗ idS}NR ⊗ RS\toN
n ⊗ s\mapston ⋅ s
Fu
S
F:HomR(M,NR)\to
S,N) | |
Hom | |
S(M |
In case both
R
S
G:
S,N) | |
Hom | |
S(M |
\toHomR(M,NR)
v\in
S,N) | |
Hom | |
S(M |
Gv
M\toM ⊗ RR\xrightarrow{idM ⊗ f}M ⊗ RS\xrightarrow{v}N
m\mapstom ⊗ 1
This construction establishes a one to one correspondence between the sets
S,N) | |
Hom | |
S(M |
HomR(M,NR)
f