Questions about Proving R/I is not the Zero Ring

  • Context: Graduate 
  • Thread starter Thread starter Artusartos
  • Start date Start date
  • Tags Tags
    Ring Zero
Click For Summary
SUMMARY

The discussion centers on the properties of the quotient ring R/I, specifically addressing why 1 + I is not equal to 0 + I and how to compute products in this structure. It is established that since R/I is not the zero ring, 1 is not equal to 0, leading to the conclusion that 1 + I is distinct from the ideal I. The computation of (a + I)(b + I) is confirmed to be ab + aI + bI + I², with further simplification possible using properties of ideals. The elements of R/I are confirmed to be of the form a + I, as R/I represents cosets of R modulo the ideal I.

PREREQUISITES
  • Understanding of quotient rings in abstract algebra
  • Familiarity with ideals and their properties
  • Knowledge of ring multiplication and addition
  • Basic concepts of cosets and normal subgroups
NEXT STEPS
  • Study the properties of ideals in ring theory
  • Learn about the structure of quotient rings in more detail
  • Explore the implications of units in ring theory
  • Investigate the simplification techniques for polynomial expressions in rings
USEFUL FOR

Mathematics students, particularly those studying abstract algebra, and educators looking to deepen their understanding of ring theory and quotient structures.

Artusartos
Messages
236
Reaction score
0
I have a question about the proof that I attached...

1) Since R/I is not the zero ring, we know that [tex]1 \not= 0[/tex]. What is the reason to say [tex]1 + I \not= 0 + I[/tex] instead of [tex]1 \not= 0[/tex]?2) Also, how do we compute something like (a+I)(b+I)? Isn't this correct [tex](a+I)(b+I) = ab+aI+bI+I^2[/tex]?

3) Finally, if we have something like R/I, how do we know if the elements in R/I are of the form a+I or aI? Or is it both (since it's a ring)?

Thank you in advance
 

Attachments

  • 20130107_144311.jpg
    20130107_144311.jpg
    26.1 KB · Views: 473
Physics news on Phys.org
Also, how do we compute something like (a+I)(b+I)? Isn't this correct [tex](a+I)(b+I) = ab+aI+bI+I^2[/tex]?

Strictly, yes; but you didn't finish. How can you simplify it further, using what you know about ideals and multiplication?

Finally, if we have something like R/I, how do we know if the elements in R/I are of the form a+I or aI? Or is it both (since it's a ring)?

R/I is the quotient of R by the normal subgroup I of (R,+) satisfying the additional constraint that RI = I. The cosets are of the form a + I.

What is the reason to say [tex]1 + I \not= 0 + I[/tex]

We know that [itex]0 \in I[/itex] by definition, so [itex]0 + I = I[/itex]. We also know that [itex]I[/itex] is a proper ideal, so it can't contain 1 (what happens if an ideal contains a unit?). It follows that [itex]1 + I \neq I[/itex].
 

Similar threads

  • · Replies 55 ·
2
Replies
55
Views
8K
  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 4 ·
Replies
4
Views
3K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 21 ·
Replies
21
Views
2K
  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 4 ·
Replies
4
Views
2K