This site is being phased out.

Quotient vector space