Assertion: octahedron's symmetry group | /r/HasProperty | isomorphic
Facets:
value: on five letters
type: OTHER
value: to the alternating group
type: OTHER
Source sentences:
text: The rotational symmetry group of the regular icosahedron is isomorphic to the alternating group on five letters.
text: The full symmetry group of the icosahedron (including reflections) is known as the full icosahedral group, and is isomorphic to the product of the rotational symmetry group and the group C 2 of size two, which is generated by the reflection through the center of the icosahedron.