Inner Products, Group, Ring of Quaternion Numbers

• Autorzy: Fuguo Ge
• Języki publikacji: EN

Abstrakty

EN

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

• Wydawca: De Gruyter Open
• Czasopismo: Formalized Mathematics
• Rocznik: 2008
• Tom: 16
• Numer: 2
• Strony: 135-139

Daty

wydano

2008-01-01

online

2009-03-20

Twórcy

autor

Fuguo Ge

• Qingdao University of Science and Technology, China

Bibliografia

• [1] Grzegorz Bancerek. The ordinal numbers. Formalized Mathematics, 1(1):91-96, 1990.
• [2] Czesław Byliński. Binary operations. Formalized Mathematics, 1(1):175-180, 1990.
• [3] Czesław Byliński. Functions and their basic properties. Formalized Mathematics, 1(1):55-65, 1990.
• [4] Krzysztof Hryniewiecki. Basic properties of real numbers. Formalized Mathematics, 1(1):35-40, 1990.
• [5] Xiquan Liang and Fuguo Ge. The quaternion numbers. Formalized Mathematics, 14(4):161-169, 2006.
• [6] Andrzej Trybulec and Czesław Byliński. Some properties of real numbers. Formalized Mathematics, 1(3):445-449, 1990.
• [7] Wojciech A. Trybulec. Groups. Formalized Mathematics, 1(5):821-827, 1990.
• [8] Wojciech A. Trybulec. Vectors in real linear space. Formalized Mathematics, 1(2):291-296, 1990.
• [9] Zinaida Trybulec. Properties of subsets. Formalized Mathematics, 1(1):67-71, 1990.

Identyfikatory

DOI

10.2478/v10037-008-0019-x