World Library  
Flag as Inappropriate
Email this Article

Extension of scalars

Article Id: WHEBN0013840475
Reproduction Date:

Title: Extension of scalars  
Author: World Heritage Encyclopedia
Language: English
Subject: Field extension, Tensor product, Complexification
Publisher: World Heritage Encyclopedia

Extension of scalars

In abstract algebra, extension of scalars is a means of producing a module over a ring S from a module over another ring R, given a homomorphism f : R \to S between them. Intuitively, the new module admits multiplication by more scalars than the original one, hence the name extension.


In this definition the rings are assumed to be associative, but not necessarily commutative, or to have an identity. Also, modules are assumed to be left modules. The modifications needed in the case of right modules are straightforward.

Let f : R \to S be a homomorphism between two rings, and let M be a module over R. Consider the tensor product _SM = S \otimes_R M, where S is regarded as a right R-module via f. Since S is also a left module over itself, and the two actions commute, that is s \cdot (s' \cdot r) = (s \cdot s') \cdot r for s,s' \in S, r \in R (in a more formal language, S is a (S,R)-bimodule), _SM inherits a left action of S. It is given by s \cdot (s' \otimes m) = ss' \otimes m for s,s' \in S and m \in M. This module is said to be obtained from M through extension of scalars.

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 (S,R) bimodule with an R-module is an S-module.


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, x^2+1, is irreducible of degree 2 over the reals, but factors into 2 factors of degree 1 over the complex numbers – it has no real eigenvalues, but 2 complex eigenvalues.

Interpretation as a functor

Extension of scalars can be interpreted as a functor from R-modules to S-modules. It sends M to _SM, as above, and an R-homomorphism u : M \to N to the S-homomorphism u_S : _SM \to _SN defined by u_S = \text{id}_S \otimes u.

Connection with restriction of scalars

Consider an R-module M and an S-module N. Given a homomorphism u \in \text{Hom}_R(M,N), where N is viewed as an R-module via restriction of scalars, define Fu : _SM \to N to be the composition

_SM = S \otimes_R M \xrightarrow{\text{id}_S \otimes u} S \otimes_R N \to N,

where the last map is s \otimes n \mapsto sn. This Fu is an S-homomorphism, and hence F : \text{Hom}_R(M,N) \to \text{Hom}_S(_SM,N) is well-defined, and is a homomorphism (of abelian groups).

In case both R and S have an identity, there is an inverse homomorphism G : \text{Hom}_S(_SM,N) \to \text{Hom}_R(M,N), which is defined as follows. Let v \in \text{Hom}_S(_SM,N). Then Gv is the composition

M \to R \otimes_R M \xrightarrow{f \otimes \text{id}_M} S \otimes_R M \xrightarrow{v} N,

where the first map is the canonical isomorphism m \mapsto 1 \otimes m.

This construction shows that the groups \text{Hom}_S(_SM,N) and \text{Hom}_R(M,N) are isomorphic. Actually, this isomorphism depends only on the homomorphism f, and so is functorial. In the language of category theory, the extension of scalars functor is left adjoint to the restriction of scalars functor.

See also


This article was sourced from Creative Commons Attribution-ShareAlike License; additional terms may apply. World Heritage Encyclopedia content is assembled from numerous content providers, Open Access Publishing, and in compliance with The Fair Access to Science and Technology Research Act (FASTR), Wikimedia Foundation, Inc., Public Library of Science, The Encyclopedia of Life, Open Book Publishers (OBP), PubMed, U.S. National Library of Medicine, National Center for Biotechnology Information, U.S. National Library of Medicine, National Institutes of Health (NIH), U.S. Department of Health & Human Services, and, which sources content from all federal, state, local, tribal, and territorial government publication portals (.gov, .mil, .edu). Funding for and content contributors is made possible from the U.S. Congress, E-Government Act of 2002.
Crowd sourced content that is contributed to World Heritage Encyclopedia is peer reviewed and edited by our editorial staff to ensure quality scholarly research articles.
By using this site, you agree to the Terms of Use and Privacy Policy. World Heritage Encyclopedia™ is a registered trademark of the World Public Library Association, a non-profit organization.

Copyright © World Library Foundation. All rights reserved. eBooks from Project Gutenberg are sponsored by the World Library Foundation,
a 501c(4) Member's Support Non-Profit Organization, and is NOT affiliated with any governmental agency or department.