• Support PF! Buy your school textbooks, materials and every day products Here!

Ideals and Residue class ring

  • Thread starter EV33
  • Start date
  • #1
196
0

Homework Statement


I am curious,
if I,J, and M are ideals of the commutative ring R, and M/I[itex]\subseteq[/itex]J/I, then M[itex]\subseteq[/itex]J


Homework Equations



M/I = { m+I : m is in M}

J/I = { j+I : j is in J}

I[itex]\subseteq[/itex]R is an ideal if
1.) if a and b are in I then a+b is in I
2.) if r is in R and a is in I then a*r is in I



The Attempt at a Solution



Proof by contradiction:

Assume M/I[itex]\subseteq[/itex]J/I,
and M is not contained in J.

Since M is not contained in J then there exists a m in M that is not in J.
Then m+I is in M/I but not in J/I.

This is a contradiction to the hypothesis that M/I[itex]\subseteq[/itex]J/I. Thus M is contained in J. (QED)

Any flaws?

Thank you for your time.
 
Last edited:

Answers and Replies

  • #2
jbunniii
Science Advisor
Homework Helper
Insights Author
Gold Member
3,394
180
Since M is not contained in J then there exists a m in M that is not in J.
Then m+I is in M/I but not in J/I.
This step isn't necessarily obvious. The coset m+I can go by many different names. How do you know it isn't the same set as j+I for some j in J?

I suggest assuming that m+I = j+I for some j in J, and deriving a contradiction.
 

Related Threads on Ideals and Residue class ring

Replies
0
Views
1K
  • Last Post
Replies
1
Views
1K
  • Last Post
Replies
1
Views
2K
  • Last Post
Replies
6
Views
3K
  • Last Post
Replies
1
Views
3K
  • Last Post
Replies
9
Views
1K
  • Last Post
Replies
1
Views
896
  • Last Post
Replies
3
Views
2K
  • Last Post
Replies
2
Views
2K
  • Last Post
Replies
1
Views
4K
Top