A fokozatos algebra olyan algebra , amely altereinek közvetlen összegére van felbontva oly módon, hogy a feltétel teljesül . [1] [2]
Legyen A egy k gyűrű feletti algebra , G egy félcsoport .
Az A algebrát G - fokozatúnak nevezzük (szinonimája: G - A minősítés adott ), ha A a G -ből származó összes g elemre kiterjedő k modulok közvetlen összegére bomlik fel , és az algebrában történő szorzás összhangban van a félcsoport szorzásával:
Ha egy nem nulla a elemhez tartozik , akkor azt g fokú homogénnek nevezzük .
Ha G-t egész számok additív csoportjaként vagy nem negatív egészek félcsoportjaként vesszük, az A algebrát egyszerűen osztályozottnak mondjuk.
Ha a gyűrűt A -nak vesszük a fenti definícióban , akkor megkapjuk a fokozatos gyűrű definícióját .
A megfelelő fogalom a modulelméletben egy fokozatos modul , nevezetesen egy bal oldali M modul egy A fokozatos gyűrű fölött úgy, hogy
ésA fokozatos modulmorfizmus egy olyan modulmorfizmus, amely megőrzi az osztályozást, azaz .
Egy osztályozott M modulnál a ℓ -twist a szabály által meghatározott osztályozott modulként definiálható . (Lásd a Serre-kéve csavarását az algebrai geometriában.)
Legyen M és N osztályozott modulok. Ha a modulok morfizmusa, akkor f -nek d foka van , ha . A differenciálgeometria differenciálformájának külső deriváltja az 1. fokú morfizmus példája.