Tell me more ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Let $I=\langle a_1,\cdots, a_s\rangle, J=\langle b_1,\cdots, b_t\rangle$ be ideals of arbitrary commutative ring.

Then we know that $I+J=\langle a_1,\cdots, a_s, b_1,\cdots, b_t\rangle, IJ=\langle\{a_ib_j | 1 \leq i \leq s, 1\leq j \leq t\}\rangle$.

Also $IJ\subseteq I\cap J \subseteq I+J$.

Studying, I wonder the generators of $I\cap J$. Is it possible that know generators? Or is it finitely generated?

share|improve this question
1  
In a GCD domain you can define a $\mathrm{lcm}$ in which case $I\cap J = \langle\{\mathrm{lcm}(a_i,b_j)\}\rangle$. – JSchlather Sep 13 '12 at 0:59

Know someone who can answer? Share a link to this question via email, Google+, Twitter, or Facebook.

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.