projective geometry PG(2,K)

GPTKB entity

Statements (26)
Predicate Object
gptkbp:instanceOf gptkb:algebra
projective plane
gptkbp:automorphismGroup gptkb:PGL(3,K)
gptkbp:definedIn gptkb:field_K
gptkbp:dimensions 2
gptkbp:example Fano plane when K=GF(2)
gptkbp:hasAxiom any two lines meet in a unique point
any two points determine a unique line
there exist four points, no three collinear
gptkbp:hasPoint 1-dimensional subspaces of K^3
https://www.w3.org/2000/01/rdf-schema#label projective geometry PG(2,K)
gptkbp:incidenceRelation point lies on line if subspace inclusion holds
gptkbp:line (K^3 - {0})/(K^*), if K is finite
gptkbp:linesAre 2-dimensional subspaces of K^3
gptkbp:notation gptkb:PG(2,K)
gptkbp:pointsSystem (K^3 - {0})/(K^*), if K is finite
gptkbp:relatedTo gptkb:Desargues'_theorem
homogeneous coordinates
collineation
projective duality
projective transformation
gptkbp:usedIn gptkb:algebraic_geometry
gptkb:geometry
combinatorics
gptkbp:bfsParent gptkb:Desarguesian_plane
gptkbp:bfsLayer 7