Чеботарев "Введение в теорию алгебр"
Дрозд, Кириченко. "Конечномерные алгебры"
Если в конечномерной ассоциативной алгебре нет нильпотентных идеалов (полупростая алгебра), то она разлагается в произведение алгебр вида

, где

--- алгебра с делением.
Если есть нильпотентные идеалы, то есть максимальный нильпотентный идеал, он называется радикалом, фактор по нему будет полупростой алгеброй, причем в характеристике 0 алгебра как линейное пространство есть сумма радикала и полупростой подалгебры, изоморфной этому фактору.