Displaying similar documents to “Representation ring of the sequence of alternating groups”

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