Quotient module

In algebra, a quotient module is a special way to make a new structure from an existing module and one of its smaller parts, called a submodule. This idea is similar to how we can make a new space from a bigger space and a smaller space inside it, known as a quotient vector space.

To make a quotient module, we start with a module A over a ring R and a submodule B inside A. We make a new space called A/B, where we group together elements of A that differ by an element of B. Two elements a and b in A are the same, or equivalent, if their difference b - a is in B. The resulting groups are called equivalence classes.

We can do addition and multiplication on these equivalence classes. The quotient module A/B acts like the original module A, but with the submodule B "collapsed" to a single point. The map that sends each element a in A to its equivalence class a + B is called the quotient map or projection map.

Examples

Imagine you have a set of math expressions called polynomials, like (X^2 + 3X + 2), where the numbers are real. These polynomials form a group we call a module.

Now, let’s look at a special group of these polynomials — those that can be divided by (X^2 + 1) without leaving any remainder. This group is called a submodule.

When we create a quotient module, we group these polynomials based on how they behave when divided by (X^2 + 1). Polynomials that give the same remainder after division are considered the same. In this quotient module, (X^2 + 1) behaves as if it were zero. The result is a new module that is like the complex numbers when viewed over the real numbers.