Assertion: octahedron's vertex | /r/HasProperty | the group of units
Facets:
Source sentences:
text: The vertices of the 24-cell form the group of units (i.e. the group of invertible elements) in the Hurwitz quaternion ring (this group is also known as the binary tetrahedral group).