Statements (23)
Predicate | Object |
---|---|
gptkbp:instanceOf |
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 |
https://www.w3.org/2000/01/rdf-schema#label |
classical projective plane
|
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:geometry
coding theory combinatorics design theory |
gptkbp:bfsParent |
gptkb:Moufang_plane
|
gptkbp:bfsLayer |
6
|