“…Thus, the C * algebras B, C(T 2 ) ⋊ Z 2 and C * (U l , V l , U r , V r )(⊆ B(H τ )) are all canonically isomorphic, and we shall identify them whenever there is no chance of confusion, and shall call this C * algebra the 'second order irrational rotation algebra', and denote it by A (2) θ . It is actually the 4-dimensional noncommutative torus in the sense of Rieffel and Schwarz [12], corresponding to the skew-symmetric 4 × 4 matrix A = ((a ij )), with a 12 = a 34 = θ, a 21 = a 43 = −θ, and all other entries are zero. Moreover, from the proof of the above Lemma, it is clear that the map η gives an algebraic isomorphism between A fin and the * -algebra generated by W i , i = 1, ..., 4.…”