Extension of scalars

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 o S between them. Intuitively, the new module admits multiplication by more scalars than the original one, hence the name "extension".

Definition

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 o S be a homomorphism between two rings, and let M be a module over R. Consider the tensor product M_S = 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), M_S 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".

Interpretation as a functor

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

Connection with restriction of scalars

Consider an R-module M and an S-module N. Given a homomorphism u in ext{Hom}_R(M,N), where N is viewed as an R-module via restriction of scalars, define Fu : M_S o N to be the composition:M_S = S otimes_R M xrightarrow{ ext{id}_S otimes u} S otimes_R N o N,where the last map is s otimes n mapsto sn. This Fu is an S-homomorphism, and hence F : ext{Hom}_R(M,N) o ext{Hom}_S(M_S,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 : ext{Hom}_S(M_S,N) o ext{Hom}_R(M,N), which is defined as follows. Let v in ext{Hom}_S(M_S,N). Then Gv is the composition:M o R otimes_R M xrightarrow{f otimes ext{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 ext{Hom}_S(M_S,N) and ext{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.


Wikimedia Foundation. 2010.

Игры ⚽ Нужна курсовая?

Look at other dictionaries:

  • Field extension — In abstract algebra, field extensions are the main object of study in field theory. The general idea is to start with a base field and construct in some manner a larger field which contains the base field and satisfies additional properties. For… …   Wikipedia

  • Restriction of scalars — In abstract algebra, restriction of scalars is a procedure of creating a module over a ring R from a module over another ring S, given a homomorphism f : R o S between them. Intuitively speaking, the resulting module remembers less information… …   Wikipedia

  • Degree of a field extension — In mathematics, more specifically field theory, the degree of a field extension is a rough measure of the size of the extension. The concept plays an important role in many parts of mathematics, including algebra and number theory indeed in any… …   Wikipedia

  • Algebra over a field — This article is about a particular kind of vector space. For other uses of the term algebra , see algebra (disambiguation). In mathematics, an algebra over a field is a vector space equipped with a bilinear vector product. That is to say, it is… …   Wikipedia

  • Complexification — In mathematics, the complexification of a real vector space V is a vector space VC over the complex number field obtained by formally extending scalar multiplication to include multiplication by complex numbers. Any basis for V over the real… …   Wikipedia

  • Linear complex structure — In mathematics, a complex structure on a real vector space V is an automorphism of V that squares to the minus identity, −I. Such a structure on V allows one to define multiplication by complex scalars in a canonical fashion so as to regard V as… …   Wikipedia

  • Tensor product of fields — In abstract algebra, the theory of fields lacks a direct product: the direct product of two fields, considered as a ring is never itself a field. On the other hand it is often required to join two fields K and L, either in cases where K and L are …   Wikipedia

  • List of mathematics articles (E) — NOTOC E E₇ E (mathematical constant) E function E₈ lattice E₈ manifold E∞ operad E7½ E8 investigation tool Earley parser Early stopping Earnshaw s theorem Earth mover s distance East Journal on Approximations Eastern Arabic numerals Easton s… …   Wikipedia

  • Hecke algebra — is the common name of several related types of associative rings in algebra and representation theory. The most familiar of these is the Hecke algebra of a Coxeter group , also known as Iwahori Hecke algebra, which is a one parameter deformation… …   Wikipedia

  • Covering groups of the alternating and symmetric groups — In the mathematical area of group theory, the covering groups of the alternating and symmetric groups are groups that are used to understand the projective representations of the alternating and symmetric groups. The covering groups were… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”