A lineáris algebra alterenkénti hányadostér olyan hányadostér, amelyet egy vektortérre az altere határoz meg egy hányadoshalmaz feletti térként az ekvivalenciarelációhoz képest . Megnevezés - .
Egy olyan leképezést , amely az ekvivalenciaosztály minden elemét társítja , amelyben találhatók, hányados leképezésnek nevezzük.
A faktorleképezés lehetővé teszi egy vektorstruktúra meghatározását a következő műveletek megadásával:
A faktorleképezés egy ilyen téren lineáris.
A faktorleképezés tulajdonságai:
Az altér hányadostér fogalma lehetővé teszi a következők meghatározását: