Некоммутативная фундаментальная группа

Суть доклада в следующем. На классе $C^*$-алгебр определена фундаментальная группа, которую мы будем обозначать $\pi_1(A)$. Класс $C^*$-алгебр, на которых определена нетривиальная фундаментальная группа, включает:
- Коммутативные $C^*$-алгебры,
- $C^*$-алгебры с непрерывным следом,
- Некоммутативный тор,
- Изоспектральные деформации,
- $C^*$-алгебры слоений,
- Квантовая группа SO(3).
Справедлив следующий результат.
Если $X$ — связное, локально линейно связное и полулокально односвязное локально компактное хаусдорфово пространство, удовлетворяющее второй аксиоме счётности, и фундаментальная группа $\pi_1(X, x_0)$ является финитно аппроксимируемой, то имеет место изоморфизм групп $\pi_1(X, x_0)\cong\pi_1(C_0(X))$, единственный с точностью до внутреннего автоморфизма.
Подробности изложены здесь.
http://www.mathframe.com/articles/noncommutative/noncommutative_geometry_of_quantized_coverings.pdf