Inner Products, Group, Ring of Quaternion Numbers
Fuguo Ge (2008)
Formalized Mathematics
Similarity:
In this article, we define the division of the quaternion numbers, we also give the definition of inner products, group, ring of the quaternion numbers, and we prove some of their properties.MML identifier: QUATERN2, version: 7.8.10 4.100.1011