From Polytope Wiki
Jump to navigation Jump to search

In mathematics, two objects are said to be isomorphic when one is just a "relabeling" of the other. Formally, an isomorphism is defined as a bijective homomorphism, and two objects are isomorphic when there exists an isomorphism between them. Most relevant to polytopes are isomorphisms between abstract polytopes or between groups.

For most practical purposes, two isomorphic objects may be considered the exact same, and mathematicians will often treat them as such. This rule is however not set in stone, and sometimes different representations of the same structure can be interesting in their own right, as is the case with symmetry groups.

Isomorphisms between an object and itself are called automorphisms.

Between polytopes[edit | edit source]

Recall that an abstract polytope is a partially ordered set satisfying certain properties. An isomorphism between two abstract polytopes and is a bijective function such that for all

This condition alone guarantees that the improper elements of will be mapped to the corresponding improper elements of , and that the rank of an element in will equal the rank of the corresponding element in .

The realizations of two abstract polytopes may be called isomorphic when the underlying abstract polytopes are.

Between groups[edit | edit source]

An isomorphism between two groups and is a bijective function such that for all ,

Most of the mathematical study of groups does not really distinguish between isomorphic groups. However, this is sometimes necessary when dealing with symmetry groups. For instance, chiral icosahedral symmetry and chiral pentachoric symmetry are isomorphic, yet describe very different polytopes, as the first is three-dimensional and the second is four-dimensional. Furthermore, there are isomorphic symmetry groups in the same dimension that still describe different sets of polytopes, such as the symmetry groups of the pentagonal prism and pentagonal antiprism. Formally, two symmetry groups describe the same set of polytopes if they are conjugate subgroups in the broader group of isometries.

External links[edit | edit source]