# Tag Info

The specific unitaries appearing in the OP are a representation of the relations defining the rotation algebra $A_\theta$ that is faithful when $\theta$ is irrational (for otherwise $V^q=I$ for some integer $q$). The more general definition of the rotation algebra $A_\theta$ is as the universal C*-algebra generated by two unitaries $u,v$ that satisfy to the ...