Assertion: dodecahedron | /r/HasProperty | isomorphic
Facets:
value: to the symmetric group
type: OTHER
Source sentences:
text: • the rotational symmetry group of the dodecahedron, which is isomorphic to the symmetric group $\mathrm{A}_5$, the group of even permutations of the 5 cubes inscribed in the dodecahedron.