Going up; going down; lying over; flatness Ring extensions and related structures mathematics