If x \leadsto x' is an immediate specialization of points of X, then we have \text{trdeg}_ k(\kappa (x)) = \text{trdeg}_ k(\kappa (x')) + 1.
If x \leadsto x' is an immediate specialization of points of X, then we have \text{trdeg}_ k(\kappa (x)) = \text{trdeg}_ k(\kappa (x')) + 1.
Comments (0)