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
|