Statements (26)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:algebra
gptkb: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
|
| 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:combinatorics
gptkb:algebraic_geometry gptkb:geometry |
| gptkbp:bfsParent |
gptkb:Desarguesian_plane
|
| gptkbp:bfsLayer |
7
|
| https://www.w3.org/2000/01/rdf-schema#label |
projective geometry PG(2,K)
|