chevalleys theorem reduces to showing image of whole scheme is constructible
29954
Hartshorne Exercise II. 3.19 (a)
115502
Analogue of the Cantor-Bernstein-Schroeder theorem for general algebraic structures
54690
Proving normality of affine schemes
102084
How to show path-connectedness of $GL(n,\mathbb{C})$
138168
Prove: The pre-image of an ideal is an ideal.
147914
Closed image of locally compact space
43504
Proving the existence of a complement subspace $U' \subset V$.
108156
Algebraic closure of $\mathbb{C}(x)$ is isomorphic to $\mathbb{C}$
121886
Proving image of $f:D^n\rightarrow \mathbb{R}^n \;$ contains $\;D^n$
101671
Describe the image of the set $\{z=x+iy:x>0,y>0\}$ under the mapping $w=\frac{z-i}{z+i}$
38785
Prove previsibility and $E[X_{T \wedge n}] \le E[X_{S \wedge n}]$
69367
covering map with finite fibres and preimage of a compact set
70264
Prove that the inverse image of an open set is open
27167
Ideals in $F[x]$ and Euclidean domains are generated by any element of minimal degree
99707
free module implies surjective map of affine schemes
76148
Show that $\exists c \in \mathbb{R} : f(c) = 0$
67237
Pull back image of maximal ideal under surjective ring homomorphism is maximal