Product of Ideals

  • Thread starter Chen
  • Start date
972
1
Given a commutative ring R with a unit, how do you prove that the product of two ideals, I1 and I2, is also an ideal?
The product of course is defined to be {x*y | x in I1, y in I2}, where * is the multiplication in the ring R.
I'm having trouble proving that I1*I2 is a group under addition.

Thanks,
Chen
 

Hurkyl

Staff Emeritus
Science Advisor
Gold Member
14,845
17
The product of course is defined to be {x*y | x in I1, y in I2}, where * is the multiplication in the ring R.
Are you sure?
 
972
1
http://planetmath.org/encyclopedia/ProductOfIdeals.html [Broken]
 
Last edited by a moderator:
972
1
Well I can see this definition doesn't match mine, but at any rate - I was asked to prove that this group:
{x*y | x in I1, y in I2}
is an ideal.
 
I'm working on the similar problem right now, and I was going through many threads in this forum and couldn't find the answer whether the product as Chen defined it is an ideal. I wanted to find the counterexample that {x*y | x in I1, y in I2} is an ideal, but was not able to come up with anything. So, does anybody have any ideas of how to do it, or can you at list give me a hint whether or not it is an ideal? Thanks!
 

Chris Hillman

Science Advisor
2,337
8
Well I can see this definition doesn't match mine, but at any rate - I was asked to prove that [EDIT: I changed Chen's notation--- CH]
[tex]
I \, J = \{ fg | f \in I, g \in J \}
[/tex]
is an ideal.
Is it possible that you are confusing an abelian subgroup with a subring with an ideal? A good short textbook which should help is Herstein, Abstract Algebra. See the excellent and very readable textbook by Cox, Little, and OShea, Ideals, Varieties, and Algorithms, for much more about such constructions as [itex]IJ, \, I \cap J, \, I+J, \, I:J, \, \sqrt{I}[/itex].
 
Last edited:

morphism

Science Advisor
Homework Helper
2,013
4
I suspect that the question had meant that IJ is generated by the set {fg : f in I, g in J}, and not equal to it. Occasionally this is expressed by writing IJ = <fg : f in I, g in J>.
 

Chris Hillman

Science Advisor
2,337
8
Ditto morphism (this point and others are well explained in IVA).
 

mathwonk

Science Advisor
Homework Helper
10,729
908
your definition is wrong. the product of ideals is tautologically an ideal, as it is defined as the ideal generated by those products, or equivalently as all sums of them.
 
1
0
Hi,

I saw many people have given a wrong definition for the product of ideals. The following is the correct definition as appeared in mathematical text:

I*J = {i[1]*j[1]+i[2]*j[2]+...+i[n]*j[n]:i[n] in I and j[n] in J where n is finite}
 
Last edited:

Related Threads for: Product of Ideals

Replies
4
Views
2K
Replies
4
Views
3K
Replies
1
Views
2K
  • Posted
Replies
1
Views
1K
  • Posted
Replies
1
Views
2K
  • Posted
Replies
6
Views
4K
Replies
5
Views
3K

Physics Forums Values

We Value Quality
• Topics based on mainstream science
• Proper English grammar and spelling
We Value Civility
• Positive and compassionate attitudes
• Patience while debating
We Value Productivity
• Disciplined to remain on-topic
• Recognition of own weaknesses
• Solo and co-op problem solving
Top