Exchange Maps
Let Ψ be a flag of an abstract n-polytope, and let −1 < i < n. From the definition of an abstract polytope, it can be proven that there is a unique flag differing from Ψ by a rank i element, and the same otherwise. If we call this flag Ψ(i), then this defines a collection of maps on the polytopes flags, say φi. These maps are called exchange maps, since they swap pairs of flags : (Ψφi)φi = Ψ always. Some other properties of the exchange maps :
- φi2 is the identity map
- The φi generate a group. (The action of this group on the flags of the polytope is an example of what is called the flag action of the group on the polytope)
- If |i − j| > 1, φiφj = φjφi
- If α is an automorphism of the polytope, then αφi = φiα
- If the polytope is regular, the group generated by the φi is isomorphic to the automorphism group, otherwise, it is strictly larger.
The exchange maps and the flag action in particular can be used to prove that any abstract polytope is a quotient of some regular polytope.
Read more about this topic: Abstract Polytope
Famous quotes containing the words exchange and/or maps:
“I cannot say what poetry is; I know that our sufferings and our concentrated joy, our states of plunging far and dark and turning to come back to the world—so that the moment of intense turning seems still and universal—all are here, in a music like the music of our time, like the hero and like the anonymous forgotten; and there is an exchange here in which our lives are met, and created.”
—Muriel Rukeyser (1913–1980)
“Living in cities is an art, and we need the vocabulary of art, of style, to describe the peculiar relationship between man and material that exists in the continual creative play of urban living. The city as we imagine it, then, soft city of illusion, myth, aspiration, and nightmare, is as real, maybe more real, than the hard city one can locate on maps in statistics, in monographs on urban sociology and demography and architecture.”
—Jonathan Raban (b. 1942)