Expositions · C01.2 · Registrar

C01.2 · Prerequisites

Section of C01.2 — Derivations, automorphisms and compact versus split real forms. Section object E-C01.2.prerequisites · kind PROSE · cites no record · attestation inherited from the article (R69).

← Source basis/status · Claims used →

Quaternion multiplication and conjugation; bilinear algebras; a linear derivation; matrix commutators; a bilinear-form signature. The previous carrier article C01.1 supplies a compatible Zorn realization. The complete code here includes that realization and checks its agreement with the Cayley–Dickson product, so execution does not depend on importing the earlier script.

← Source basis/status · Claims used →

Receipt, script and stdout: on the article page. Registrar master sha256 01d1a5873ede42f5b2c5f4fdcee3a4a74c09a14b99a0deea86a60ebd9c821033 · BUILD_STAMP S371a · 2026-09-26 22:53Z · master 01d1a5873ede42f5 · cut 9dcc6ce9a8ee3e02