CONVEX POLYHEDRA WITH REGULAR FACES

NORMAN W. JOHNSON

1. Introduction. An interesting set of geometric figures is composed of

the convex polyhedra in Euclidean 3-space whose faces are regular polygons
(not necessarily all of the same kind). A polyhedron with regular faces is
uniform if it has symmetry operations taking a given vertex into each of the
other vertices in turn (5, p. 402). If in addition all the faces are alike, the
polyhedron is regular.
That there are just five convex regular polyhedra—the so-called Platonic
solids—was proved by Euclid in the thirteenth book of the Elements (10, pp.
467-509). Archimedes is supposed to have described thirteen other uniform,
"semi-regular" polyhedra, but his work on the subject has been lost. Kepler
(12, pp. 114-127) showed that the convex uniform polyhedra consist of the
Platonic and Archimedean solids together with two infinite families—the
regular prisms and antiprisms. It was Kepler also who gave the Archimedean
polyhedra their generally accepted names.
It is fairly easy to show that there are only a finite number of non-uniform
regular-faced polyhedra (11; 13), but it is no simple matter to establish the
exact number. However, it appears that there are just ninety-two such solids.
Some special cases were discussed by Freudenthal and van der Waerden (8),
and a more general treatment was attempted by Zalgaller (13). Subsequently,
Zalgaller et al. (14) determined all the regular-faced polyhedra having one or
more trivalent vertices and all those having only pentavalent vertices. Griin-
baum and Johnson (9) proved that the only kinds of faces that a regular-faced
solid, other than a prism or an antiprism, may have are triangles, squares,
pentagons, hexagons, octagons, and decagons.
A regular n-gon is conveniently denoted by the Schldfli symbol {n}. Thus
{3} is an equilateral triangle, {4} a square, {5} a regular pentagon, etc. An
edge of a regular-faced polyhedron common to an \m\ and an \n) will be said
to be of type (m-n). The sum of the face angles at a vertex of a convex poly-
hedron must be less than 360°. If the faces are regular, it follows that no more
than five can meet at any vertex; in other words, each vertex of a convex poly-
hedron with regular faces must be trivalent, tetravalent, or pentavalent. Various
combinations of faces give rise to many different types of vertices. For example :
(4-6-8)—a square, a hexagon, and an octagon;
(3-4-3-6)—a triangle, a square, a triangle, and a hexagon;
(3 2 -4-6)—two triangles, a square, and a hexagon;
(34-5)—four triangles and a pentagon.
Received October 22,1964.
169

https://doi.org/10.4153/CJM-1966-021-8 Published online by Cambridge University Press

 170 NORMAN W. JOHNSON

The symbol (4-6-8) could also be written (6 • 8 • 4), (4 • 8 • 6), etc. Note, however,
that (3-4-3-6) and (3 2 -4-6) are not equivalent, since the two triangles are
separated in the one case but adjacent in the other.

2. Uniform polyhedra. Since a uniform polyhedron is completely charac-

terized by the faces that surround one of its vertices, the vertex-type symbol,
without parentheses, may be used as a symbol for the polyhedron (2, pp. 107,
130ff.; 3, p. 394; 7, pp. 56-57). The triangular prism, for example, is 3-4 2 .
However, an extension of the Schlàfli symbol devised by Coxeter (3, pp.
394-395; 5, pp. 403-404) reveals more clearly the relationships between
polyhedra. In this notation,
\m,n} is the regular polyhedron whose faces are {w}'s, n surrounding
each vertex, i.e., the polyhedron whose vertices are of type (mn)\

{3, 3} is the tetrahedron)

{3, 4} is the octahedron-,
{4, 3} is the cube;
(3, 5) is the icosahedron;
{5, 3} is the dodecahedron.
If we let
4ra ,T 2mn
No = ~4A - (m 2 ) 0 - ^2) ,' Nxl
-, - 7W7 4 - (m - 2 ) 0 - 2) '
AT 4^
2
4 - (m - 2 ) 0 - 2)
(4, p. 13), then {m} n) has N0 vertices, Ni edges, and iV^ faces.
mI
> is the quasi-regular polyhedron with N2 faces {w}, No faces j
n)
2Ni edges (m-n), and iVi vertices (m-n-m-n):

< } is t h e cub octahedron]

W
< > is t h e icosidodecahedron.
15/
t{m,n} has N0 faces {n}, N2 faces {2m}, and 2Ni vertices (n-2nt'2m):
t{3, 3} is the truncated tetrahedron;
t{3, 4} is the truncated octahedron;
t{4, 3} is the truncated cube;
t{3, 5} is the truncated icosahedron;
t{5, 3} is the truncated dodecahedron.

https://doi.org/10.4153/CJM-1966-021-8 Published online by Cambridge University Press

 CONVEX POLYHEDRA 171

r<J > has Ni square faces, N2 faces {m}, N0 faces {n}y and 2N\ vertices
' (m • 4 • n • 4) :

•ft is the rhombicuboctahedron;

r< ** > is the rhombicosidodecahedron.

t{ > has TVi square faces, iV2 faces {2m}, iV0 faces {2w}, and 4iVi vertices
n
> (4-2w-2n):

t | ^ | = t{3,4};

Hi}' is the truncated cuboctahedron]

t\ > is the truncated icosidodecahedron.

l5j
s< > has 27Vi triangular faces, 7V2 faces {w}, 7V0 faces \n}, and 27Vi vertices
w (3 2 -ra-3-w):

$-18.51;
s< / is the snub cuboctahedron;
I4j
s v / is the snub icosidodecahedron.

! } X \n] has » square faces separating two jwj's, and 2M vertices (4 2 -w):
{ } X {4} = }4,3};
{ } X {n} (n = 3, 5, 6, . . .) is the n-gonal prism.
h{ }s{n] has 2n triangular faces separating two {w}'s, and 2n vertices (3 3 -w):
h{ }s{3} = {3,4};
h{ }s{n} {n = 4, 5, 6, . . .) is the n-gonal antiprism.
(s\ (3l
The prefix "rhomb(i)-" in the names for H.? and r< > derives from the
fact that the former has 12 square faces whose planes bound a rhombic
dodecahedron, the solid dual to < . >, while the latter has 30 squares lying in
the face-planes of a rhombic triacontahedron, the dual of < >.
Some persons object to the names "truncated cuboctahedron" and "trun-

https://doi.org/10.4153/CJM-1966-021-8 Published online by Cambridge University Press

 172 NORMAN W. JOHNSON

cated icosidodecahedron" on the ground that actual truncations of i . \ or < >

would have rectangular faces instead of squares. For this reason 4-6-8 is
sometimes called the "great rhombicuboctahedron," with 3-4 3 then being
known as the "small rhombicuboctahedron," and similarly for 4-6-10 and
3-4-5-4 (2, p. 138; 7, p. 94). But this nomenclature is subject to the more
serious objection that the words "great" and "small" have an entirely different
connotation in connection with star polyhedra, as in the names of the Kepler-
Poinsot solids (2, pp. 143-145; 5, p. 410; 7, pp. 83-93).
It should also be pointed out that s\ > and s< > are more commonly known
as the "snub cube" and the "snub dodecahedron," respectively, the names
given them by Kepler. But it is clear that they are related just as closely to
the octahedron and the icosahedron, and I have renamed them accordingly
(cf. 2, p. 138, or 3, p. 395).
It is sometimes useful to consider the prisms and antiprisms as being derived
from the fictitious polyhedra {2, n) and < >. Thus, for n > 3,

t{2,n} = r(2\ = {} X \n\, t | 2 l = {} X [2n\, s | 2 l = h{js{ W },

where, in the case of r< > and s< >, digonal "faces" are to be disregarded
(cf. 5, p. 403). Also,

t|2J= {4,3} and s^j = {3,3}.

All the vertices of a uniform polyhedron are necessarily of the same type.
However, the fact that a regular-faced solid has only one type of vertex does
not guarantee that the solid is uniform, as is shown by the existence of a
non-uniform polyhedron which, like the rhombicuboctahedron, has vertices
all of type (3-4 3 ). This solid, depicted in Fig. 1, was discovered by J. C. P.

FIGURE 1

https://doi.org/10.4153/CJM-1966-021-8 Published online by Cambridge University Press

 CONVEX POLYHEDRA 173

Miller sometime before 1930 (2, p. 137). More recently, Askinuze (1) claimed
that it should be counted as a fourteenth Archimedean polyhedron.

3. Cut-and-paste polyhedra. If a uniform polyhedron has a set of

non-adjacent edges that form a regular polygon, then it is separated by the
plane of this polygon into two pieces, each of which is a convex polyhedron
with regular faces. This can be done with the octahedron and the icosahedron,
the cuboctahedron and the icosidodecahedron, the rhombicuboctahedron and
the rhombicosidodecahedron. In this manner or by using uniform polyhedra
and pieces of uniform polyhedra as building blocks, eighty-three non-uniform
regular-faced solids can be constructed.
An n-gonal pyramid Yn (n = 3, 4, 5) has n triangular faces and one {n},
n vertices (3 2 - n) and one (3W). A triangular pyramid is, of course, a tetrahedron.
A square pyramid is half of {3, 4}, and a pentagonal pyramid is part of {3, 5}.
An n-gonal cupola Qn (n = 3, 4, 5), obtainable as a fraction of r< >, is a
polyhedron having n triangular and n square faces separating an \n] and a
{2n}, with 2n vertices (3 • 4 • 2n) and n vertices (3 • 4 • n • 4).
A pentagonal rotunda R5, half of < _>, has 10 triangular and 5 pentagonal
faces separating a {5} and a {10}, 10 vertices (3-5-10) and 10 vertices
(3-5-3-5).
A pyramid, cupola, or rotunda is elongated if it is adjoined to an appropriate
prism (a pentagonal pyramid to a pentagonal prism, a pentagonal cupola or
rotunda to a decagonal prism, etc.) or gyroelongated if it is adjoined to an
antiprism.
Two pyramids can be put together to form a dipyramid; two cupolas, a
bicupola; a cupola and a rotunda, a cupolarotunda; and two rotundas, a
birotunda. In the last three cases, the prefix ortho- is used to indicate that one
of the two bases is the orthogonal projection of the other (as in a prism) ; the
prefix gyro- indicates that one base is turned relative to the other (as in an
antiprism). One of these polyhedra is elongated or gyroelongated when the
two parts are separated by a prism or an antiprism.
Two triangular prisms can be joined to form a gyrobifastigium.
Certain uniform polyhedra can be augmented by adjoining other solids to
them: square pyramids may be added to an w-gonal prism (n = 3, 5, 6),
pentagonal pyramids to {5, 3}, and w-gonal cupolas to t{n, 3} (n = 3, 4, 5).
Other uniform polyhedra can be diminished by removing pieces of them—
pentagonal pyramids from {3,5}, pentagonal cupolas from r< >. And
pentagonal cupolas in r< > can be rotated 36° to produce a gyrate solid.
Prefixes bi- and tri- are used where more than one piece is added, subtracted,
or twisted. Where there are two different ways of adjoining, removing, or

https://doi.org/10.4153/CJM-1966-021-8 Published online by Cambridge University Press

 174 NORMAN W. JOHNSON

turning a pair of pieces, these are distinguished by the further prefixes para-
if the pieces are opposite each other and meta- if they are not.
To facilitate the description of regular-faced solids obtained from uniform
polyhedra, certain of the latter are given abbreviated symbols:

S 2 = Y 3 = {3,3} T 3 = t{3,3} Q2 p 3 == {} X {3}

S3 = Y 4 2 = { 3 , 4 } T 4 = t{4,3} PB == { i X {«} 0» > 5 )
P 4 = {4, 3} T 6 = t{5,3} o n == hj }s{n] (n > 4 )
i* = 13,5} h
D5={5,3} *5 r
\5j

Each of the non-uniform regular-faced polyhedra can then be given a concise

symbol indicative of its structure. For example, the Miller-Askinuze solid,
the elongated square gyrobicupola, is g Q42Ps-
A convex polyhedron with regular faces is elementary if it contains no set of
non-adjacent edges forming a regular polygon, i.e., if it cannot be separated
by a plane into two smaller convex polyhedra with regular faces. The regular
polyhedra {n, 3} (n = 3, 4, 5), nine of the Archimedean polyhedra, all the
prisms, and all the antiprisms except h{ }s{3} are elementary. Of the eighty-
three non-uniform regular-faced solids obtained from uniform polyhedra,
nine are elementary:

Y4, Y5, Q3, Q4, QB, RB, Y 5 - 3 I 5 , £-Q 5 - 2 E 5 , Q5-3E5.

The last three solids result from the respective removal of three pentagonal
pyramids from an icosahedron, of two opposite pentagonal cupolas from a
rhombicosidodecahedron, and of three pentagonal cupolas from a rhomb-
icosidodecahedron. The tridiminished icosahedron Y 5 ~ 3 I 5 is the vertex figure of
a uniform four-dimensional polytope, the snub 24-ce/Z s{3,4, 3} (4, p. 163).
All of these elementary polyhedra were listed by Zalgaller (13, pp. 7-8).

4. Other non-uniform polyhedra. Freudenthal and van der Waerden

(8) enumerated all the convex polyhedra with congruent regular faces. In
addition to the five Platonic solids, these are the triangular dipyramid Y 3 2 ,
the pentagonal dipyramid Y52, the gyroelongated square dipyramid Y42S4, the
triaugmented triangular prism Y 4 3 P 3 , and one other figure, which they call a
"Siamese dodecahedron.''
Unlike all the polyhedra discussed so far, this last solid cannot be obtained
by taking apart or putting together pieces of uniform polyhedra. It is, however,
related to a disphenoid—a tetrahedron regarded as a belt of four triangles
between two opposite edges—in the same way that s< . > and s< r > are related
to < . > and < - f • Consequently, it will be called the snub disphenoid and denoted
by the symbol s S2. From the square antiprism there can be derived in a similar

https://doi.org/10.4153/CJM-1966-021-8 Published online by Cambridge University Press

 CONVEX POLYHEDRA 175

manner the snub square antiprism s S4, whose faces consist of 24 triangles and
2 squares. (Since S 3 = {3,4} = < >,sS 3 = s< > = {3, 5}.)

Snub disphenoid

Snub square antiprism

FIGURE 2

Four other convex polyhedra all of whose faces are {3}'s and {4}'s are the
sphenocorona V2 N2, the sphenomegacorona V2M2, the hebesphenornegacorona
U2 M 2 , and the disphenocingulum V22G2. If we define a lune as a complex
consisting of two triangles attached to opposite sides of a square, the prefix
spheno- refers to a wedgelike complex formed by two adjacent lines. The
prefix dispheno- denotes two such complexes, while hebespheno- indicates a
blunter complex of two lunes separated by a third lune. The suffix -corona
refers to a crownlike complex of 8 triangles, and -megacorona, to a larger such
complex of 12 triangles. The suffix -cingulum indicates a belt of 12 triangles.
Two polyhedra whose faces include pentagons are the bilunabirotunda
L22R22 and the triangular hebesphenorotunda U 3 R3. The former is regarded
as being composed of two lunes and two rotundas—a rotunda here being the
complex of faces surrounding a vertex of type (3-5-3-5). The latter is the
union of a complex consisting of three lunes separated by a hexagon with

https://doi.org/10.4153/CJM-1966-021-8 Published online by Cambridge University Press

 176 NORMAN W. JOHNSON

Sphenocorona

Sphenomegacorona

Hebesphenomegacorona

Disphenocingulum

FIGURE 3

https://doi.org/10.4153/CJM-1966-021-8 Published online by Cambridge University Press

 CONVEX POLYHEDRA 177

triangles attached to its alternate sides and a complex of three triangles and
three pentagons surrounding another triangle.
Top and bottom, or front and back, views of each of the polyhedra
sS 2 , sS 4 , V2N2, V2M2, U2M2, V22G2, L22R22, U3 R3
are shown in Figures 2, 3, and 4. These solids are all elementary, bringing
the number of such non-uniform regular-faced polyhedra up to seventeen. In
addition, a non-elementary solid, the augmented sphenocorona Y 4 V 2 N 2 , can
be formed by placing a pyramid on one of the square faces of V 2 N 2 .

Bilunabirotunda

Triangular hebesphenorotunda

FIGURE 4

5. Symmetry groups. Coxeter and Moser (6, pp. 33-40, 135) have given
abstract definitions for each of the finite groups of isometries in Ez. The follow-
ing is a description of the individual groups, especially as they relate to
polyhedra.
The bilateral group [ ], of order 2, is generated by a single reflection R,
satisfying the relation
R2 = E.

https://doi.org/10.4153/CJM-1966-021-8 Published online by Cambridge University Press

 178 NORMAN W. JOHNSON

The kaleidoscopic group [n] ~ S n (n > 2), of order 2n, is generated by

two reflections, Ri and R2l satisfying the relations
JRI2 = R22 = (Ri R*Y = E.

The cyclic group [n]+ = En (w > 2), of order n, is a subgroup of index 2

in [»]. It is generated by the rotation S = Ri R2} satisfying the relation
S*1 = E.
When n = 1, the above relations imply that i?i = R2 and that 5 = E; thus
the kaleidoscopic group of order 2 is the bilateral group [ ] = 3)i, and the
cyclic subgroup is the identity group [ ] + = (Si. When n = 2, the kaleidoscopic
group is the direct product of two bilateral groups:

[2] S [ ] X [ ].
For n > 3, [w]+ is the rotation group of a right regular w-gonal pyramid
(other than a regular tetrahedron), and [n] is the complete symmetry group
(including reflections).
For integers m and n, 2 < m < w, (w — 2)(w — 2) < 4, the group [w, w],
of order

^x~ 4 - (m- 2)(n- 2)'

is generated by three reflections, j?i, i^2, Rz, satisfying the relations
Rf = R2* = RS = (R1R2)m = (R2R,r = (RiR*)2 = E.
For m = 2, Ni = n; for m = 3, JVi = 6w/(6 — w). The group [m, w] + , of
order 2iVi, is a subgroup of index 2 in [ra, w]. It is generated by the rotations
S12 = Ri R2 and S23 = ^2 Rz, satisfying the relations
Sl2m = 5*23W = (5*12 »523) 2 = E.

The group [2, 2] ^ [ ] X [ ] X [ ], of order 8, is generated by reflections

Ri, R2, R3 in three mutually perpendicular planes. Each reflection generates
a subgroup [ ], and each pair of reflections generates a subgroup [2]. Each
half-turn about a line of intersection of two planes generates a subgroup [2] + .
The rotational subgroup [2, 2]+ ^ [2]+ X [2] + is generated by any two of the
three half-turns. A subgroup [2, 2+] = [ ] X [2] + is generated by each reflection
together with the orthogonal half-turn, e.g., the reflection Ri and the half-turn
S23 = ^2 Rz, satisfying the relations
Ri2 = 5 23 2 = (RiS2z)2 = E.
The subgroups [2], [2, 2+], and [2, 2]+ are isomorphic, and the whole group
can be obtained by adjoining to any of them one of the missing reflections:
[2, 2] ^ [ ] X [2] ^ [ ] X [2, 2+] ^ [ ] X [2, 2]+.

https://doi.org/10.4153/CJM-1966-021-8 Published online by Cambridge University Press

 CONVEX POLYHEDRA 179

The rotatory reflection Z = Ri R2 Rz is the central inversion, i.e., the ''reflection"

in the point of intersection of the three planes. The subgroup of [2, 2] generated
by Z is the central group [2+, 2+] = S 2 , defined by
Z 2 = E.
This gives two other ways of expressing [2, 2] as a direct product:
[2, 2] ^ [2+, 2+] X [2] ^ [2+, 2+] X [2, 2]+.
Since i?i 5 2 3 = Ri ^2 Rz, the group [2, 2 + ] also contains the central inversion,
and
[2, 2+] ^ [2+, 2+] X [ ] ^ [2+, 2+] X [2]+.
Note that the three groups [ ], [2]+, and [2+, 2 + ], respectively generated by
a reflection, a half-turn, and the central inversion, are merely three different
geometric representations of the single abstract group of order 2, for which
S)i and 62 are alternative symbols.
The dihedral group [2, n)+ = 3 \ , of order 2n, and the extended dihedral
group
[2, n] ^ [ ] X [n] 9* [ ] X [2, n]+,
of order 4w, are respectively the rotation group and the complete symmetry
group of a regular w-gonal prism (other than a cube) for n > 3. When n is
even, the group [2, n] contains the central inversion in the form
Z = RxiRiRz)"'2, so that
[2, n] ^ [2+, 2+] X M ÊË [2+, 2+] X [2, »]+ (» even).
The group [2, n] contains a subgroup of index 2 generated by the reflection
Ri and the rotation S2z = R2 Rz, satisfying the relations
R12 = Snn = E, ^i523 = SnRi.
This is the extended cyclic group [2, n+) == [ ] X [n]+, of order 2n. The
rotational subgroup, generated by S23, is the cyclic group [n}+. When n is
even, the group [2, n+] contains the central inversion in the form Z = Ri 523w/2,
and
[2, n+] ^ [2+, 2+] X [»]+ in even).
The group [2, 2w] contains a subgroup of index 2 generated by the half-
turn 5i 2 = R\ R2 and the reflection Rz, satisfying the relations
5122 = Rz* = (S12Rz)2n = E.
This is the group [2+, 2n] ~ £>2n, of order 4n, the complete symmetry group
of a regular n-gonal antiprism (other than a regular octahedron) for n > 3.
The rotational subgroup, generated by S12 and 7?3 «S^ Rz, is [2, w] + . When n is
odd, (5i 2 i^3)w is the central inversion Z, and

https://doi.org/10.4153/CJM-1966-021-8 Published online by Cambridge University Press

 180 NORMAN W. JOHNSON

[2+, 2w] S [2+, 2+] X [n] S [2+, 2+] X [2, »]+ (w odd).
+ +
The groups [2 , 2w] and [2, 2n ] have a common subgroup of index 2, a
subgroup of index 4 in [2, 2n], generated by the rotatory reflection
T = S12R3 = RiS2z = Ri R2 R%,
satisfying the relation

This is the group [2 + , 2n + j = Ê2n» of order 2w. The rotational subgroup,

generated by T2, is [w]+. When « is odd, Tn is the central inversion Z, and
[2+ 2w+] ^ [2+, 2+] X [n]+ (n odd).
The groups [3, 3]+, [3, 4]+, and [3, 5]+, of orders 12, 24, and 60, being the
rotation groups of the regular polyhedra, are known as the tetrahedral,
octahedral, and icosahedral groups. They are isomorphic to symmetric or alter-
nating groups of degree 4 or 5 (4, pp. 48-50):
[3, 3]+ S 2Ï4,
[3, 4]+ s @4,
[3, 5]+ ^ SI5.
The extended polyhedral groups [3, 3], [3, 4], and [3, 5], of orders 24, 48,
and 120, are the complete symmetry groups of the regular polyhedra. The
extended tetrahedral group is the symmetric group of degree 4:
[3, 3] £* ©4.
The extended octahedral group contains the central inversion in the form
Z = (i?ii?2^3) 3 and is obtained by adjoining this operation to either of the
isomorphic groups [3, 3] and [3, 4]+:
[3, 4] ££ [2+, 2+] X [3, 3] S [2+, 2+] X [3, 4]+.
In the extended icosahedral group the central inversion occurs as
Z = (R1R2RZ)\ and
[3, 5] ^ [2+, 2+] X [3, 5]+.
The group [3, 4] contains a subgroup of index 2 generated by the rotation
Su = Ri R2 and the reflection i? 3 , satisfying the relations
5i 2 3 = i?32 = (Su-'RsSnRz)2 = E.
This is the pyritohedral group [3 + , 4], of order 24, the complete symmetry
group of the crystallographic pyritohedron or of the figure consisting of a
cube inscribed in a regular dodecahedron. The central inversion occurs in
the form Z = (S^Rz)*, while the rotational subgroup, generated by S12 and

https://doi.org/10.4153/CJM-1966-021-8 Published online by Cambridge University Press

 CONVEX POLYHEDRA 181

RzSuRzy is [3, 3] + , so that

[3+, 4] ^ [2+, 2+] X [3, 3]+.

The pyritohedral group is also a subgroup of index 5 in [3, 5], generated by

the rotation Rz Ri R2 Rz and the reflection R2.
All the finite three-dimensional symmetry groups are listed in Table I.

TABLE I
F I N I T E GROUPS OF ÏSOMETRIES IN E3

Rotation groups Extended groups

Group Structure Order Group Structure Order

/ [] S)i 2
[]+ Si 1
2
+ §2
I [2 ,2+]
2w
W, +
n>2 £n w [2 + ,W2»+] @2n 2w
[ [2, K+] 2)1 X <E» 2n
+
/ [2 , 2»] 2>2n 4n
[2, »]+, n > 2 £>n 2w
I [2, n] 2)1 X S)n 4w
/ [3,3] ©4 24
[3, 3]+ «4 12
I [3 + , 4] e 2 X 2Ï4 24
[3, 4]+ ©4 24 [3,4] S2 X ©4 48
[3, 5]+ 2Ï5 60 [3,5] (Ê2 X 2Ï5 120

Every rotation, other than the identity, that transforms a solid into itself
leaves invariant a unique line, called an axis of symmetry of the solid. If the
greatest period of any rotation about a given axis is n, the axis is said to be
an n-fold one. A solid whose rotation group is the identity has no axes. Other-
wise, the number of axes of symmetry for each finite rotation group is as follows :

[n]+: 1 w-fold;
[2, n]+: n twofold, 1 n-fold;
[3, 3]+: 3 twofold, 4 threefold;
[3, 4]+: 6 twofold, 4 threefold, 3 fourfold;
[3, 5]+: 15 twofold, 10 threefold, 6 fivefold.

Since these are the only finite rotation groups, it follows that a polyhedron
that has more than one threefold, fourfold, or fivefold axis must have tetra-
hedral, octahedral, or icosahedral symmetry and that no polyhedron can
have more than one w-fold axis for n > 6.
Of the convex polyhedra with regular faces, the only ones that have tetra-
hedral, octahedral, or icosahedral symmetry are the Platonic and Archimedean

https://doi.org/10.4153/CJM-1966-021-8 Published online by Cambridge University Press

 182 NORMAN W. JOHNSON

solids. The only ones having an axis other than twofold, threefold, fourfold,
or fivefold are the n-gonal prisms and antiprisms (n > 6). Thus the rotation
group of a non-uniform regular-faced polyhedron is either the identity group
or one of the groups [n]+ or [2, n]+ (n = 2, 3, 4, 5).
If any of the symmetry operations of a solid are reflections or rotatory
reflections, then exactly half of them are, and the rotation group of the solid
is a subgroup of index 2 in its complete symmetry group. If not, the rotation
group is the whole group, and the solid occurs in two enantiomorphous forms,
mirror images of each other. There are seven regular-faced polyhedra of this
kind: the Archimedean snub cuboctahedron and snub icosidodecahedron and
the non-uniform figures

QZ2SQ, QA2SS, Q5 2 SIO, Q5 R5 S10, R.52Sio.

On the other hand, four polyhedra have only bilateral symmetry:

m-g Qr'Ei, g2Q5-1E5, gQ 5 - 2 E 5 , Y4V2N2.

The complete symmetry group of each of the remaining non-uniform solids is

one of the groups [n], [2, w], or [2 + , 2n] (n = 2, 3, 4, 5). It is remarkable that
none of the known convex polyhedra with regular faces is completely asym-
metric, i.e., has a symmetry group consisting of the identity alone.
The vertices, edges, and faces of any symmetric polyhedron fall into various
equivalence classes. Two vertices, edges, or faces belong to the same equivalence
class if there is a symmetry operation of the polyhedron that takes one into
the other. The order of the equivalence class to which a particular vertex,
edge, or face belongs is equal to the index of the subgroup of the complete
symmetry group of the polyhedron that leaves the particular vertex, edge, or
face invariant.
The uniform polyhedra are just those regular-faced solids whose vertices
all belong to a single equivalence class. Besides the Platonic solids, the only
convex polyhedra with regular faces that have all their edges equivalent are
the cuboctahedron and the icosidodecahedron, and the only ones whose faces
are all equivalent are the triangular and pentagonal dipyramids.
Tables II and III list the different types of faces, edges, and vertices to be
found in each convex polyhedron with regular faces. Those edges or vertices
that are locally congruent, i.e., edges or vertices of the same type that form
equal dihedral angles, are grouped together. In each case the number of faces,
edges, or vertices in each equivalence class is indicated in roman type and the
number of equivalence classes of the same order in italic type.
Dihedral angles are given to the nearest second. Where minutes and seconds
are not shown, the given value is exact.
Some of the following references were supplied by Branko Griinbaum, for
whose interest and encouragement I am most grateful. I am also indebted to
the referee for several helpful suggestions.

https://doi.org/10.4153/CJM-1966-021-8 Published online by Cambridge University Press

 CO Tt< TfH »o iO r^ iO CO ^ «* o iO

co" co" co" co" co" co" co" co" co" co co" co"
o

Th iO
CO CO /^N ^ ^ ^-^ o

(3-6 5

(5-6-
(3-5

(3-8
(3-4
CO

2 ss S & lO-

T* CO 00 O (M o (M o o
T—1 (M co CO CO

(M
5! corH
CO <* (M
CO
3 CO (M
(M
CO rH
(M iO
^

co
cd
CO
o
00

o o
s
o co
o
T-H
o
CO
o
00
(M CO
o O
iO

o
00
(M
o
lO

o o
co
o O
rH l>- CO
co oco
o
00 CO ' iO O O (M 00 (N CO
O O O CO (M
Oi 1> (M Ci
O OS Tt^ rH
0) T—1 05 T—1 TH i—1
o i—1 co r-4 rH
•S 1—1
"•3 y-4 ^ O
o T3 CO CO ^ co lO T*H lO CO CO CO CO 00 00 CO co O rH
w co. $2- r£ co *0 CO co. 00, CO, r£ CO, co.59- iS CO,
a
CO (M o o o (M CO 05 O o O O
o U) rH co C3 co (M T—1 CO co
co co co
W
CL.

CO CO «tf CO »0 C 0 " H H £ 0 _ » O c 0 C O T t H c O C O 0 0 i O C O c O ^
>
z o3 OOCO O N T ^ «* CO00 00CO (N O O <M
o
u (M rH y-* C^ (N rH

o co rH co lO co
Xi co
co CO T ^ co iO co"

^3
<L> 03
c 05 T3
c rD
O
o 2 3
13
rt TJ
o •g 05
O
u eu
T3 *G <u
0> 01 O
J3 u O T3
<D o5 <v
*Q en T5
1 <J O 3
H O U O Û U

https://doi.org/10.4153/CJM-1966-021-8 Published online by Cambridge University Press

 + + Si
^ to -^ tO to S
a £2. £2 £2 £2 ££ £L c£
o

6-10)
tO

^ ^ ïo 'F "?
eo, &
ss S ^ £S ^ SS
00 o O 8 8
<M § co

\8
c<T *,£ Lc
^
00 I> 00 <N r H !>• r-{ iO o 00
tO to t o <M CO Q oj
^ ^ ^ 1
tO CO Tt< to to CO ! > Th 05 o to 8
3 1—( T^ i-H rH CO y-i to r-ito
V 1
1 1
a
^
o o o o o o O o o o o o o o o" o S o
T * iO O 00 tO tO oa 00 <N CO <M TH <M S ©
u
'V
TH
rH
CO
i—l
t o TH
r H
^
TH
y-{
CO <N
r-i
to TJ4
i-i
T^
rH
t o j<
T CO t o ° O9i
00
l-( <M 00
rH
d>

'-5
T3 T^ <tf TP tO CO 00 00 CO rH rH CO TF CO t o Ttf 8 CO 8
G
CO rH CO T£. T £ T £ CO,
^ CO
ss ssCO
1 o3 T^ CO T^ <* CO CO
•v^- •»- v •>^- " —

"* ^ """o
o ^H
^ "* <o o o ^-^^
T * o ^
o-^ Çà » 5è 5S
30+6

(N <M CO CO cs <N C^l CO CO CO <M CO <M <M <N

12+2

CO ^ CO^ftO THÇOOO T(* O H C O ^ COtO T* 8 M 8

00«O O O <M (M 00 CO O O <M 00cO O <M 8 <M 8 <N

-j- <N CO rH rH CO <M rH _|_ C^JrH <M
<M Th +
^ ( M O
CO

O
JO.
CO ^ CO «O
a X
CO
dodecahe
octahedn

:uboctaht

cosidode<

T3
(U
43
oj
<D o
a> *C co"
0Î
o
"S w a .S2 ^o *+2 to
rO
3 o T3 •»-* o >
IS
0)
4-»
OÎ
? 3
*-> •.
a co
03

13 II
^

^as 6
Oj
a
15 II
o o 3 3 3 § 8
§ 8
45 X3 u
bJO — '
t* P^ H H

https://doi.org/10.4153/CJM-1966-021-8 Published online by Cambridge University Press

 a
2
O

cô" co oo ^
*o
^ *?
co, ob co, co co, co co, co, CO CO co, co, co co co ^,£2.ro

•<tf rH * 0 i-l COCO 0 0 "<tf O »0 H CO CO Tf^-irH

H CO CD Ttl
3
w OO 1-H *o 1-4
<* *o CD CO T—1 CD J—l
u CO CO CO CO
o o o o O O o o o O o o o
< OS
o o o
O *0
*o
o o o
CO
o o o
d
a
T—1
00 *0 1 > * 0
*0 CO co CO *0 *0 00 CO CO 1> CD
Pi o CD
<
p — ^ © O
^ o o
o
w
ccT^ co" * 0 ^ CD CO* 00 00* T^ l O 1-H 1—1
CO ^r^r^ CO TjH ^ ï *
*0 TH
CO CO CO CO CO CO Tt< CO ^ CO «tf CO r ^ CO rJH CO CO * 0 CO CO CO TjH CO CO T^

« TJHTJH lO lO CO CO CO 0 0 " * T J H T ^ 0 * 0 * 0 * 0 0 * 0 * 0 CO CO CO CO "tf " * r^

H
+
Q
CO
+
w
w
i*

o
CO r^ CO l O CO TF O
X
w
> n3 T^,-I * 0 i-l CO CO H rj< ^ H *0 *0 H 1-H *o *o i CO CO

o + + + +
u
o

o o
OH

a a a &

03
J2
oa a > ï B
£ a O "o
o3
a 2
gular

repy

oj oj
u oj VH a 03
ted

ted

3
>>
a o
o
cu
J-,
O
bJO
oj
4->
ta <D
o3
ta
o3
a03
aj
biO
G
oj
03
bJO
rrt
3
oJ
S
3 a
cr <u cr
c/) UH
CO w w
o

https://doi.org/10.4153/CJM-1966-021-8 Published online by Cambridge University Press

 a »o »o
G li O
CO
„
CO
„ ^„
O
l-H
1
—' CM 03, » 03 03 03 «, +
o

5 ^ CO, cococo cococococbco coco ob cb coco coco

*0 *0 iO iO 0 3 CO iO c^

+
ngles

27"
44"
23"

CO 02 GO CO CD o CO 00 CO a GO CO CO
CO 1—{ T—1 1—1 ^ ^
CO
03!>• ^ T^
TfH Tt<
^ 0 3 CO i—l TH
ai
oa o
138° 11'

CO
CO
CO
GO
2 GO CO
CO ^ ^ 1_H ,__! CO CO
GO r ^
03 T ^
i—( 0 3
T-4 <M
Tj< CO GO
CO CO c N

s
70°

o
109°

o o o o o o o o
127°

90°

o o o
103°

o o
100°
hedr

108°

138°
127°

.38°

O O O i TP O 00 t^ O i
GO o CO
o
CO O OS
GO t ^ GO
CO 0 3 O CM O
t^
^ T-H

73
Edges and

CO r^ TH iO CO CO CO ^ CO iO CO CO ^ ^ C O ^ T t l COxfrl^ CO ^ ^ COCOCO

$2»^ 51 co^ CO,

CO CO CO, CO,
ss CO-
S2- coco £2- S2- 51 SS S2- 51 S3- £2- 51 £2. SS $S
iO iO iO iC TjH GO
^ ^ o iQ CO CO —, ,- cococo oooo^ oo»o co oc GO
+

w CO "*
£2. £2. £2,51 £2.51
PQ
CO o CO CO GO T»H o o
2 GO 00

o PL, CO CL CO
co CL
B
CO

7D
tria tgula r dipyr amid

rs 73
73 73 *£
e 'a *G
"s 73
pyra mi

al dipy
al pyra

rian; lar dipyrai

al pyra

mal dipyra
squ e pyramid
yroe ngated

ted

G d G G
73 O bJO O 73 T3 O bo 7 3
73 73
<U bX) G biO <1> <U bX) G <X>
o >-> O a3 3 o +-> a O u
ti ^ +J
qua

03 +-> G
roel

-T! Ctf h/> biO 03 ci +-»

V» t l "S a
long
long

long
pen

long
enta

pen
squ

o §
en

W O O H CL W W W >*
O

https://doi.org/10.4153/CJM-1966-021-8 Published online by Cambridge University Press

 ^9 rjn
°° rh
^ © ^*?
fi1?
0 0
y—s /—s /-v ^ /—v /—v /—-
oo ^ ^ ® t ^ °? ^
<N • CO
^t1 CO, CO, ^ co, TM CO, CO, Tf< CO ^ CO CO, CO Ç 0 , CO, CO.

O CO CO 00 00 O
H
O
H
iO ° 2 ~'
TH i-H ©4
CO CO CO Tj< T^ 00

+ <^ ^

• ^ C ^ O O 00 H 03 CO F~ CO ^ H O C Q 0 5 C 0 0 a 0 0 » b 0 0 0 0 O O
TjHlO ^ CO lO i-l W ^ T H l O L O ^ T t H T t H ^

^-iib^ rH »b 03 co cb ^H F^cb t b c o o o t b c o t ^ à s ^ i b »b
CO H ^ T^ <M T ^ r H i—I (M ( N N H M H l O l O H ^ C O CO
O O O O O O O O O O O O O O O O O O O O O O O O O O O O O O
O u O - ^ O O T J H L O O O» N ^ H 00 O O TJH <N CO O © i C CO I O 0 0 CO H i< H »C O
CO ( N ^ (N 05 T f i C O O i « 0 C ^ •<* M •<* Q CO r ^ Tf lO © CD T ^ i C O l O i O »0 ^ r)< CO O i

T ^ T ^ T ^ ^ C O ^ T ^ O O • * ^ ^ TJ< O H T t l T ^ i O L O î - H C O C O r ^ T ^ C O CO CO rfi T^ TP 00

C O C O T t H ^ T J H ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ CO, CO, CO CO CO CO, 0 0 , C0^ CO, ^ CO,

CO CO CO CD CO 0 0 0 0 ^ O i O O i O i O i O *0 © O *0 iO CO CO CO CD CO O O r f t G C ^ T ^ O O

+ < 3 < * i — r ^ ^j . ^ < ^ + < 3 < i

CO T*H TJH <3Q CO

<^i +

CO ^ CO
£S. — — £2,51i5L r i £2,51 i ^ i i CO^ T h CO_ CO TH 00

CO CO H TF TtH r^ LQ LO T—1 1—1 lO lO ^ rH CD CO H 00 ^ H

+ GO so GO <^ <3S)
T—1
+
+ ++
+ CO

OH OH CO CO

d d d P? d d

a
3
Î T3
oj
O
a3 T3 "o
JS
u o CD
CD
CD
J-. a 03
u a
3 G 03
J$ o3 3
J5 T3 u T3 O bO bJO CD
T3
3bjo G G
o ~B
CD CD CD CD cuo bfl O
CD
u
-M J_ +oj-» o3
qua
roel

03 G o3 03 4-»
13 c
bo CvJ bx) 3 biO
c o .5
a cr i-i

o C/l >, *+->n Cfi

w w w w O
CO
CM

https://doi.org/10.4153/CJM-1966-021-8 Published online by Cambridge University Press

 CO

(M CM +
CM

• * to
^ ^ "I4' TfH'
,4.5.

5-3-
•10)

•10)
CO ^

•5)
•4)

^ TH

CO, CO CO co co, ob $S w SS w CO CO, CO, CO & £S

to 10 0 10 >o 0 TjH T H CO CO 00 00 0 0 CO 0 0

£ 5 5 £
£
,—1 CO
£
r—1
£
r-4 *i>^ CO "tf ^ ^ £ ,-H 00 t^ CM CO CO 00
£ £
CO CO
5:
1>
£
1—1
£
CO
5
t^
^^
T—1

CM IO 10 CM 10 T^ CM iO T^ 10
1—1
^ ^ ^ ^ ^ ^ ^
CO
,_< tCO^ Th 0 t— r^ CO cb
10 I> 00 00 LO
rH 10
CO CO T — (
CM T — 1 Tt< CO
10
CM CM ^
TtH 3
TjH îb CM r-H
^
1—1

0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 O O 0 0 O 0 O 0 O O
0 CM Oi CO 0 0 LO TjH O CO CM 10 O O O 10 Ci Ci TJH IO 0 T^ Ci iO Tt< C i CO 0 0
CO 10 CM TJH OS l > 10 10 "tf C i to Ci CO TjH CM O O TfH CO Ci TfH C i CO 1> 10 CO
iO
-^
C O C O ^ ^ i O r H M 00 l O »0 H ^T^rfH COTJH^ CO Tfl rt< r f l Tf rfi ^ T CO T ^ r*H i O
QQCO^CO,QCO^COCOCOCOCO CO, CO Tt* CO CO "tf C O C O ^ T ^ COCOT|H CO. CO Tf^ " ^

O i C O i O i Q O l O p i O O O T ^ 00 CM CO CM CO ^ C O C O ^ CO0000 10 o 10 o
CM rH
+
+ CO

10

CO ^ ^ H co >o 1-1 CO « t f CO < ^ CO T ^ CO T * CO ^ iO

O UO ri r* O IOH ^ T^ CO CO 0 0 CO CO GO O O CM
1—1 1—1

+ 10
+ + +
to CM CM CM
so vt-

co co
a a a a a
ho bo

CTJ JS
cupo
thobi :upol

a3
J5 JS J5
c v-> 0
"0 "0
a 3
a 0
3 3 -C
O
VH g .y 0
T3 U
-O 5 IS u
yrob

0) 0
B 73 "c3
!& 0 0
c
mal

bo 0 0 CD aj
G bo c bo aj 0 bo \J
O aj 0 aj
•M <*-. *3
h/l 0) <u bo
rianj

"cu 3 X) U, Ix oi
*3
O "c
<n 0 O O aj aj
a C
£ >» a 3 3

O O 0 H CO CO cu
<*
CM
10
CM
CO
CM
i^
CM
CO
CM
Oi
CM
0
CO

https://doi.org/10.4153/CJM-1966-021-8 Published online by Cambridge University Press

 CO uo
+ CS~ ci es"
(M

uO uo
^ «HH TH ^ TH UO KO
^ "^ TtH

CO uo
Tfi rtH
co uo co ^ uo CO eT °° CO ^ CO ^
^-^ ,-v ***
Tf TjH UO t ^ io "? uo T^ T^ ^ Tf<
-** TJH <HH

CO, CO, CO, CO, CO CO CO CO, co, co, co, co, co ç o . co, co.
SS
O O O uo uo O uo uo O O CD CS CO (M o o

8+16
1—1 1—1 T-l T—1 1—1 1—1 i—i CS T-H
<3S*

H H N H 0 3 H ^ ^ ^ H H N O Ï H H ( M ^C^OC "* CS 00 GC H © CO N
i i ^ i O ^ H ( N r j H i O l O ^ N i O CO CS rH <HH tQ r^uO T^CO UO
îbîbcO i b ^ N O O î b C O » O N î b © C < I N M H I O ^ rH ùo T*H rt< ùo CS CO O
r-i lO CO "tf rH CO W H N CO IQ CO H ^ COrHT^ "^ (M Tf< i-l
o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o
O O 00 Oî O (N O 00 CO O i (M 00 iO 00 (N <D O u O - ^ O O U O T ^ O ^ UO O Î N " ^ H 00
UOCOTft u O r - i T ^ O r f i—i uO rt^ TfH 05 UO r+< CS O iM ^ C^ CO CS rfH CS " ^ CO * 0 CS rJH CS TF

TfiTtluO TJHTJHUOUOUO COThuOuOuO COUOUO <<tf T+< -HH T H TJH TfH r+< ^ " T+< " f r f i Tt< ^ ^ * UO
W C 0
S WCOfOCOrt* CO CO CO ^ «tf COCOUO CO CO ^H ^ CO CO ^ «tf CO -^ M CO " ^ 4* ^

O O O O u O O u O u O u o O O u O u O uOOuO O M CO © CO CS CO CO CO 00 O O O O O
CS rH i—li—I rH i-t i—I CS i—I i-( r H - C S T - ( r H i - l r H

^ ^ <3ç + + +
-}- _J_ _j_ CD CD 00
uo uo O

co ^ uo CO "tf UO CO rfl uO co uo CO T* CO Tt< co ^ CO TJH UO

O O CS uo uo uo uo uo uo o o CO CO co co 00 00 o o es
i—l rH
oô + 00 + 1—1 1—1
^ es+ ++ + <^ rH rH
es es co
es +
es
uo

d a
f*
d a d &•

ta
ba bio d
J2
'o
a
03 a 'o oJ

3 o o
O
xi bX)

bX)
b/o <u R
o a §•
03
G
_oî a u 3 TJ ^
u a> JD
O O
b/o
O O
U) O
-! •M
01 C
bfl S ta
13 2
o3 aj ^ ai u bjn «t b/3 oj bû 3
4-» biO-5
a c t,
>,
b/o o 4-»
G rj"
O en o o
CL. CL W « S 5
CO uo 00
co CO

https://doi.org/10.4153/CJM-1966-021-8 Published online by Cambridge University Press

 a
s
o
O +

^ *? ^ ? ô cô ^ * ? l O CO " ? CO
TM TJ< ^ Stf "tf i O ^ Sjl Tt< »0
CO CO CO CO CO, CO CO CO CO, CO,
52, w
o o O
H
O
T—1
LO I O
^
o o *o to o o
> r H r-H

T ^ CO iC H Tt< CO CM l O r H T ^ C O CM IOT-H <M

to CM M © HÎQN co£-cbcb^H»b<N M N b co H £: $£
(^, ^ ,_! ^H CM T^CO(MrH^H CM T*H CO CM ^ ^H CO CM
o o o o o o o o o o o o o o o o o o o o o o o o o
O CM r? CM 3< C O i O W ^ ^ ^ i O ^ C O i O C M ^ C M ^ i O ^ ^ ^ ^ 2

C O C O ^ ^ ^ f COCOCOTiHTtlCO"^1'<tl ^ ^ ^ S ^ ^ ^ S ^ - ^ - £3 ^ £2- ^
O O O O O i C O u O O ^ O ^ O ^ O L Q O O O i O O ^ O ^ O O O O O

W + + +
iO tQ O

CO TjH IQ 00
CO TjH l O "* !£L
O O CM iO iO lO iO iO O o »o o
SO 00 J ~ <50 ©Ô ~^~ ~ ®* 4 -
CM

OH
o
OH
S
CO a a a

o3 o3 o3 03
C G T3 C
O O C O
bo bJO D bX) 03
nta

03 o3 o o3 -t-> 13
<u t i <tf o
C ~H "ti *-" C u
£
o3
0) O C 03 0) J$ 0)
a
3
a a a O O
â
£ •o S
a>
t±
o3
.s
-o
o
£ TD
CJ
u
03 O
a
3
T3
0)
u
IS
o
03 — J3
b/) u. be
C ^ bo - 5 G
O bJO C u O b/o >» o o
S w
o o w 5
6 OS
CO
fc

https://doi.org/10.4153/CJM-1966-021-8 Published online by Cambridge University Press

 +
to
+ cl ci ci

to
CO ^ tO ^
^
tO
to
CO CO ^
tO
^ to"
t O ^
CO CO CO CO CO CO CO, ^
vS w w &
CO CO oo tO o to »o oo
©* ©* fc*

CO H ^ < N C 5 CO < N I O G O C O O r H O r - l T H t ^ ^ H O H H r J I H h ^ ^ ^ ^
i-H 03 TtHrH t O T t l T f l T^ H (M T^ l O lO Pi N ^ «3 W N Ifl i - H t O ( N

TH t ^ O t o CO GO t o t^OiTjHtO H N i Q N CD î O n N Ù o N O N O CO rH O £ ^
TH COIN N H M H I O H ^ M H CO t o T-i <N i—I CO » O ^ C O H ( N H ^ c O
O O O O O O O O O O O O O O O O O O O O O o O O O O O O O O
© ^ (M CO OiOCOtO COrHT^rHtO © (M O CO 00 TfC5(NC5COOO(MOO r^ © GO ( N
CO-^r^tO CO «tf t O <N tOiOrtH'TttCO tOCOtOCM"^ N » O C O i O ( N i O ^ ^ N i C "O " ^

TtH-^tOtO CO CO "tf T*H C O C O ^ ^ r t H COCO^T^tO COCOCOTjHT^tOtOiO CO CO l C »C

co.^,co^ SS £°, £2, $3 co cc co co -^ co co co co, TF c o w c o c ô c o c ô c o ^ côcococo
O O O O COCOCOCO 00 00 00 00 00 O O O O O l O t o t O t O t O t O t O t O O O O O

^ CO TjH ' <S$ I lQ>

I • • to to
T^ <^ ©$
O <^ ^>

CO CO TF
-^ t o CO T^ CO Th t o CO TtH t o CO t o
*O"v~'o •o>-~—
N-*W W W - w w-< • N - ^

CO CO .• • 00 00 —^' o1 o CM —
t o 't o to —*~
o —
*o—
r-4 1-1 T
^i + <30 ©0
+
<N oo
* • *
t^»
+
©*
•»* CI1
1

+
CM

OH CO CO CO ç/5
d d a d
T3

-a
flj
03
O o a
aD oj 3
b/)
CCJ ctt O o a
o
pent

a
tund

Xi
•a Xi Tï a *n -o JU
0) y <i> (1)
-M a •M 03 4-> 03
£hfl u
al ni J o
2 m c crt C
T3 o bo o U) o tuo O
a» X r 3 c CU.D c b/) C bin
+J o b/3 o o a ^O o3 o o3
qua

£O un U
roel

yroe

bi 0) ai <D c 13 "S C
C
O b/> >> o
Ui u,
+-> Cfl
u
s. 2S &
W >> à k ci
o o O O
00 tO CD 00
-^ ^ ^ ^ «*

https://doi.org/10.4153/CJM-1966-021-8 Published online by Cambridge University Press

 §•1 CO
o
u
O

CO
uo -^ £o ^
^ S-*. ^ /""N /—S
CO CO CO ÇO_ CO, CO ob co ^ 00 ^ r h ob co ^ s, &
( N H T}< CM " t f (M CO CD T^ T-l - ^ (M 03 ^ TjH r H ^

+ 4 ^
CM

GO CO 0 0 cboocbôo cboocbcbôo CD 00 00

GO GO ^ 00
5 13 (M (M

O î ^ O O C i (M GO G5 (M 0 0 "tf O TjH O ^ O
' ^ O O CO O O CO O - ^ C i t>- (M - ^ OS
O H 05 îO

T3
3 CO CO "tf "tf rJH 00 CO 00 r)< " * CO 00 CO CO -<tf T P *C »0 CO " ^ r|< O iO CO rt* r H O Cû
ai
CO CO 00 C0 ^ CO CO CO CO CO CO CO CO C O C O ^ C O , " ^ ^ ^ ^ ^ ^ C O ^ C O ^ ^ C O , ^
CM <^ CM «tf ^H r H ^ H ^ ( M ( N CO CO M "tf CM CM CM T H «tf CM ^ "tf ^ -<tf CM CM CM -<tf
b/)
+
CM
CM

CO Tt< l O
£3.
CM CM CM TfH CM CM
++
CM CM CO

so +
CM +
CM
CM i-H
+

O
PL, OH OH p* P^

Hi

a T3 a
men ted

03
nte

u
lar

TJ J$ T3 3 -«3 3 T3 03
o3
c
ngul

<D <u O 0) 3
3 <u 3 +-> be a, O
C bJO
0) 3 £ 3
bJO 3
<V
ci
+-> «u bio
3 bit)
bJO
S
ugm
pen

.2 bJO .03 3 .2
a 3 S$ be , 3
ta
3
*n
03 +->
03 "u
bJO 3 3
< S < P3
<
02 O CM ^
>0
T^
>o >o

https://doi.org/10.4153/CJM-1966-021-8 Published online by Cambridge University Press

 (M CO
+

CD CD
? "? ? "? iO iO iO »o *o iO
Si, ss & Th CO CO COCO iÔCÔ^CO ^ ^ ^ O , iÔCÔ^CO ÏÔCÔ^CO £2, £2, C*5

^ (M 00 -* (N ^ CO(M i C » O H 0 0 ( M ^ r H ( N COCOCO <MT^(M

OO (M CO

CO 00 00 CO 00 00 CO 00 00 M C O ^ COOOTP COCO^ MCOrW M ^ i f i

T-H rH TH < N C O l O ( N C O ^ O ( N C O t O ( N C O l O C ^ T t H
00 ^ ^ 0 0 ^ T*H 0 0 TfH TH H CO M rt CO CO H O CO H CO CO H 00 O
T H r H
<NT*H TJH ( M ^ Tf C ^ T ^ T ^ i-liOCOi-<iOCOT--<LOCOr-H>-OCO - * <M
o o o o o o o o o o o o o o o o o o o o o o o o o o o o o
0 5 ^ 0 ^ 0 O rjH O " ^ © O rt< TJ< O 00 CO CD 00 CO CO OOCOCD OOCOCD OOOCO
O N ( N ^ 05 O N W ^ O 01>Tt<05 CO i Q H CO »C H CO i O H CO i O H COOCO

CO^T^co'cO* CO^rtHCDcD CO rfrl CO CO CO »0 «O CO~ * 0 »0 CO i C i O CO* »o" * 0 * CO LO »0

Mco ^ co i < co co, T}H co, T £ co, co co ^ S3, £2, i ^ , co co »o, co co »o c o c ô i ô ?3, ^3, i 3 ,
00 r f l <M ^ 00 " ^ (M (M "tf T|H <N CO CD CO * 0 * 0 0 O O O ^ ^ rtH o CD CD "tf r*H i—l
_L,rH ^-l ,—i rH T H |

<? s ** + + + ++^? +
Oî • ( M <N <M CO CO QO C^l
03
+ +
CO "^ CD CO T^ CO CO ^ co co >o co iO co iO CO iO co iO
rH TfH (M •^ <N (M CO CO C3 *o iO o o rH ^ CD co T^ (M
<â> + ^S+ 4 ©* ^ <à*
+ <^ sô +
(M
+ + + GO
1-H CO

0.
CL. 9 9 9
4, 4±

T3 73
we T3 eu
"S a
4e
-u
>
.
eu a
T3
O
•>->
G
S
.^ r-
eu _ S
<U _ _ 2 0> 7 3 *C O
nal

bo G <U "£ eu
S ci « fi
3 D o3 . S eu
o3 o S M .ES u
!•§
So .2 g
îexa
:tab:

o3 a>
S-" •M b/>
d
o3-°
O
^ -S
eu T3
.-H 73
_2 o
t> ^
S

https://doi.org/10.4153/CJM-1966-021-8 Published online by Cambridge University Press

 CO*

T h CO 00 00

W
^ v s-,
CO ^ ^ So ^ 4i 00 Tt< TjH

SS 52, & & CO CO CO CO CO. CO CO^ CO CO

CO CO rH CO CO CO CO CO CO 00 ^ 00 00 0 0 CO

CO CO 00 CO CO CO CO CO 0 0 00 CO CO 00 oo CO
CO CO CO CO LO CO LO LO LO LO

o 3 ^
s 00 CO
CO CO CO
00

o
CO
CO
CO LO CO 00
CO CO
LO LO LO LO
o
00
o
o
o
CO
o o
oo
o
o o
o
CO
o o
LO
o o o
o
O
O
o o
LO
o
^ o
LO
o
O
o

o
O O
LO
o o o
LO O
CO o CO
CO
1> o CO CO o 1> 1> CO C3 OS CO CO

CO LO L O CO CO CO LO LO T ^ T ^ C O C O C O T ^ T J H T ^ O O O O O O T*< ^ T*H 0 0 00 00

co w ic co co co co i o co co co co co cocoTtHcocooo co co rt< co co ob

COCOCO CO CO CO <© CO CO CO CO d CO " t f 0 0 T*H T F 0 0 rt< OOCOOOOOCOrJH

CO CO CO _J_

CO iO CO LO CO TfH CO CO T ^ 00 CO T^ 00
—vW «-V— s w
*—
- "CO *CO
~—'CO *-*~
CO —*~
*"—' —~'
•—'^ ~—0 0
" — • '

CO CO CO TjH T F oo • ^

+
«4
^ ^ QÔ
+ 1—+1
1—1
«^ + CO

+ +

d a d
>

•a

*Q
3
T3 C 0) c T3
CJ
inisr

a» o o <U
inish
hedr

•n
edr
ted

ted

0)
£
<U crt
« S •£! G
rune

S 8 a; • - Cj
«3
eu S
S IS
o s 3
rs .y g>£ #o two «J +-*
UH
< < m
CO
CO
^
CO
LO
CO

https://doi.org/10.4153/CJM-1966-021-8 Published online by Cambridge University Press

 +
CM

,^-v o o
^ © ^ ~ N O
^
Tt< ^^ ^^
M ^
^*o CO
^
eT" i O CO £7^
^i O CO eT* *o CO
^* 0-^ ^I O ^»o -^
iO
o o TP Tt< o rt< o TtH T^ T*
CO CO CO
^ -^ CO CO CO CO CO CO
^ ^
CO CO CO
^CO CO
^CO CO

o *0 o o o o rh
<* ^ CO CO CO o o o o
CM CM CM CM
00 ©* GO ©5 »Q
yo
+ ^ So
+
+
10
TO1 ++
CM CM ++
CO CO
+ *?
o
*o

^ 1-1 t>- CO i-l " ^ T f H N CO H r^ ^ ^ ^ 0 7 ! ^ ^ „ ^ ,_! ^ ^ ,_, ^ H COW N H © OD N

( N ^ i O C O W i O N ^ ^ M ^ i O ( N ^ i O C O ^ i O C Q ^ » O C O W i O "tf W IQ TJH CO i Q
o ^ b o c b t ^ - c b o *o co cb ï> co o *b ce cb ?~ co b îb o è N M »b co co cb îb cb co o
CM i—1 i O CO CO CM T—IU0COC0CM H i O CO CO M H i O CO CO N »C H CM LQ i—t
o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o
Tf 0 5 0 0 CO (M CO ^ O GO CO M O ^ Ol CO CO (M CD T*I O 0 0 CO CM CO Ci CO CO 0 0 Ci CO CO 0 0
N i O ^ i O ^ H N » C ^ i O ^ H N i O ^ i O r f H N i O ^ i O ^ H 1 0 * 0 * 0 ^ ifl iO « 5 ^
— / N O ^ ^ © -^ ^ O ^ ^ O*
s~>. ^-^ s*^ © O T-H - ^ - ^ ^~>. O O —i i ^ ^ >*^ - ^ O O —
i i — -"*• - ^ . O O H --N ^-v ^ ^ ^N x~v / N ^*v. XN
T h " * I O T H i-H • ^ Tt< I O H r-1 • TjHrflOi-Hi—I • TJH^UOi—IrH • ^ rH IQ lO rt» " ^ I O I O
o o o • • • • • • o
CO CO T^ CO CO rH « N ^ M W H « W ^ M C O H M M T J ( C O C O H ° ° T £ CO, T ^ CO TJH CO. T*H
»0 © * 0 * 0 © © O O O O O O TJH r^ r^ Tt< Tt< TJH © CD CO CO CO CO © * 0 »0 © O O O O
^ ,_,,__, ^ C M T — I T-I CM I - I _1 -i—1 rH CM rH r-l CM

"r • "•" CM CM CM I CM CO CO CO CO So ~r ~T T 1~
LO So O CM _L_ • lO >0 © ©
T—I • " S0 1—1 1—I
so so o* so ©o

CO -, —
.— TfH» ,-«-.
O
CO "* »o
• o
iO ~ o CO T £ i O CO T ^ * 0
CO «tf * 0 i—I
IO »o ^ iO O O CM O TfH T h CM Tt< CO CO CO CO l O O i O O O O
*C> ^> SN>
+ ^h ^ SO
+ + +
CM CM
CM

++ 5 + <^i SO H~
CM
so
*© CO CO
so

+
a d w W
d •4.
d be bo
•CX

o
tn
O
u
TD T3
CU
J3 a>
c;
en crt
u
aj
u
^a3o
CU TD CU T5 CU CU
0)
ente

T3 -a
pop

TJ
O C O O O o
CJ T 3 T3 T3 T3 13
-a CU _& "S
F *U B TD -M T5
ico

CD CD G CU
bo m
i +-• 0> • M
rrt JD
<u a CJ
G
rt
-Û
S
bjo G S
b^
JD •s S
rt 3 3 3 o S«J o^
ara

be u 03 V-i ,G
^H
03 ^
< (X o D^

https://doi.org/10.4153/CJM-1966-021-8 Published online by Cambridge University Press

 o
u
O

^ ~ "*<
2 i
7^ Ô ^ s^ ^
l Ô Th rJH »ô ^ "i
Tfl -^
^ "t* -^ co co
CO CO CO CO TJH CO ^ co^ co^
^s v—• s v
o o o o o ~^ *—' —'
<N <N 0<1
"? "? O CO
rH I—1 i—t rH T—1
10 oô **ô oô *Q »Ô SO
oo >-<
+ +
CO +
iO
+
»o
+
oo
Vf
*i oô oô

H ffl CO N ! O fO N H N CO r f rH^COt^-CO^Î H CO CO N « r)<

^ W i O ^ C O i O ^ ^ * O T M COIO »OrH CO *0 iO
în çn cb cb thicbcbcb îb o co ce îb îo îo b co co io co © co co co
M lO H fi O H rH TF CO W O H ^ f O N lO H ^ CO
o o o o o o o o o o o o o o o o o O o o o o o o
ffl CO CO 0 0 C5 CO CO 0 0 Oï 0 0 rH CD 0 5 CO CO 0 0 H O OS CO CO 0 0 H çO
i o i O i Q ^ i S té té - # i O ^ M H i o iO i O i < (N ^ l O i O i O ^ N H

^ ^ ^ ,*-v. ^ ^ ^ ^ — - ^ O O ^ ^ ^ ^, O O ^ . -<^ - ^ ^ - O O
TjH^'lOlO TjH-^^OtQ "<* * 0 rH rH ^ T^ l Q lQ H H t 1^ ^ "P ^ ^
cô^cô^ cô'^cô,^ oô, ^j, ^J, »o. c ô , 4 ^ c ô , ^ . ^ i 3 . rS^SS-^^iS
1 0
o3 ^ ^ ^ ^ O C O O c O 0 0 * 0 * 0 o i O i O O i O (NC^C^C<l(N(N

ta X + + 7 + + + + !?T x r Ï + + Ï + +
w
oô oô oo ^ o>j

O .— 0
CO "tf * 0 rH
co ^ *o CO Tf lO rH CO ^ O rH
O O CO lO O "O rH iO O * 0 rH
oô *ô ~fr" ^ oô vf 0 0 _1_ 0>5 oô I ^ <Ï5 >-4 V f

+ + <? ++ 5+ 5+ +7+
cq (N N - CO CO oô ^ oô ^ oo ~r p^
GO
^ Vf
+ +
o W
w w
w i T
II d d
C/5
a ta
4,

T3
T3 'S

0)
-s * (/> crj

.22 o
O o c <^
•S " ^ '6 "g
0) 12 'x\
^ «512 ^12
aj O <D O
•M .O

ta^
2 a •2 S ^ S ta S
crj O
.2 S S? © ai O
-M X
•H°*£ +-> X
0) U
.§•2 g-s
fin

https://doi.org/10.4153/CJM-1966-021-8 Published online by Cambridge University Press

 + + +
(M

O •
T-H l O
lO ^ ^ * 0 Tj< lO ^ lO TfH TJH iO ^ S~*. /-~N ^
^ « M ^ CO, CO, co, co. co, oo,
5^ SS ^ 52» ^ £S
20
10+20

<N CM <M T* TJH <N CM CM <o o ^ M< 00 0 0

*Q O ^ ^ to
+ ^ + ^+
+ CM CO
GO

i—l O M N 0 0 - ^ T-I I > CO T ^ r - i r ^ C O ^ H O CO N CO ^ T-I i > CO T F C O i O ^ f t ^ t>- CO CD

"tf CO I C l O ^ ^ O 1 0 ^ * 0 l O - ' f CO » 0 l O r ^ L O lO ( N M i O ( M C O ^ c ^
îbcbcbcbcoco îbcbcoco ïb o co co îbcbcbcbcoco îbcbcoco cb ^ H îb oo oo £b
CqiO'-H'^cO H T ^ 00 H ^ CO ( M O r H ^ C O T-I TJ< CO (M T*H T-I T-I CO <M
o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o
© CO CO 0 0 H ÇO 05 0 0 H cO © 0 0 « <û O CO CO 0 0 H O O 00 H o CDrHîO r^TfrfHiO
»OKJ l O i N n l O ^ (M r-1 kO " * (M H l O O »0 "*f <N T - I iQ T(( N H CÛ (M 03 COT^I-HT^

^•^ x^«v *-"^ ^ ^ o O <^> -*-* O O -~»» -">• O O -""^ *"^ - ^ --"^ O O ^^^^O O >"•>» - " ^ ' " ^ -~^ •***>• - ^ --^-
Tf* Tt< l O O H H Tf< l O rH T-H T ^ l O i — I T — I T^^ldlCr-Hr-H - ^ Ifl H H COCOCO CO CO CO T*H
1 0 1 0
co, T»H ço, ^ T*H 10 S3,^£,^,i2. r^,^^ îS-^SS^-^- °3- ^ ^ ^ ro cô cô co co, co, cô
<N <N CM <M CM <N O O O O rHrJHrJHT^ (N N IM C<1 (M N CO CO © ffl r ^ O O ^ 00 © 0 0 00
N ( N r-IT—I _ ] _ • • • J_ i—l
?o >Q >Q os ^ §j i • toos^^î^css^to^iQ'^*-^^ ~r

7J ~ 7 + + ^o 9 4
J ^ ^
+ + + + 7' H+r +t J7
N N N N
^+ + +
<30COCOC0
<"
<S0 ©$ <30 $0

O O
CO T F uo T - I CO ^ >C H C0 "tf i O CO ^ O H CO TJH I Q T-I CO CO r H
,
—' *—' *—' w—'
S-v— V^—/ N-V~ S - ^ . > - ^ - >-»— < - — < — ^ S _ _ N_v~ V _ ^ <-v— W»—

•—' —
' — ' * - — ' * - — ' *-•"•'

CM CM (M T-H O O O (N «tf ^ r*i (M (M (M (N (N CO CD CO CO 00 CD (M

to *•* ^
^ ^- <^ +^+
(M _j_ CM
SO Co SO
++^
©* CO +
"tf
+
+ ++ SO CM SO + ++
^ - Vt- v * .
sô
00
©3 <30
i S0
+

w W
T
w W
T

a a d a To

"two è b/) d

X S
13 ni ai 03 13 ni # cn
<U a eu O 'C
<L> M 0) eu
^ <u
en - d "8 13 en 13
#a
ini

o O O C O O
13 13 13 'o C
H en t: m •oIS C
0)
ce
ico
ate idi

O eu en
T J CJ
JJ
^C3 O
en cj a
eu
^S x>
UIOl

(Tl '5 ^
U> O
^3
•9 ° 'S e X5
>>
bc u
!3 u 3
PQ
eu
o .5 o
13 rÇ

https://doi.org/10.4153/CJM-1966-021-8 Published online by Cambridge University Press

 CO CO CO CO CO CO CO CO, CO,
^ <N <N <N H N ^ N N N <M <N <M <M Tt<

C O M O Ô W N Ô O O Ô C O Q O M O Ô I N O N N O i b û O O O O Ô N O ^ M
CO ^ CO CO CO (N (N COCO<M^COCOCOr-iT-iC^(M
WQ0O5COCOHNH ÔCOHàOÛOOOOOiCHN
UO <M *0 <M »0 CO <M H i O H M i O ^ i O ^ H c O M
CO oo 05 05 CO 0 0 0 5 rH 05 rH CO G5 CO
CO CO G5 rH CD i O CO CO CD rH 00 CO
o o o

CO CO CO CO CO TtH r ^ r*H CO CO CO CO CO CO CO CO TH ^ r^ CO CO CO CO CO CO rfH Tt< ^

COCOCOCOCOCOCO'^ 1 COCOCOCOCOCO.COCO^CO^COCO COCOCO,COCOCO'^3-S3-^-
( M ^ ^ H ^ ^ ( N H Cq<Mr-1(M(MrH(M(MrH(NrH ^ H ^ ^ T ^ C q ^ l ^ H

co^^

CO
+ + +

>
>

h
ou
O
-o
<L> u
£ o C S
<v JZ<v o
£toJO a c
0)
a a
CO co

https://doi.org/10.4153/CJM-1966-021-8 Published online by Cambridge University Press

 (M
ci

*o to 10 »o ^
^ CO CO ^ C O CO 9
^ ^ îb -^ 10 *? ^ *ô 1*
S2- i-s & ss CO, CO, CO CO CO CO CO, £0, ÇO< $S
^ < N CM ^ ^ ^ 00 -^ 00 <N CO CO CO CD

C O W C O O O N W i C H c^ Q 0 N 00 Q 00 H © H T)( îO CO H Q H T H CO Q
lO iO <N ^ CO N N Tt< <N CO ^ H N ^ (N^T-i(NT*< (MrH
O O C O O O J ^ O O O O H oo o >b N ^3 b H î b r ^ ^ o o c b ^-i î b TJH £ - oo ^ H TJ<
CO <N <N ^ »0 *C CO <^<NCOT*H<M<MrH iO CO i < N T-H >0 CO i < H ifj
o o o o o o o o o o o o o o o o o o o o o o o o o o o
N O 3 H Q 0 H ( M c O ( N CO 0 0 CO ^ T H O O 05 O N O M 00 © O N O 00 O
i O i < T j ( ( M H i O C O O CO ^ CO <N »0 CO O iO H ^ o © CO >C H ^ O CO H

cococococo^Tt<rt< c o c o c o c o T F ^ ^ T t H ^ i O i o i o co ^ * ^ to* »o co* co

CO^COCOCOCOCOCO^J, CO CO CO CO CO CO TJ< CO CO CO CO lO CO CO CO CO CO CO " ^

^ H T t t ^ W N ^ l N "tf 00 GO ^ "** 00 CQ ^ "tf 00 00 <N © O CO CO ffl CO CO

©* <3Si "T~ H~
<N CO

CO ^ »0 CO^^ ^ CO^

00 ' "^ CM -^ CO CO CO i-l

SSI
+
CM + CO
+

£
> J

T3

S o
o u c
G Je
42
£ a
a cd
en a
J2
•Ë-S
P3

https://doi.org/10.4153/CJM-1966-021-8 Published online by Cambridge University Press

 200 NORMAN W. JOHNSON

REFERENCES

1. V. G. Askinuze, Oïisle polupraviVnyh mnogogrannikov, Mat. Prosvesc, 1 (1957), 107-118.

2. W. W. R. Ball, Mathematical recreations and essays, 11th éd., revised by H. S. M. Coxeter
(London, 1939).
3. H. S. M. Coxeter, Regular and semi-regular polytopes, Math. Z., 46 (1940), 380-407.
4. Regular polytopes, 2nd ed. (New York, 1963).
5. H. S. M. Coxeter, M. S. Longuet-Higgins, and J. C. P. Miller, Uniform polyhedra, Philos.
Trans. Roy. Soc. London, Ser. A, 246 (1954), 401-450.
6. H. S. M. Coxeter and W. O. J. Moser, Generators and relations for discrete groups (Ergebnisse
der Mathematik und ihrer Grenzgebiete, 14), 2nd ed. (Berlin, 1963).
7. H. M. Cundy and A. P. Rollett, Mathematical models, 2nd printing (London, 1954).
8. H. Freudenthal and B. L. van der Waerden, Over een bewering van Euclides, Simon Stevin,
25 (1947), 115-121.
9. B. Griinbaum and N. W. Johnson, The faces of a regular-faced polyhedron, J. London Math.
Soc, 40 (1965), 577-586.
10. T. L. Heath, The thirteen books of Euclid's elements, vol. 3 (London, 1908; New York, 1956).
11. N. W. Johnson, Convex polyhedra with regular faces (preliminary report), Abstract 576-157,
Notices Amer. Math. Soc, 7 (1960), 952.
12. J. Kepler, Harmonice Mundi, Opera Omnia, vol. 5 (Frankfurt, 1864), 75-334.
13. V. A. Zalgaller, PraviVnogrannye mnogogranniki, Vestnik Leningrad. Univ. Ser. Mat. Meh.
Astron., 18 (1963), No. 7, 5-8.
14. V. A. Zalgaller and others, O praviVnogrannyh mnogogrannikah, Vestnik Leningrad. Univ.
Ser. Mat. Meh. Astron., 20 (1965), No. 1, 150-152.

Michigan State University

https://doi.org/10.4153/CJM-1966-021-8 Published online by Cambridge University Press