Biomedical subjects
Publications and source records attributed to M Hawrylycz.
The identities between homogeneous expressions in rank 1 vectors and rank n - 1 covectors in a Grassmann-Cayley algebra of rank n, in which one set occurs multilinearly, are shown to represent a set of dimension-independent identities. The theorem yields an infinite set of nontrivial geometric identities from a given identity.
An expression in the exterior algebra of a Peano space yielding Pappus' theorem was originally given by Doubilet, Rota, and Stein [Doubilet, P., Rota, G.-C. & Stein, J. (1974) Stud. Appl. Math. 8, 185-216]. Motivated by an identity of Rota, I give an identity in a Grassmann-Cayley algebra of step 3, involving joins and meets alone, which expresses the theorem of Pappus.