Statements (17)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb: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
|
| 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
|
| https://www.w3.org/2000/01/rdf-schema#label |
PG(2,K)
|