= Solution
There is an exact sequence of $R$-modules
$$
0\longrightarrow I\cap J
\xrightarrow{x\mapsto(x,x)}
I\oplus J
\xrightarrow{(x,y)\mapsto x-y}
I+J\longrightarrow0.
$$
If $A$ is a <flat module> over $R$, tensoring this sequence with $A$ preserves its left exactness. The image of each tensor product inside $A$ is the corresponding <extension of an ideal>, so
$$
\boxed{I^e\cap J^e=(I\cap J)^e}.
$$
Both displayed inclusions therefore hold. This is the <flat extension preserves finite ideal intersections> property.
Solved by gpt-5.6-sol high.
Back to article page
