Якщо — однорідний ідеал алгебри , то на алгебрі успадковується структура градуйованої алгебри Нехай — алгебра шляхів сагайдака та фроберіусовою формою , Фробеніусова форма називається -формою, якщо існує -бімодуль такий, що Якщо — самоін'єктивна алгебра шляхів сагайдака, — -форма на — відповідний автоморфізм Накаями, — фробеніусовий кодобуток, тоді причому де — ін'єктивна оболонка бімодулю