|
gptkbp:instanceOf
|
gptkb:mathematical_concept
gptkb:projective_plane
|
|
gptkbp:automorphismGroup
|
PGL(3, F)
|
|
gptkbp:BettiNumbers
|
1, 0, 1 (real projective plane)
1, 0, 1, 0, 1 (complex projective plane)
|
|
gptkbp:compact
|
true (over real or complex numbers)
|
|
gptkbp:contains
|
lines
points
|
|
gptkbp:definedIn
|
gptkb:Field
|
|
gptkbp:dimensions
|
2
|
|
gptkbp:Euler_characteristic
|
1 (real projective plane)
|
|
gptkbp:everyTwoDistinctLinesMeetAtUniquePoint
|
true
|
|
gptkbp:everyTwoDistinctPointsLieOnUniqueLine
|
true
|
|
gptkbp:finiteVersion
|
gptkb:finite_projective_plane
gptkb:Fano_plane
|
|
gptkbp:firstChernClass
|
3 (complex projective plane)
|
|
gptkbp:fundamentalGroup
|
Z/2Z (real projective plane)
|
|
gptkbp:generalizes
|
Euclidean plane
|
|
gptkbp:hasDual
|
point-line duality
|
|
gptkbp:hasPoint
|
equivalence classes of nonzero triples (x:y:z)
|
|
gptkbp:homogeneousCoordinates
|
(x:y:z)
|
|
gptkbp:non-orientable
|
true (real projective plane)
|
|
gptkbp:notation
|
P^2
ℙ^2
|
|
gptkbp:realization
|
gptkb:complex_projective_plane
gptkb:real_projective_plane
|
|
gptkbp:relatedTo
|
gptkb:Desargues'_theorem
gptkb:Pappus's_theorem
|
|
gptkbp:usedFor
|
studying conic sections
studying cubic curves
|
|
gptkbp:usedIn
|
gptkb:algebraic_geometry
gptkb:geometry
|
|
gptkbp:bfsParent
|
gptkb:projective_space_P^N
gptkb:projective_space_P^n
|
|
gptkbp:bfsLayer
|
8
|
|
https://www.w3.org/2000/01/rdf-schema#label
|
projective plane P^2
|