octonionic projective plane

URI: https://gptkb.org/entity/octonionic_projective_plane
GPTKB entity
Statements (20)
Predicate Object
gptkbp:instanceOf gptkb:projective_plane
gptkb:Grassmannian
gptkbp:automorphismGroup gptkb:F4
gptkbp:definedIn gptkb:octonions
gptkbp:dimensions 16
gptkbp:firstDescribed gptkb:Ruth_Moufang
gptkbp:generalizes gptkb:complex_projective_plane
gptkb:quaternionic_projective_plane
gptkb:real_projective_plane
gptkbp:hasBettiNumbers 1, 0, 1, 0, 1
gptkbp:hasCellDecomposition 0, 8, 16 dimensions
gptkbp:isHomogeneousSpaceOf gptkb:F4/Spin(9)
gptkbp:namedAfter gptkb:octonions
gptkbp:relatedTo gptkb:exceptional_Jordan_algebra
gptkb:exceptional_Lie_groups
gptkbp:symbol OP^2
gptkbp:bfsParent gptkb:F4/Spin(9)
gptkb:G_2
gptkbp:bfsLayer 8
https://www.w3.org/2000/01/rdf-schema#label octonionic projective plane