Statements (23)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:projective_plane
|
| gptkbp:builtBy |
vector spaces over division rings
|
| gptkbp:each_line_contains |
n + 1 points
|
| gptkbp:each_point_lies_on |
n + 1 lines
|
| gptkbp:example |
gptkb:Fano_plane
projective plane over finite field |
| gptkbp:has_lines |
n^2 + n + 1
|
| gptkbp:has_points |
n^2 + n + 1
|
| gptkbp:heldBy |
gptkb:geometry
incidence structure |
| gptkbp:order |
n (for some integer n)
|
| gptkbp:relatedTo |
gptkb:geometry
finite fields |
| gptkbp:satisfies |
gptkb:Desargues'_theorem
gptkb:Pappus's_theorem gptkb:Veblen-Young_axiom |
| gptkbp:used_in |
gptkb:combinatorics
gptkb:geometry coding theory design theory |
| gptkbp:bfsParent |
gptkb:Moufang_plane
|
| gptkbp:bfsLayer |
6
|
| https://www.w3.org/2000/01/rdf-schema#label |
classical projective plane
|