 Fiber dimension theorem

For a dominant morphism of irreducible varieties, generic fiber dimension is source dimension minus target dimension, and this dimension occurs over a nonempty open subset. In particular, constant fiber dimension $d$ gives source dimension equal to target dimension plus $d$. For algebraic groups the equal-dimensional components and coset fibers allow the same dimension formula componentwise.