ist ein Multiplikationsoperator und rotiert eine Funktion um den Winkel .
Die von und erzeugte C*-Algebra heißt daher die irrationale Rotationsalgebra zum Winkel und wird mit bezeichnet.[D 1]
Leicht bestätigt man , in der Tat ist
.
Die irrationale Rotationsalgebra hat folgende universelle Eigenschaft, die sie bis auf Isomorphie charakterisiert: Ist eine C*-Algebra, die von zwei unitären Operatoren und erzeugt wird, die die Relation erfüllen, so gibt es genau einen *-Isomorphismus mit und .[D 2]
ist einfach, das heißt die Algebra enthält keine zweiseitigen *-Ideale außer und sich selbst.
Es gibt eine eindeutige Spur , das heißt, es gibt genau ein lineares Funktional mit für alle , für alle und , wobei das Einselement in sei.[D 3]
Die Gruppe der invertierbaren Elemente liegt dicht in .[1]
Hier wird eine alternative Konstruktion der irrationalen Rotationsalgebra auf dem Folgenraum mit der Orthonormalbasis vorgestellt. Man definiere die unitären Operatoren durch:
Dann bestätigt man leicht , woraus folgt. Wegen der oben erwähnten universellen Eigenschaft der irrationalen Rotationsalgebra erhält man daraus .
Nach einem Satz von Marc Rieffel[2]
gibt es zu jedem eine Projektion mit , wobei die eindeutige Spur auf sei.
Da eine unperforierte, skalierte, kommutative Gruppe mit der Rieszschen Zerlegungseigenschaft ist (für diese Begriffe siehe Geordnete abelsche Gruppe), gibt es nach dem Satz von Effros-Handelman-Shen bis auf Isomorphie genau eine AF-C*-Algebra, die diese Gruppe als K0-Gruppe hat, und es liegt nahe die C*-Algebra , die selbst keine AF-C*-Algebra ist, mit in Verbindung zu bringen.
Tatsächlich konnten M. Pimsner und D. Voiculescu eine Einbettung konstruieren[3]. Daraus folgt zunächst und dann[D 4]:
Zwei irrationale Rotationsalgebren und sind genau dann isomorph, wenn ist.
Die irrationale Rotationsalgebra ist der Prototyp des Kreuzproduktes eines C*-dynamischen Systems. Ist durch definiert und ist :\mathbb {Z} \rightarrow \mathrm {Aut} (C(\mathbb {T} )),\,n\mapsto \alpha ^{n}}
, so ist ein C*-dynamisches System und es ist .[D 5]