geometry Geometry (; ) is a branch of mathematics concerned with properties of space such as the distance, shape, size, and relative position of figures. Geometry is, along with arithmetic, one of the oldest branches of mathematics. A mathematician w ...

, a quaternionic polytope is a generalization of a

polytope In elementary geometry, a polytope is a geometric object with flat sides ('' faces''). Polytopes are the generalization of three-dimensional polyhedra to any number of dimensions. Polytopes may exist in any general number of dimensions as an ...

in real space to an analogous structure in a

quaternion In mathematics, the quaternion number system extends the complex numbers. Quaternions were first described by the Irish mathematician William Rowan Hamilton in 1843 and applied to mechanics in three-dimensional space. The algebra of quater ...

ic module, where each real dimension is accompanied by three imaginary ones. Similarly to

complex polytope In geometry, a complex polytope is a generalization of a polytope in real coordinate space, real space to an analogous structure in a Complex number, complex Hilbert space, where each real dimension is accompanied by an imaginary number, imaginary ...

s, points are not ordered and there is no sense of "between", and thus a quaternionic polytope may be understood as an arrangement of connected points, lines, planes and so on, where every point is the junction of multiple lines, every line of multiple planes, and so on. Likewise, each line must contain multiple points, each plane multiple lines, and so on. Since the quaternions are non-

commutative In mathematics, a binary operation is commutative if changing the order of the operands does not change the result. It is a fundamental property of many binary operations, and many mathematical proofs depend on it. Perhaps most familiar as a pr ...

, a convention must be made for the multiplication of vectors by scalars, which is usually in favour of left-multiplication. As is the case for the complex polytopes, the only quaternionic polytopes to have been systematically studied are the regular ones. Like the real and complex regular polytopes, their symmetry groups may be described as reflection groups. For example, the regular quaternionic lines are in a one-to-one correspondence with the finite subgroups of ''U''₁(H): the binary cyclic groups, binary dihedral groups,

binary tetrahedral group In mathematics, the binary tetrahedral group, denoted 2T or ,Coxeter&Moser: Generators and Relations for discrete groups: : Rl = Sm = Tn = RST is a certain nonabelian group of order (group theory), order 24. It is an group extension, extension of ...

, binary octahedral group, and

binary icosahedral group In mathematics, the binary icosahedral group 2''I'' or Coxeter&Moser: Generators and Relations for discrete groups: : Rl = Sm = Tn = RST is a certain nonabelian group of order 120. It is an extension of the icosahedral group ''I'' or (2,3,5) o ...

References

Quaternions {{geometry-stub