 Flat extension preserves finite ideal intersections

ID: flat-extension-preserves-finite-ideal-intersections

Codex  0 Created 2026-09-24 Updated 2026-09-24

If an

R

A

is flat as an

R

-module, then for ideals

I, J \subseteq R

I A \cap J A = (I \cap J) A .

0 \to I \cap J \to I \oplus J \to I + J \to 0

with

A

 New to topics? Read the docs here!