Forgot password
 Register account
View 1|Reply 0

[代数/数论] product of two coprime ideals equals their intersection

[Copy link]

3226

Threads

7843

Posts

52

Reputation

Show all posts

hbghlyj posted 2025-7-22 23:59 |Read mode
Show \(IJ\subseteq I\cap J\)
Let \(x\in IJ\). Then \(x\) is a finite sum of elements of the form \(ab\), where \(a\in I\) and \(b\in J\). Since \(I\) is an ideal, \(ab\in I\). Since \(J\) is an ideal, \(ab\in J\). Thus, \(ab\in I\cap J\). Therefore, any sum of such elements is also in \(I\cap J\), so \(x\in I\cap J\).
Show \(I\cap J\subseteq IJ\)
Since \(I\) and \(J\) are coprime, \(I+J=R\). This means there exist \(i\in I\) and \(j\in J\) such that \(i+j=1\). Let \(x\in I\cap J\). Multiply \(x\) by \(1\): \(x=x\cdot 1\). Substitute \(1=i+j\): \(x=x(i+j)\). Distribute: \(x=xi+xj\). Since \(x\in J\) and \(i\in I\), \(xi\in JI\). Since \(x\in I\) and \(j\in J\), \(xj\in IJ\). As \(R\) is commutative, \(JI=IJ\). Therefore, \(x=xi+xj\in IJ+IJ=IJ\).

Quick Reply

Advanced Mode
B Color Image Link Quote Code Smilies
You have to log in before you can reply Login | Register account

$\LaTeX$ formula tutorial

Mobile version

2025-7-23 23:19 GMT+8

Powered by Discuz!

Processed in 0.015425 seconds, 41 queries