We Quotient an algebraic structure to generate equivalence classes? Till now I visualized Quotient groups as a technique to generate equivalence classes whenever needed, as in $\mathbb{Z}/n\mathbb{Z}$. But now I have a feeling of doubt since I haven't seen a book that introduces the concept of Quotient groups or rings as a technique to generate equivalence classes. Is my visualization correct? What are the other purposes of finding Quotient of an algebraic structure?
 A: Sure, thinking that quotient structures "generate equivalence classes" is an "okay" perspective. Frankly, it is not the only and not necessarily the most important one. Here is a different one:
Quotient structures (quotient groups, quotient rings, etc.) are examples of coequalizers. Though this fact is usually (I think?) referred to as the "Fundamental theorem on homomorphisms" (due to historical reasons I dare say).
You probably know this theorem (for different kinds of algebraic structures) already. But perhaps you have not realized yet: This theorem basically states exactly what a quotient structure is, up to a canonical isomorphism. This is basically as good as saying "uniquely". 
You can say that a quotient group for a congruence relation $\sim$ on (let's say) a group $G$ is a group $\tilde{G}$, such that there is an (epi-)morphism $\varphi : G \to \tilde{G}$, such that $x\sim y \Rightarrow \varphi(x) = \varphi(y)$, such that for all groups $H$ and morphisms $f : G\to H$ with $x\sim y \Rightarrow f(x)=f(y)$, there is a unique morphism $h : \tilde{G} \to H$ such that $h\circ \varphi = f$.
Note that if $N$ is a normal subgroup of $G$ we would get $\sim$ explicitely by $x\sim y \Leftrightarrow xN = yN$. Conversily said $N$ is actually $\ker \varphi$.
For every other group $\tilde{G}_2$ with a morphism $\varphi_2 : G\to \tilde{G}_2$ with the same property as $\varphi$ there is a unique isomorphism $i : \tilde{G} \to \tilde{G}_2$ such that $i \circ \varphi = \varphi_2$.
The only reason why hardly anyone takes this as the definition of a quotient group is because a more explicit description via equivalence classes is already well-known and established.
A: We use quotients to introduce relations that might not have been present in the original structure. This has the effect of removing some elements. Here are some examples:


*

*$G/[G,G]$ introduces commutativity in a group.

*$K[X]/(f(x))$ introduces a zero of $f$.

*$R/N$ removes the nilpotents elements in a ring ($N$ is the nilradical).
