Algebra factorială este un concept în algebra generală definit după cum urmează.
Fie o algebră peste un câmp și un ideal cu două fețe în algebră . Considerând o algebră ca un inel , definim un inel coeficient , care poate fi transformat într-o algebră dacă definim înmulțirea prin elemente de câmp în el după următoarea regulă:
.
Algebra construită în acest fel se numește algebra coeficientului algebrei ideale .
Un exemplu important de algebră factorială (în algebra serii de puteri formale în mai multe variabile) este legat de definirea multiplicității punctului critic al unei funcții netede.
Un homomorfism canonic pentru o algebră asociată cu un ideal dat pentru care este definită o algebră coeficientă este un homomorfism cu un nucleu definit prin formula .