Le tore non commutatif associé au nombre irrationnel est la C*-algèbre universelle engendrée par deux unitaires et qui vérifient :
C'est un exemple fondamental de géométrie non commutative.
Référence
(en) J. C. Varilly, An Introduction to Noncommutative Geometry, EMS,