О полугруппе Кунца

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