## Quotient Modules

**Point of Post: **In this post we construct quotient modules and discuss some of the important theorems.

*Motivation*

As always, when discussing a new algebraic object we always wish to discuss the quotient objects of the objects. So, of course, in this post we define the notion of quotient modules. Not only should the basic idea of what and how the quotient module should look be clear (since, in a universal algebra sort of sense, all quotient objects are the same) but this is really just a generalization of the idea of a quotient space for vector spaces. Namely, we shall just take the quotient group and multiply scalars representative-wise. As in all algebraic theories we shall occupy a central role in our study, they are convenient tools which encompass the set of possibilities of homomorphic images of -modules (i.e. the first isomorphism theorem).

*Quotient Module*

Let be a ring and a left -module. For consider the quotient group (written additively as usual). We claim that is a left -module with the obvious multiplication . Indeed, we prove this:

**Theorem: ***Let be a ring and a left -module with . Then, the quotient group is a left -module with -multiplication defined by . If is unital then so is . Moreover, the natural projection is an epimorphism.*

**Proof: **It suffices to show that , , , and (in the case that is unital). These are pretty easy to show:

and if is unital then

The fact that is an epimorphism is obvious from definition.

*Remark: *Note that we skirted over one small fact in the above proof, that the definition of -multiplication is well-defined. But, this is clear for if then and so by assumption that this allows us to conclude that and so .

As an initial application we can finally finish our proof about the equivalence of epimorphisms and surjective morphisms:

**Theorem: ***Let be left -modules. Then, a -morphism is an epimorphism if and only if its surjective.*

**Proof: **Suppose first that is an epimorphism and let . Since we have that we have the quotient module . Consider then that we have that natural maps . Note though that by definition and since is an epimorphism we may conclude that . But, this implies that and so . Surjectivity follows.

The converse follows since any surjection allows right cancellation of any map, and so -morphisms.

To keep things in perspective we note that if we think back to the two most basic examples of modules, that quotients there are what we expect them to be. Firstly, we recall that -modules are nothing more than abelian groups and submodules nothing more than subgroups, and it’s not hard to see that quotient -modules are nothing more than quotient groups. Secondly, if we recall that we can canonically view every ring as being a left -module over itself with the submodules being precisely the ideals, in which case it’s not hard to see that the quotient modules are nothing more than the quotient rings. Some less familiar examples may come from the obvious fact that is a submodule of with quotient isomorphic to . Or, given a commutative unital ring we can look at the polynomial ring as a left -module and note that is a submodule of from where we can form the quotient which shall prove to have some interesting applications. In particular, from what we already know about vector spaces it’s not hard to see (we shall prove this in more detail at a later date) that if is a field then .

Anyways, knowing what we do about rings it’s not shocking that there is a universal characterization of quotient rings (i.e. a set of mapping properties of quotient rings which characterizes them amongst the set of all left -modules. Indeed:

**Theorem: ** *Let be a ring and a left -module with a submodule . Then, for any -morphism (where is some -morphism) with then there exists a unique morphism making the following diagram commute*

*Conversely, if is any other left -module with some epimorphism satisfying this property (with in place of ) then (up to unique isomorphism).*

**Proof: **This first part follows immediately from our discussion of triangle completions. Conversely, taking allows us to conclude from ‘s mapping properties that there is a mapping satisfying . Similarly, taking allows us to conclude by ‘s mapping properties that there exists some map satisfying . From these two equations we know that . And, since is an epimorphism we know that is right cancellable and so . Similarly, we know that and since is an epi this tells us that . Thus, and so the conclusion follows.

**References:**

[1] Dummit, David Steven., and Richard M. Foote. *Abstract Algebra*. Hoboken, NJ: Wiley, 2004. Print.

[2] Rotman, Joseph J. *Advanced Modern Algebra*. Providence, RI: American Mathematical Society, 2010. Print.

[3] Blyth, T. S. *Module Theory.* Clarendon, 1990. Print.

[…] amounts to the statement that for left -modules one has that as left -modules. Indeed, by the universal characterization of quotient modules it will suffice for us to prove that has the same universal mapping property as . In other words, […]

Pingback by The Module Isomorphism Theorems « Abstract Nonsense | November 11, 2011 |

[…] a left -module and is an ideal of . We define . Note that it is obvious that . Of course then the quotient can be given the structure of an -module. But, what we want to show is that can be given the […]

Pingback by Rank and the IBN Property (Pt. II) « Abstract Nonsense | November 17, 2011 |

[…] For modules there is a simple description of . Indeed, we know that in this case is just the honest to God image of sitting inside and that is the similarly honest literal kernel, also sitting inside . We also know then (since is a chain complex) that and that the map is just the inclusion. We see then that the cokernel is nothing more than the quotient module . […]

Pingback by Exact Sequences and Homology (Pt. III) « Abstract Nonsense | April 10, 2012 |