2022-06-26

311: Left R-Module

<The previous article in this series | The table of contents of this series | The next article in this series>

A definition of left R-module

Topics


About: ring
About: module

The table of contents of this article


Starting Context



Target Context


  • The reader will have a definition of left R-module.

Orientation


There is a list of definitions discussed so far in this site.

There is a list of propositions discussed so far in this site.


Main Body


1: Definition


For any multiplicatively-commutative ring, R, any additively-abelian group, M, together with scalar left multiplication by R, R×MM, such that for any r1,r2R and m1,m2M, 1) (r1r2)m1=r1(r2m1); 2) 1m1=m1; 3) (r1+r2)m1=r1m1+r2m1 and r1(m1+m2)=r1m1+r1m2


2: Note


It is a generalization of vector space, allowing a ring in scalar multiplication than a field.


References


<The previous article in this series | The table of contents of this series | The next article in this series>