Квазидиагонализуемость косых проекторов как частный случай некоммутативной спектральной теоремы

Некоммутативной спектральной теоремой мы называем утверждение о возможности привести полупростую матричную алгебру, удовлетворяющую полиномиальному тождеству, к блочно-диагональному виду, где максимальный порядок диагонального блока определяется свойствами тождества. Если этот максимальный порядок равен $2$, то алгебра называется квазидиагонализуемой. Показано, что результат о канонической форме проекторов, полученный Джоковичем, эквивалентен факту квазидиагонализуемости соответствующей матричной алгебры и может быть выведен как следствие некоммутативной спектральной теоремы.