Algebra factorială

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 .

Exemplu

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.

Definiții înrudite

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 .

Literatură