Item:Q5561: Difference between revisions
Created a new Item: projective scheme, a scheme 𝑋→𝑆 over some base scheme 𝑆 that factors as a closed immersion 𝑋↪ℙⁿ_𝑆→𝑆 |
Created claim: defining formula (P333): X\hookrightarrow\mathbb P^n_S\twoheadrightarrow S |
||
| (One intermediate revision by the same user not shown) | |||
| Property / subclass of | |||
| Property / subclass of: scheme / rank | |||
Normal rank | |||
| Property / defining formula | |||
X\hookrightarrow\mathbb P^n_S\twoheadrightarrow S | |||
| Property / defining formula: / rank | |||
Normal rank | |||
