- Spec Z
- Spec Q
- Coordinate axes over Q
- Infinite union of Spec Q
- Spec countably variables mod squares
- Infinitely blown up plane
- Affine line with infinitely many origins
- Projective line over Q
- Two copies of Spec Q
- Infinite-dimensional affine space over Q
- Affine plane over Q
- Nodal cubic
- Cone over conic in PP2 over Q
- integral closure of Z in Qbar
- affine plane over Q with two points identified
- Nagata noetherian infinite dimensional
- Projection from affine line with infinitely many double points
- 1-dim noetherian domain with dense set of cusps

- Affine schemes are quasi-compact
- Regular implies locally noetherian
- Locally noetherian and quasi-compact implies noetherian
- Noetherian implies locally noetherian and quasi-compact
- Integral implies reduced and irreducible
- Reduced and irreducible implies integral
- Regular implies cohen-macaulay
- Integral implies local rings are domains
- Integral implies connected
- Smoothness conditon
- Smooth implies ...
- Open condition
- Definition proper (2)
- Definition proper (1)
- Quasi-compact source
- Regular source
- Affine source
- Stacks 01TW (1)
- Definition finite type (1)
- Finite presentation condition
- Locally of finite presentation condition
- Formally etale implies formally smooth and formally unramified
- Formally smooth and formally unramified implies formally etale
- Etale condition
- Etale implies ...
- Unramified condition
- Unramified implies ...
- Definition finite type (2)
- Affine morphism implies quasi-compact
- Finite implies affine and proper
- Affine and proper implies finite
- Stacks 09MQ (4)
- Stacks 09MQ (3)
- Stacks 09MQ (2)
- Stacks 09MQ (1)
- Stacks 04XU
- Stacks 01W5
- Stacks 01W3 (2)
- Stacks 01W3 (1)
- Stacks 01KN (1)
- Stacks 01KN (2)
- Stacks 03GI
- Stacks 01KV (2)
- Stacks 01KV (1)
- Stacks 01KU (2)
- Stacks 01KU (1)
- Stacks 01T8
- Stacks 01T7
- Stacks 01T5
- Stacks 01T3
- Stacks 01K7
- Stacks 01K6
- Stacks 01OX
- Stacks 01OY
- Stacks 01P0
- Stacks 01UA
- Stacks 01TR (1)
- Stacks 01TR (2)
- Stacks 01U7
- Stacks 01TW (2)
- Regular implies reduced
- normal noetherian dimension 1 implies regular
- Irreducible implies connected
- Affine implies separated
- affine regular implies noetherian
- cohen-macaulay implies locally noetherian
- Stacks 02NH
- Stacks 02NH converse
- locally of finite type over jacobson is jacobson

- quasi-compact
- regular
- locally noetherian
- noetherian
- affine
- reduced
- irreducible
- integral
- connected
- excellent
- all stalks of the structure sheaf are domains
- dimension
- pure dimension
- cohen-macaulay
- separated
- normal
- finite dimensional
- all stalks of the structure sheaf are irreducible
- quasi-separated
- unibranch
- geometrically unibranch
- jacobson
- closed points dense

- proper
- flat
- smooth
- formally smooth
- affine
- locally of finite presentation
- quasi-compact
- quasi-separated
- isomorphism
- finite type
- finite presentation
- locally of finite type
- universally closed
- separated
- etale
- regular
- open
- formally etale
- formally unramified
- unramified
- finite
- surjective
- takes closed points to closed points
- closed immersion
- immersion
- finite fibres
- universally bounded fibres
- degrees of fibres bounded by
- quasi-finite