Given a vector spaceπ΄ over a field π and a vector subspaceπ΅β€π΄,
the quotient spaceπ΄/π΅ is just π΄ with all the elements of π΅ collapsed to zero, linalg
More formally, using the congruence relation
π₯β‘π¦βΊπ₯βπ¦βπ΅
we have π΄/π΅=π΄/β‘ with πΌ[π]+π½[π]=[πΌπ+π½π].
Hence this is a special case of a quotient module.