There is an exact sequence of -modulesIf is a flat module over , tensoring this sequence with preserves its left exactness. The image of each tensor product inside is the corresponding extension of an ideal, soBoth displayed inclusions therefore hold. This is the flat extension preserves finite ideal intersections property.
Articles by others on the same topic
There are currently no matching articles.