Goursat tetrahedron
In geometry, a Goursat tetrahedron is a tetrahedral fundamental domain of a Wythoff construction. Each tetrahedral face represents a reflection hyperplane on 3-dimensional surfaces: the 3-sphere, Euclidean 3-space, and hyperbolic 3-space. Coxeter named them after Édouard Goursat who first looked into these domains. It is an extension of the theory of Schwarz triangles for Wythoff constructions on the sphere. Graphical representation. A Goursat tetrahedron can be represented graphically by a tetrahedral graph, which is in a dual configuration of the fundamental domain tetrahedron. In the graph, each node represents a face (mirror) of the  Goursat tetrahedron. Each edge is labeled by a rational value corresponding to the reflection order, being π/dihedral angle. A 4-node Coxeter-Dynkin diagram represents this tetrahedral graph with order-2 edges hidden. If many edges are order 2, the Coxeter group can be represented by a bracket notation. Existence requires each of the 3-node subgraphs of this graph, (p q r), (p u s), (q t u), and (r s t), must correspond to a Schwarz triangle. Extended symmetry. An extended symmetry of the Goursat tetrahedron is a semidirect product of the Coxeter group symmetry and the fundamental  domain symmetry (the Goursat tetrahedron in these cases). Coxeter notation supports this symmetry as double-brackets like [Y[X means full Coxeter group symmetry [X], with Y as a symmetry of the Goursat tetrahedron. If Y is a pure reflective symmetry, the group will represent another Coxeter group of mirrors. If there is only one simple doubling symmetry, Y can be implicit like <nowiki></nowiki>X with either reflectional or rotational symmetry depending on the context. The extended symmetry of each Goursat tetrahedron is also given below. The highest possible symmetry is that of the regular tetrahedron as [3,3], and  this occurs in the prismatic point group [2,2,2] or  and the paracompact hyperbolic group . See Tetrahedron#Isometries of irregular tetrahedra for 7 lower symmetry isometries of the tetrahedron. Whole number solutions. The following sections show all of the whole number Goursat tetrahedral solutions on the 3-sphere, Euclidean 3-space, and Hyperbolic 3-space. The extended symmetry of each tetrahedron is also given. The colored tetrahedal diagrams below are vertex figures for omnitruncated polytopes and honeycombs from each symmetry family. The edge labels represent polygonal face orders, which is double the Coxeter graph branch order. The dihedral angle of  an edge labeled "2n" is π/"n". Yellow edges labeled 4 come from right angle (unconnected) mirror nodes in the Coxeter diagram. 3-sphere (finite) solutions. The solutions for the 3-sphere with density 1 solutions are: (Uniform polychora) Euclidean (affine) 3-space solutions. Density 1 solutions: Convex uniform honeycombs: Compact hyperbolic 3-space solutions. Density 1 solutions: (Convex uniform honeycombs in hyperbolic space) (Coxeter diagram#Compact (Lannér simplex groups)) Paracompact hyperbolic 3-space solutions. Density 1 solutions: (See Coxeter diagram#Paracompact (Koszul simplex groups)) Rational solutions. There are hundreds of rational solutions for the 3-sphere, including these 6 linear graphs which  generate the Schläfli-Hess polychora, and 11 nonlinear ones from Coxeter: In all, there are 59 sporadic tetrahedra with rational angles, and 2 infinite families.