For n = 3 this quotient may be described as a solid torus with cross-section an equilateral triangle, with a twist; equivalently, as a triangular prism whose top and bottom faces are connected with a 1/3 twist (120°): the 3-dimensional interior corresponds to the points on the 3-torus where all 3 coordinates are distinct, the 2-dimensional face corresponds to points with 2 coordinates equal and the 3rd different, while the 1-dimensional edge corresponds to points with all 3 coordinates identical. These orbifolds have found significant applications to music theory in the work of Dmitri Tymoczko and collaborators (Felipe Posada, Michael Kolinas, et al. ), being used to model musical triads. Flat torus
A flat torus is a torus with the metric inherited from its representation as the quotient, R2/L, where L is a discrete subgroup of R2 isomorphic to Z2. This gives the quotient the structure of a Riemannian manifold. Perhaps the simplest example of this is when L = Z2: R2/Z2, which can also be described as the Cartesian plane under the identifications (x, y) ~ (x + 1, y) ~ (x, y + 1). This particular flat torus (and any uniformly scaled version of it) is known as the "square" flat torus. This metric of the square flat torus can also be realised by specific embeddings of the familiar 2-torus into Euclidean 4-space or higher dimensions. Its surface has zero Gaussian curvature everywhere. Its surface is flat in the same sense that the surface of a cylinder is flat.
{\displaystyle \operatorname {MCG} _{\operatorname {Ho} }(\mathbf {T} ^{n})=\operatorname {Aut} (\pi _{1}(X))=\operatorname {Aut} (\mathbf {Z} ^{n})=\operatorname {GL} (n,\mathbf {Z} ).} Since the torus is an Eilenberg–MacLane space K(G, 1), its homotopy equivalences, up to homotopy, can be identified with automorphisms of the fundamental group); all homotopy equivalences of the torus can be realized by homeomorphisms – every homotopy equivalence is homotopic to a homeomorphism.