Statements (23)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
scheme
affine scheme |
| gptkbp:base_field |
k
|
| gptkbp:coordinate_ring |
k[x]
|
| gptkbp:dimensions |
1
|
| gptkbp:functor_of_points |
Hom_{k-alg}(k[x],-)
|
| gptkbp:generic_point |
zero ideal (0)
|
| https://www.w3.org/2000/01/rdf-schema#label |
Spec(k[x])
|
| gptkbp:integration |
true
|
| gptkbp:irreducible |
true
|
| gptkbp:is_spectrum_of |
k[x]
|
| gptkbp:isomorphicTo |
affine line over k
|
| gptkbp:Noetherian |
true
|
| gptkbp:quasi-compact |
true
|
| gptkbp:quasi-separated |
true
|
| gptkbp:reduces |
true
|
| gptkbp:separates |
true
|
| gptkbp:set_of_closed_points |
maximal ideals of k[x]
|
| gptkbp:structure_sheaf |
O_{Spec(k[x])}
|
| gptkbp:underlying_topological_space |
prime ideals of k[x]
|
| gptkbp:Zariski_topology |
defined by vanishing of polynomials in k[x]
|
| gptkbp:bfsParent |
gptkb:affine_schemes
|
| gptkbp:bfsLayer |
7
|