<abstract xmlns="http://www.w3.org/1999/xhtml"><p>Cayley-Dickson construction produces a sequence of normed algebras over real numbers. Its consequent applications result in complex numbers, quaternions, octonions, etc. In this paper we formalize the construction and prove its basic properties.</p></abstract>

Cayley-Dickson construction produces a sequence of normed algebras over real numbers. Its consequent applications result in complex numbers, quaternions, octonions, etc. In this paper we formalize the construction and prove its basic properties.

Cayley-Dickson Construction

Institute of Informatics, University of Białystok, Sosnowa 64, 15-887 Białystok, Poland

Formalized Mathematics

{"article-title":"Cayley-Dickson Construction"}

Cayley-Dickson construction produces a sequence of normed algebras over real numbers. Its consequent applications result in complex numbers, quaternions,...

Cayley-Dickson Construction

Published Online: Feb 02, 2013

Page range: 281 - 290

DOI: https://doi.org/10.2478/v10037-012-0034-9

This content is open access.