A flat morphism is a type of morphism between schemes or algebraic varieties that preserves the dimension of fibers in a controlled way. It ensures that the fibers remain 'flat' over the base, meaning that they behave consistently when pulled back along any map. This property is important in various contexts, particularly when discussing étale morphisms, as it helps in understanding how structures interact in algebraic geometry.
congrats on reading the definition of flat morphism. now let's actually learn it.