PG(2,K)

GPTKB entity

Statements (17)
Predicate Object
gptkbp:instanceOf projective plane
gptkbp:automorphismGroup gptkb:PGL(3,K)
gptkbp:definedIn gptkb:field_K
gptkbp:dimensions 2
gptkbp:eachLineContains (K^2 - 1)/(K - 1) + 1 points
gptkbp:eachPointLiesOn (K^2 - 1)/(K - 1) + 1 lines
gptkbp:exampleForK=Fq finite projective plane of order q
gptkbp:fullName projective geometry of dimension 2 over field K
gptkbp:hasPoint 1-dimensional subspaces of K^3
https://www.w3.org/2000/01/rdf-schema#label PG(2,K)
gptkbp:line (K^3 - 1)/(K - 1)
gptkbp:linesAre 2-dimensional subspaces of K^3
gptkbp:pointsSystem (K^3 - 1)/(K - 1)
gptkbp:usedIn gptkb:geometry
incidence geometry
gptkbp:bfsParent gptkb:projective_geometry_PG(2,K)
gptkbp:bfsLayer 8