View source for Linear Algebra over a Ring/Homomorphism and dual modules


{{proposition|multiple of module homomorphism by a ring element over a commutative ring is module homomorphism|Let <math>M, N</math> be 
modules over the commutative ring <math>R</math>. Let <math>\phi: M \to N</math> be a homomorphism of <math>R</math>-modules, and let <math>r \in R</math>. Then the function
:<math>rf: M \to N, (rf)(m) := rf(m)</math>
is an <math>R</math>-module morphism too.}}

{{proof|Let <math>s \in R</math> and <math>m, n \in M</math>. Then <math>(rf)(m+n) = (rf)(m) + (rf)(n)</math> and since <math>R</math> is commutative, also <math>(rf)(sm) = rsf(m) = s(rf)(m)</math>.}}

{{definition|homomorphism module|Let <math>R</math> be a commutative ring}}

{{definition|dual|Let <math>R</math> be a commutative ring, and let <math>M</math> be an <math>R</math>-module. Then <math>\operatorname{Hom}_R(M, R)</math> has a module structure given by addition and pointwise multipliction (since the category of modules over a ring is additive and the addition that is implied is compatible with pointwise multiplication, [[Linear Algebra over a Ring/Homomorphism and dual modules#multiple of module homomorphism by a ring element over a commutative ring is module homomorphism|under which <math>\operatorname{Hom}_R(M, R)</math> is closed]]), and this module, denoted more briefly by <math>M^*</math>, is called the '''dual''' of <math>M</math>.}}

{{proposition|the category of modules is abelian|Let <math>R</math> be a ring. Then the category <math>R-\textbf{Mod}</math> of left <math>R</math>-modules is abelian. Also, the category <math>\textbf{Mod}-R</math> of right <math>R</math>-modules is abelian.}}

{{proof|Existence of kernels and cokernels has been dealt with, and the same holds for existence of binary biproducts, since then product and sum coincide in this category. Also, the Noether isomorphism theorem holds. Then, the category is additive. Indeed, the summation on the homomorphism group indicated above is precisely the addition in the categorical sense.}}

{{BookCat}}