Простота квазилокальной алгебры системы канонических антикоммутационных соотношений с калибровочной группой

Рассматривается система канонических антикоммутационных соотношений (КАС), физические наблюдаемые которой выделяются условием калибровочной инвариантности относительно произвольной компактной калибровочной группы. Доказано, что $C^*$-алгебра квазилокальных наблюдаемых такой системы проста. В отличие от обычных методов исследования КАС, доказательство основано на свойствах локальных алгебр.